| 2026 | SIROCCO | A Formalization of Knowledge in Fault Tolerant Distributed Algorithms. | Ron van der Meyden, Godfrey Wong |
| 2025 | PODC | Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols. | Kaya Alpturer, Gerald Huang, Ron van der Meyden |
| 2023 | PODC | Optimal Eventual Byzantine Agreement Protocols with Omission Failures. | Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden |
| 2016 | ESORICS | On Reductions from Multi-Domain Noninterference to the Two-Level Case. | Oliver Woizekowski, Ron van der Meyden |
| 2014 | AAAI | Symbolic Model Checking Epistemic Strategy Logic. | Xiaowei Huang, Ron van der Meyden |
| 2014 | KR | A Temporal Logic of Strategic Knowledge. | Xiaowei Huang, Ron van der Meyden |
| 2014 | TACAS | Symbolic Synthesis for Epistemic Specifications with Observational Semantics. | Xiaowei Huang, Ron van der Meyden |
| 2013 | TARK | Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. | Xiaowei Huang, Ron van der Meyden |
| 2012 | AAAI | Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. | Xiaowei Huang, Ron van der Meyden |
| 2012 | CCS | Intransitive noninterference in nondeterministic systems. | Kai Engelhardt, Ron van der Meyden, Chenyi Zhang |
| 2011 | IJCAI | Model Checking Knowledge in Pursuit Evasion Games. | Xiaowei Huang, Patrick Maupin, Ron van der Meyden |
| 2011 | SP | The Complexity of Intransitive Noninterference. | Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke |
| 2011 | TARK | Abstraction for epistemic model checking of dining cryptographers-based protocols. | Omar I. Al-Bataineh, Ron van der Meyden |
| 2011 | TARK | Symbolic model checking of probabilistic knowledge. | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
| 2010 | ECAI | The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. | Xiaowei Huang, Ron van der Meyden |
| 2010 | FOSSACS | The Complexity of Synchronous Notions of Information Flow Security. | Franck Cassez, Ron van der Meyden, Chenyi Zhang |
| 2010 | SecureComm | Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. | Omar I. Al-Bataineh, Ron van der Meyden |
| 2009 | TARK | Deriving epistemic conclusions from agent architecture. | Stephen Chong, Ron van der Meyden |
| 2008 | KR | On Notions of Causality and Distributed Knowledge. | Ron van der Meyden |
| 2007 | ESORICS | What, Indeed, Is Intransitive Noninterference? | Ron van der Meyden |
| 2007 | LFCS | Model Checking Knowledge and Linear Time: PSPACE Cases. | Kai Engelhardt, Peter Gammie, Ron van der Meyden |
| 2007 | TARK | Preservation of epistemic properties in security protocol implementations. | Ron van der Meyden, Thomas Wilke |
| 2005 | CONCUR | Synthesis of Distributed Systems from Knowledge-Based Specifications. | Ron van der Meyden, Thomas Wilke |
| 2004 | AiML | Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. | Tim French, Ron van der Meyden, Mark Reynolds |
| 2004 | CAV | MCK: Model Checking the Logic of Knowledge. | Peter Gammie, Ron van der Meyden |
| 2004 | ICFEM | A Knowledge Based Analysis of Cache Coherence. | Kai Baukus, Ron van der Meyden |
| 2003 | CSL | A Logic for Probability in Quantum Systems. | Ron van der Meyden, Manas K. Patra |
| 2003 | TARK | Knowledge in quantum systems. | Ron van der Meyden, Manas K. Patra |
| 2003 | TIME | Modal Logics of Knowledge and Tim. | Ron van der Meyden |
| 2002 | AiML | Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. | Kai Engelhardt, Ron van der Meyden, Kaile Su |
| 2001 | LPAR | A Refinement Theory that Supports Reasoning About Knowledge and Time. | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
| 2000 | FOSSACS | A Program Refinement Framework Supporting Reasoning about Knowledge and Time. | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
| 1998 | CONCUR | Synthesis from Knowledge-Based Specifications (Extended Abstract). | Ron van der Meyden, Moshe Y. Vardi |
| 1998 | TARK | Knowledge and the Logic of Local Propositions. | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
| 1996 | PRICAI | Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. | Ron van der Meyden |
| 1996 | TARK | Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. | Ron van der Meyden |
| 1995 | COCOON | Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. | Edward P. F. Chan, Ron van der Meyden |
| 1994 | KR | Mutual Belief Revision (Preliminary Report). | Ron van der Meyden |
| 1994 | LICS | Axioms for Knowledge and Time in Distributed Systems with Perfect Recall | Ron van der Meyden |
| 1994 | TARK | Common Knowledge and Update in Finite Enviromnents I. | Ron van der Meyden |
| 1993 | LPNMR | An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). | L. Thorne McCarty, Ron van der Meyden |
| 1992 | KR | Reasoning About Indefinite Actions. | L. Thorne McCarty, Ron van der Meyden |
| 1992 | PODS | The Complexity of Querying Indefinite Data about Linearly Ordered Domains. | Ron van der Meyden |
| 1991 | IJCAI | Indefinite Reasoning with Definite Rules. | L. Thorne McCarty, Ron van der Meyden |
| 1990 | ICDT | Recursively Indefinite Databases. | Ron van der Meyden |
| 1990 | LICS | The Dynamic Logic of Permission | Ron van der Meyden |