Ron van der Meyden

Cited by

	All	Since 2018
Citations	3577	679
h-index	27	14
i10-index	59	20

220

110

165

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 23 33 19 13 27 40 25 39 42 71 93 126 154 150 212 131 179 149 202 194 194 184 193 162 148 143 158 112 134 130 2

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Joseph HalpernProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Kai Engelhardtn.a.Verified email at acm.org
John HortyUniversity of MarylandVerified email at umiacs.umd.edu
Yoram MosesTechnionVerified email at ee.technion.ac.il
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Peter GammieANUVerified email at anu.edu.au
Nikolay ShilovInnopolis UniversityVerified email at iis.nsk.su
L. Thorne McCartyProfessor of Computer Science and Law, Emeritus, Rutgers UniversityVerified email at cs.rutgers.edu
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au
Tim FrenchThe University of Western AustraliaVerified email at uwa.edu.au
Kaile SuIIIS, Griffith UniversityVerified email at griffith.edu.au
Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
Hans van DitmarschUniversity of Toulouse, CNRS, IRITVerified email at loria.fr
Ji RuanAuckland University of TechnologyVerified email at aut.ac.nz
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk

Ron van der Meyden

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

Verified email at cse.unsw.edu.au - Homepage

Logic in Computer Science Computer Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
MCK: Model checking the logic of knowledge P Gammie, R Van Der Meyden Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	310	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	231*	1997
Complete axiomatizations for reasoning about knowledge and time JY Halpern, R Van Der Meyden, MY Vardi Arxiv preprint cs/0208033, 2002	228	2002
Logical Approaches to Incomplete Information: A survey R van der Meyden Logics for databases and information systems,, 1998	199	1998
Model checking knowledge and time in systems with perfect recall R van der Meyden, NV Shilov FSTTCS 1738, 432-445, 1999	190	1999
Handbook of deontic logic and normative systems D Gabbay, J Horty, X Parent, R van der Meyden, L van der Torre College Publication, 2013	184	2013
The dynamic logic of permission R Van Der Meyden Journal of Logic and Computation 6 (3), 465-479, 1996	166*	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	164	2004
Common knowledge and update in finite environments R van der Meyden Information and Computation 140 (2), 1998	96	1998
What, indeed, is intransitive noninterference? 1 R van der Meyden Journal of Computer Security 23 (2), 197-228, 2015	93*	2015
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	88	2001
Complete axiomatizations for reasoning about knowledge and branching time R van der Meyden, K Wong Studia Logica 75, 93-123, 2003	84	2003
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	81	2013
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	75	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	67	2006
A logical reconstruction of SPKI JY Halpern, R Van der Meyden Journal of Computer Security 11 (4), 581-613, 2003	61	2003
Algorithmic verification of noninterference properties R van der Meyden, C Zhang Electronic Notes in Theoretical Computer Science 168, 61-75, 2007	60	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	56	1994
Synthesis from knowledge-based specifications R Van Der Meyden, MY Vardi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998	55	1998
Synthesis of distributed systems from knowledge-based specifications R Van der Meyden, T Wilke CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005	51	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors