Recursively Indefinite Databases. - Ron van der Meyden (ICDT, 1990)

The Dynamic Logic of Permission - Ron van der Meyden (LICS, 1990)

Indefinite Reasoning with Definite Rules. - L. Thorne McCarty; Ron van der Meyden (IJCAI, 1991)

A Clausal Logic for Deontic Action Specification. - Ron van der Meyden (ISLP, 1991)

Reasoning About Indefinite Actions. - L. Thorne McCarty; Ron van der Meyden (KR, 1992)

The Complexity of Querying Indefinite Data about Linearly Ordered Domains. - Ron van der Meyden (PODS, 1992)

An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). - L. Thorne McCarty; Ron van der Meyden (LPNMR, 1993)

Mutual Belief Revision (Preliminary Report). - Ron van der Meyden (KR, 1994)

Axioms for Knowledge and Time in Distributed Systems with Perfect Recall - Ron van der Meyden (LICS, 1994)

Common Knowledge and Update in Finite Enviromnents I. - Ron van der Meyden (TARK, 1994)

Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. - Edward P. F. Chan; Ron van der Meyden (COCOON, 1995)

Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information. - Tomasz Imielinski; Ron van der Meyden; Kumar V. Vadaparty (J. Comput. Syst. Sci., 1995)

Finite State Implementations of Knowledge-Based Programs. - Ron van der Meyden (FSTTCS, 1996)

Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. - Ron van der Meyden (PRICAI Workshop on Intelligent Agent Systems, 1996)

Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. - Ron van der Meyden (TARK, 1996)

Synthesis from Knowledge-Based Specifications (Extended Abstract). - Ron van der Meyden; Moshe Y. Vardi (CONCUR, 1998)

Logical Approaches to Incomplete Information: A Survey. - Ron van der Meyden (Logics for Databases and Information Systems, 1998)

Knowledge and the Logic of Local Propositions. - Kai Engelhardt; Ron van der Meyden; Yoram Moses (TARK, 1998)

Top-Down Considerations on Distributed Computing. - Ron van der Meyden; Yoram Moses (DISC, 1998)

Common Knowledge and Update in Finite Environments. - Ron van der Meyden (Inf. Comput., 1998)

A Logic for SDSI's Linked Local Name Spaces. - Joseph Y. Halpern; Ron van der Meyden (CSFW, 1999)

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). - Ron van der Meyden; Nikolay V. Shilov 002 (FSTTCS, 1999)

Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast - Alessio Lomuscio; Ron van der Meyden; Mark Ryan 001 (CoRR, 1999)

A Program Refinement Framework Supporting Reasoning about Knowledge and Time. - Kai Engelhardt; Ron van der Meyden; Yoram Moses (FoSSaCS, 2000)

On Refinement and Temporal Annotations. - Ron van der Meyden; Yoram Moses (FTRTFT, 2000)

Predicate Boundedness of Linear Monadic Datalog is in PSPACE. - Ron van der Meyden (Int. J. Found. Comput. Sci., 2000)

Containment and Optimization of Object-Preserving Conjunctive Queries. - Edward P. F. Chan; Ron van der Meyden (SIAM J. Comput., 2000)

Knowledge in multiagent systems: initial configurations and broadcast. - Alessio Lomuscio; Ron van der Meyden; Mark Ryan 001 (ACM Trans. Comput. Log., 2000)

A Logical Reconstruction of SPKI. - Joseph Y. Halpern; Ron van der Meyden (CSFW, 2001)

A Refinement Theory that Supports Reasoning About Knowledge and Time. - Kai Engelhardt; Ron van der Meyden; Yoram Moses (LPAR, 2001)

Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. - Kai Engelhardt; Ron van der Meyden; Kaile Su (Advances in Modal Logic, 2002)

A Logic for Probability in Quantum Systems. - Ron van der Meyden; Manas K. Patra (CSL, 2003)

Knowledge in quantum systems. - Ron van der Meyden; Manas K. Patra (TARK, 2003)

Modal Logics of Knowledge and Tim. - Ron van der Meyden (TIME, 2003)

Complete Axiomatizations for Reasoning about Knowledge and Branching Time. - Ron van der Meyden; Ka-Shu Wong (Stud Logica, 2003)

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. - Tim French 002; Ron van der Meyden; Mark Reynolds 001 (Advances in Modal Logic, 2004)

MCK: Model Checking the Logic of Knowledge. - Peter Gammie; Ron van der Meyden (CAV, 2004)

Symbolic Model Checking the Knowledge of the Dining Cryptographers. - Ron van der Meyden; Kaile Su (CSFW, 2004)

A Knowledge Based Analysis of Cache Coherence. - Kai Baukus; Ron van der Meyden (ICFEM, 2004)

Complete Axiomatizations for Reasoning about Knowledge and Time. - Joseph Y. Halpern; Ron van der Meyden; Moshe Y. Vardi (SIAM J. Comput., 2004)

Synthesis of Distributed Systems from Knowledge-Based Specifications. - Ron van der Meyden; Thomas Wilke (CONCUR, 2005)

Model Checking Russian Cards. - Hans P. van Ditmarsch; Wiebe van der Hoek; Ron van der Meyden; Ji Ruan (MoChArt@CONCUR/SPIN, 2005)

A Comparison of Semantic Models for Noninterference. - Ron van der Meyden; Chenyi Zhang 001 (Formal Aspects in Security and Trust, 2006)

Algorithmic Verification of Noninterference Properties. - Ron van der Meyden; Chenyi Zhang 001 (VODCA@FOSAD, 2006)

A Linear Time Algorithm for Pricing European Sequential Barrier Options. - Peng Gao; Ron van der Meyden (CATS, 2007)

What, Indeed, Is Intransitive Noninterference? - Ron van der Meyden (ESORICS, 2007)

Model Checking Knowledge and Linear Time: PSPACE Cases. - Kai Engelhardt; Peter Gammie; Ron van der Meyden (LFCS, 2007)

Preservation of epistemic properties in security protocol implementations. - Ron van der Meyden; Thomas Wilke (TARK, 2007)

Information Flow in Systems with Schedulers. - Ron van der Meyden; Chenyi Zhang 001 (CSF, 2008)

Access Control and Information Flow in Transactional Memory. - Ariel Cohen 002; Ron van der Meyden; Lenore D. Zuck (Formal Aspects in Security and Trust, 2008)

On Notions of Causality and Distributed Knowledge. - Ron van der Meyden (KR, 2008)

Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. - Xiaowei Huang 001; Ron van der Meyden (Australasian Conference on Artificial Intelligence, 2009)

Architectural Refinement and Notions of Intransitive Noninterference. - Ron van der Meyden (ESSoS, 2009)

Deriving epistemic conclusions from agent architecture. - Stephen Chong; Ron van der Meyden (TARK, 2009)

Games, Norms and Strategic Notions in Information Flow Security. - Ron van der Meyden (CLIMA, 2010)

The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. - Xiaowei Huang 001; Ron van der Meyden (ECAI, 2010)

The Complexity of Synchronous Notions of Information Flow Security. - Franck Cassez; Ron van der Meyden; Chenyi Zhang 001 (FoSSaCS, 2010)

Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. - Xiaowei Huang 001; Cheng Luo 003; Ron van der Meyden (MoChArt, 2010)

Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. - Omar I. Al-Bataineh; Ron van der Meyden (SecureComm, 2010)

Reports of the AAAI 2010 Conference Workshops. - David W. Aha; Mark S. Boddy; Vadim Bulitko; Artur S. d'Avila Garcez; Prashant Doshi; Stefan Edelkamp; Christopher W. Geib; Piotr J. Gmytrasiewicz; Robert P. Goldman; Pascal Hitzler; Charles L. Isbell Jr.; Darsana P. Josyula; et al. (AI Mag., 2010)

Two Applications of Epistemic Logic in Computer Security. - Ron van der Meyden (Proof, Computation and Agency, 2011)

Model Checking Knowledge in Pursuit Evasion Games. - Xiaowei Huang 001; Patrick Maupin; Ron van der Meyden (IJCAI, 2011)

The Complexity of Intransitive Noninterference. - Sebastian Eggert; Ron van der Meyden; Henning Schnoor; Thomas Wilke (IEEE Symposium on Security and Privacy, 2011)

Abstraction for epistemic model checking of dining cryptographers-based protocols. - Omar I. Al-Bataineh; Ron van der Meyden (TARK, 2011)

Symbolic model checking of probabilistic knowledge. - Xiaowei Huang 001; Cheng Luo 003; Ron van der Meyden (TARK, 2011)

Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). - Ron van der Meyden; Leon van der Torre (J. Appl. Log., 2011)

Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. - Xiaowei Huang 001; Ron van der Meyden (AAAI, 2012)

Intransitive noninterference in nondeterministic systems. - Kai Engelhardt; Ron van der Meyden; Chenyi Zhang 001 (CCS, 2012)

Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. - Xiaowei Huang 001; Ron van der Meyden (TARK, 2013)

Complexity and Unwinding for Intransitive Noninterference. - Sebastian Eggert; Ron van der Meyden; Henning Schnoor; Thomas Wilke (CoRR, 2013)

Synthesis from Knowledge-Based Specifications. - Ron van der Meyden; Moshe Y. Vardi (CoRR, 2013)

Information flow in systems with schedulers, Part I: Definitions. - Ron van der Meyden; Chenyi Zhang 001 (Theor. Comput. Sci., 2013)

Information flow in systems with schedulers, Part II: Refinement. - Ron van der Meyden; Chenyi Zhang 001 (Theor. Comput. Sci., 2013)

Symbolic Model Checking Epistemic Strategy Logic. - Xiaowei Huang 001; Ron van der Meyden (AAAI, 2014)

A Temporal Logic of Strategic Knowledge. - Xiaowei Huang 001; Ron van der Meyden (KR, 2014)

Symbolic Synthesis for Epistemic Specifications with Observational Semantics. - Xiaowei Huang 001; Ron van der Meyden (TACAS, 2014)

An Epistemic Strategy Logic (Extended Abstract). - Xiaowei Huang 001; Ron van der Meyden (SR, 2014)

The complexity of approximations for epistemic synthesis (extended abstract). - Xiaowei Huang 001; Ron van der Meyden (SYNT, 2015)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract). - Ron van der Meyden; Manas K. Patra (TARK, 2015)

Using Architecture to Reason about Information Security. - Stephen Chong; Ron van der Meyden (ACM Trans. Inf. Syst. Secur., 2015)

On Reductions from Multi-Domain Noninterference to the Two-Level Case. - Oliver Woizekowski; Ron van der Meyden (ESORICS (1), 2016)

Optimizing Epistemic Model Checking using Conditional Independence. - Ron van der Meyden (CoRR, 2016)

Nondeterministic Multi-Domain Noninterference via Policy Reduction. - Oliver Woizekowski; Ron van der Meyden (CoRR, 2016)

An Epistemic Foundation for Authentication Logics (Extended Abstract). - Joseph Y. Halpern; Ron van der Meyden; Riccardo Pucella (TARK, 2017)

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). - Ron van der Meyden (TARK, 2017)

Dynamic intransitive noninterference revisited. - Sebastian Eggert; Ron van der Meyden (Formal Aspects Comput., 2017)

On the specification and verification of atomic swap smart contracts. - Ron van der Meyden (CoRR, 2018)

An Epistemic Strategy Logic. - Xiaowei Huang 001; Ron van der Meyden (ACM Trans. Comput. Log., 2018)

On the specification and verification of atomic swap smart contracts (extended abstract). - Ron van der Meyden (IEEE ICBC, 2019)

Signature in Counterparts, a Formal Treatment. - Ron van der Meyden (CoRR, 2020)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. - Ron van der Meyden; Manas K. Patra (ACM Trans. Comput. Log., 2020)

Architecture for Smart SAFE Contracts. - Ron van der Meyden; Michael J. Maher (BRAINS, 2021)

A Formal Treatment of Contract Signature. - Ron van der Meyden (IEEE Trans. Serv. Comput., 2022)

Optimal Eventual Byzantine Agreement Protocols with Omission Failures. - Kaya Alpturer; Joseph Y. Halpern; Ron van der Meyden (PODC, 2023)

A Knowledge-Based Analysis of Intersection Protocols. - Kaya Alpturer; Joseph Y. Halpern; Ron van der Meyden (DISC, 2024)

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols. - Kaya Alpturer; Gerald Huang; Ron van der Meyden (PODC, 2025)

Vector Commitment Design, Analysis, and Applications: A Survey. - Vir Nath Pathak; Sushmita Ruj; Ron van der Meyden (IACR Cryptol. ePrint Arch., 2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange. - Ron van der Meyden (CoRR, 2025)