MCK: Model checking the logic of knowledge P Gammie, R Van Der Meyden Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 328 | 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 | 240* | 1997 |
Complete axiomatizations for reasoning about knowledge and time JY Halpern, R Van Der Meyden, MY Vardi Arxiv preprint cs/0208033, 2002 | 230 | 2002 |
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 | 217 | 2021 |
Logical Approaches to Incomplete Information: A survey R van der Meyden Logics for databases and information systems,, 1998 | 200 | 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 | 173* | 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 | 161 | 2004 |
Common knowledge and update in finite environments R van der Meyden Information and Computation 140 (2), 1998 | 99 | 1998 |
What, indeed, is intransitive noninterference? 1 R van der Meyden Journal of Computer Security 23 (2), 197-228, 2015 | 97* | 2015 |
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 | 93 | 2013 |
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 | 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 | 69 | 2006 |
A logical reconstruction of SPKI JY Halpern, R Van der Meyden Journal of Computer Security 11 (4), 581-613, 2003 | 63 | 2003 |
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 |
Symbolic model checking epistemic strategy logic X Huang, R Van Der Meyden Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 55 | 2014 |
Synthesis from knowledge-based specifications R Van Der Meyden, MY Vardi International Conference on Concurrency Theory, 34-49, 1998 | 54 | 1998 |