Ron van der Meyden

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3800	617
indeks-h	29	11
indeks-i10	60	13

220

110

165

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 25 36 17 14 28 43 29 36 41 77 88 132 145 148 209 133 178 145 193 190 194 181 192 164 152 136 161 120 126 136 109 116 7

Akses publik

Lihat semua

8 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Xiaowei HuangProfessor of Computer Science, University of LiverpoolEmail yang diverifikasi di liverpool.ac.uk
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgEmail yang diverifikasi di uni.lu
Joseph HalpernProfessor of Computer Science, Cornell UniversityEmail yang diverifikasi di cs.cornell.edu
John HortyUniversity of MarylandEmail yang diverifikasi di umiacs.umd.edu
Chenyi ZhangOracle Labs AustraliaEmail yang diverifikasi di oracle.com
Kai Engelhardtn.a.Email yang diverifikasi di acm.org
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgEmail yang diverifikasi di ext.uni.lu
Yoram MosesTechnionEmail yang diverifikasi di ee.technion.ac.il
Moshe Y. VardiRice UniversityEmail yang diverifikasi di cs.rice.edu
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityEmail yang diverifikasi di ti.informatik.uni-kiel.de
Peter GammieANUEmail yang diverifikasi di anu.edu.au
L. Thorne McCartyProfessor of Computer Science and Law, Emeritus, Rutgers UniversityEmail yang diverifikasi di cs.rutgers.edu
Nikolay ShilovInnopolis UniversityEmail yang diverifikasi di iis.nsk.su
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaEmail yang diverifikasi di uwa.edu.au
Tim FrenchThe University of Western AustraliaEmail yang diverifikasi di uwa.edu.au
Stephen ChongHarvard UniversityEmail yang diverifikasi di seas.harvard.edu
Hans van DitmarschCNRSEmail yang diverifikasi di irit.fr
Ji RuanAuckland University of TechnologyEmail yang diverifikasi di aut.ac.nz
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupEmail yang diverifikasi di liverpool.ac.uk
Henning SchnoorResearcher of Computer Science, Dept. of Computer Science, Kiel UniversityEmail yang diverifikasi di ti.informatik.uni-kiel.de

Ikuti

Ron van der Meyden

Professor, School of Computer Science and Engineering, The University of New South Wales

Email yang diverifikasi di cse.unsw.edu.au - Beranda

Logic in Computer Science Computer Security


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
MCK: Model checking the logic of knowledge P Gammie, R Van Der Meyden Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	333	2004
The complexity of querying indefinite data about linearly ordered domains R van der Meyden Journal of Computer and System Sciences 54 (1), 113-135, 1997	241*	1997
Handbook of deontic logic and normative systems D Gabbay, J Horty, X Parent, R Van der Meyden, L van der Torre College Publications, 2021, 2021	233	2021
Complete axiomatizations for reasoning about knowledge and time JY Halpern, R Van Der Meyden, MY Vardi Arxiv preprint cs/0208033, 2002	232	2002
Logical Approaches to Incomplete Information: A survey R van der Meyden Logics for databases and information systems,, 1998	202	1998
Model checking knowledge and time in systems with perfect recall R van der Meyden, NV Shilov International Conference on Foundations of Software Technology and …, 1999	189	1999
The dynamic logic of permission R Van Der Meyden Journal of Logic and Computation 6 (3), 465-479, 1996	176*	1996
Symbolic model checking the knowledge of the dining cryptographers R Van Der Meyden, K Su Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE, 280-291, 2004	162	2004
The varieties of permission SO Hansson, D Gabbay, J Horty, X Parent, R van der Meyden, ... Handbook of deontic logic and normative systems 1, 195-240, 2013	102	2013
What, indeed, is intransitive noninterference? 1 R van der Meyden Journal of Computer Security 23 (2), 197-228, 2015	99*	2015
Common knowledge and update in finite environments R van der Meyden Information and Computation 140 (2), 1998	99	1998
A logic for SDSI's linked local name spaces JY Halpern, R Van Der Meyden Journal of Computer Security 9 (1-2), 105-142, 2001	89	2001
Complete axiomatizations for reasoning about knowledge and branching time R van der Meyden, K Wong Studia Logica 75, 93-123, 2003	86	2003
Knowledge and the logic of local propositions K Engelhardt, R van der Meyden, Y Moses Proceedings of the 7th conference on Theoretical aspects of rationality and …, 1998	76	1998
Model checking russian cards HP van Ditmarsch, W Van Der Hoek, R Van Der Meyden, J Ruan Electronic Notes in Theoretical Computer Science 149 (2), 105-123, 2006	69	2006
A logical reconstruction of SPKI JY Halpern, R Van der Meyden Journal of Computer Security 11 (4), 581-613, 2003	64	2003
Symbolic model checking epistemic strategy logic X Huang, R Van Der Meyden Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014	61	2014
Algorithmic verification of noninterference properties R van der Meyden, C Zhang Electronic Notes in Theoretical Computer Science 168, 61-75, 2007	59	2007
Axioms for knowledge and time in distributed systems with perfect recall R Van Der Meyden Proceedings ninth annual IEEE symposium on logic in computer science, 448-457, 1994	58	1994
Synthesis from knowledge-based specifications R Van Der Meyden, MY Vardi International Conference on Concurrency Theory, 34-49, 1998	54	1998

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama