Ron van der Meyden

127 papers A* 16A 8B 23C 3Misc 2Journal 48Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols. PODC Kaya Alpturer, Gerald Huang, Ron van der Meyden
2025	J	`jnl`	Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols. CoRR Kaya Alpturer, Gerald Huang, Ron van der Meyden
2025	J	`jnl`	Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange. CoRR Ron van der Meyden
2025	B	`conf`	Optimality of Simultaneous Consensus with Limited Information Exchange (Extended Abstract). TARK Kaya Alpturer, Ron van der Meyden, Sushmita Ruj, Godfrey Wong
2025	J	`jnl`	Vector Commitment Design, Analysis, and Applications: A Survey. IACR Cryptol. ePrint Arch. Vir Nath Pathak, Sushmita Ruj, Ron van der Meyden
2024	A	`conf`	A Knowledge-Based Analysis of Intersection Protocols. DISC Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2024	J	`jnl`	A Knowledge-Based Analysis of Intersection Protocols. CoRR Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2023	A*	`conf`	Optimal Eventual Byzantine Agreement Protocols with Omission Failures. PODC Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2023	J	`jnl`	Optimal Eventual Byzantine Agreement Protocols with Omission Failures. CoRR Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2022	J	`jnl`	A Formal Treatment of Contract Signature. IEEE Trans. Serv. Comput. Ron van der Meyden
2021	—	`conf`	Architecture for Smart SAFE Contracts. BRAINS Ron van der Meyden, Michael J. Maher
2020	J	`jnl`	Signature in Counterparts, a Formal Treatment. CoRR Ron van der Meyden
2020	J	`jnl`	Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. ACM Trans. Comput. Log. Ron van der Meyden, Manas K. Patra
2019	—	`conf`	On the specification and verification of atomic swap smart contracts (extended abstract). IEEE ICBC Ron van der Meyden
2018	J	`jnl`	An Epistemic Strategy Logic. ACM Trans. Comput. Log. Xiaowei Huang, Ron van der Meyden
2018	J	`jnl`	On the specification and verification of atomic swap smart contracts. CoRR Ron van der Meyden
2017	B	`conf`	An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella
2017	J	`jnl`	Dynamic intransitive noninterference revisited. Formal Aspects Comput. Sebastian Eggert, Ron van der Meyden
2017	B	`conf`	Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). TARK Ron van der Meyden
2016	J	`jnl`	Dynamic Intransitive Noninterference Revisited. CoRR Sebastian Eggert, Ron van der Meyden
2016	J	`jnl`	Nondeterministic Multi-Domain Noninterference via Policy Reduction. CoRR Oliver Woizekowski, Ron van der Meyden
2016	—	`conf`	On Reductions from Multi-Domain Noninterference to the Two-Level Case. ESORICS (1) Oliver Woizekowski, Ron van der Meyden
2016	J	`jnl`	Optimizing Epistemic Model Checking using Conditional Independence. CoRR Ron van der Meyden
2016	J	`jnl`	The complexity of synchronous notions of information flow security. Theor. Comput. Sci. Franck Cassez, Ron van der Meyden, Chenyi Zhang
2015	—	`conf`	The complexity of approximations for epistemic synthesis (extended abstract). SYNT Xiaowei Huang, Ron van der Meyden
2015	B	`conf`	Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract). TARK Ron van der Meyden, Manas K. Patra
2015	J	`jnl`	Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. CoRR Ron van der Meyden, Manas K. Patra
2015	J	`jnl`	Using Architecture to Reason about Information Security. ACM Trans. Inf. Syst. Secur. Stephen Chong, Ron van der Meyden
2015	J	`jnl`	What, indeed, is intransitive noninterference? J. Comput. Secur. Ron van der Meyden
2014	A*	`conf`	A Temporal Logic of Strategic Knowledge. KR Xiaowei Huang, Ron van der Meyden
2014	—	`conf`	An Epistemic Strategy Logic (Extended Abstract). SR Xiaowei Huang, Ron van der Meyden
2014	J	`jnl`	An Epistemic Strategy Logic. CoRR Xiaowei Huang, Ron van der Meyden
2014	A*	`conf`	Symbolic Model Checking Epistemic Strategy Logic. AAAI Xiaowei Huang, Ron van der Meyden
2014	A	`conf`	Symbolic Synthesis for Epistemic Specifications with Observational Semantics. TACAS Xiaowei Huang, Ron van der Meyden
2014	J	`jnl`	The Complexity of Synchronous Notions of Information Flow Security. CoRR Franck Cassez, Ron van der Meyden, Chenyi Zhang
2014	J	`jnl`	Using Architecture to Reason about Information Security. CoRR Stephen Chong, Ron van der Meyden
2013	J	`jnl`	Complexity and Unwinding for Intransitive Noninterference. CoRR Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke
2013	J	`jnl`	Information flow in systems with schedulers, Part I: Definitions. Theor. Comput. Sci. Ron van der Meyden, Chenyi Zhang
2013	J	`jnl`	Information flow in systems with schedulers, Part II: Refinement. Theor. Comput. Sci. Ron van der Meyden, Chenyi Zhang
2013	B	`conf`	Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. TARK Xiaowei Huang, Ron van der Meyden
2013	J	`jnl`	Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. CoRR Xiaowei Huang, Ron van der Meyden
2013	J	`jnl`	Synthesis from Knowledge-Based Specifications. CoRR Ron van der Meyden, Moshe Y. Vardi
2012	J	`jnl`	Architectural refinement and notions of intransitive noninterference. Formal Aspects Comput. Ron van der Meyden
2012	A*	`conf`	Intransitive noninterference in nondeterministic systems. CCS Kai Engelhardt, Ron van der Meyden, Chenyi Zhang
2012	A*	`conf`	Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. AAAI Xiaowei Huang, Ron van der Meyden
2011	B	`conf`	Abstraction for epistemic model checking of dining cryptographers-based protocols. TARK Omar I. Al-Bataineh, Ron van der Meyden
2011	A*	`conf`	Model Checking Knowledge in Pursuit Evasion Games. IJCAI Xiaowei Huang, Patrick Maupin, Ron van der Meyden
2011	—	`ed.`	Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers MoChArt Ron van der Meyden, Jan-Georg Smaus
2011	J	`jnl`	Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). J. Appl. Log. Ron van der Meyden, Leon van der Torre
2011	B	`conf`	Symbolic model checking of probabilistic knowledge. TARK Xiaowei Huang, Cheng Luo, Ron van der Meyden
2011	A*	`conf`	The Complexity of Intransitive Noninterference. IEEE Symposium on Security and Privacy Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke
2011	—	`ch.`	Two Applications of Epistemic Logic in Computer Security. Proof, Computation and Agency Ron van der Meyden
2010	J	`jnl`	A comparison of semantic models for noninterference. Theor. Comput. Sci. Ron van der Meyden, Chenyi Zhang
2010	J	`jnl`	Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols CoRR Omar I. Al-Bataineh, Ron van der Meyden
2010	C	`conf`	Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. SecureComm Omar I. Al-Bataineh, Ron van der Meyden
2010	J	`jnl`	Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast CoRR Omar I. Al-Bataineh, Ron van der Meyden
2010	—	`conf`	Games, Norms and Strategic Notions in Information Flow Security. CLIMA Ron van der Meyden
2010	—	`conf`	Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. MoChArt Xiaowei Huang, Cheng Luo, Ron van der Meyden
2010	A	`conf`	Improved bounded model checking for a fair branching-time temporal epistemic logic. AAMAS Xiaowei Huang, Cheng Luo, Ron van der Meyden
2010	J	`jnl`	Reports of the AAAI 2010 Conference Workshops. AI Mag. 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, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
2010	A	`conf`	The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. ECAI Xiaowei Huang, Ron van der Meyden
2010	B	`conf`	The Complexity of Synchronous Notions of Information Flow Security. FoSSaCS Franck Cassez, Ron van der Meyden, Chenyi Zhang
2009	—	`conf`	Architectural Refinement and Notions of Intransitive Noninterference. ESSoS Ron van der Meyden
2009	B	`conf`	Deriving epistemic conclusions from agent architecture. TARK Stephen Chong, Ron van der Meyden
2009	—	`conf`	Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. Australasian Conference on Artificial Intelligence Xiaowei Huang, Ron van der Meyden
2008	—	`conf`	Access Control and Information Flow in Transactional Memory. Formal Aspects in Security and Trust Ariel Cohen, Ron van der Meyden, Lenore D. Zuck
2008	—	`ed.`	Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings DEON Ron van der Meyden, Leendert W. N. van der Torre
2008	A	`conf`	Information Flow in Systems with Schedulers. CSF Ron van der Meyden, Chenyi Zhang
2008	A*	`conf`	On Notions of Causality and Distributed Knowledge. KR Ron van der Meyden
2007	—	`conf`	A Linear Time Algorithm for Pricing European Sequential Barrier Options. CATS Peng Gao, Ron van der Meyden
2007	Misc	`conf`	Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS Kai Engelhardt, Peter Gammie, Ron van der Meyden
2007	B	`conf`	Preservation of epistemic properties in security protocol implementations. TARK Ron van der Meyden, Thomas Wilke
2007	A	`conf`	What, Indeed, Is Intransitive Noninterference? ESORICS Ron van der Meyden
2006	—	`conf`	A Comparison of Semantic Models for Noninterference. Formal Aspects in Security and Trust Ron van der Meyden, Chenyi Zhang
2006	—	`conf`	Algorithmic Verification of Noninterference Properties. VODCA@FOSAD Ron van der Meyden, Chenyi Zhang
2005	—	`conf`	Model Checking Russian Cards. MoChArt@CONCUR/SPIN Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
2005	B	`ed.`	Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005 TARK Ron van der Meyden
2005	B	`conf`	Synthesis of Distributed Systems from Knowledge-Based Specifications. CONCUR Ron van der Meyden, Thomas Wilke
2004	C	`conf`	A Knowledge Based Analysis of Cache Coherence. ICFEM Kai Baukus, Ron van der Meyden
2004	B	`conf`	Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic Tim French, Ron van der Meyden, Mark Reynolds
2004	J	`jnl`	Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
2004	A*	`conf`	MCK: Model Checking the Logic of Knowledge. CAV Peter Gammie, Ron van der Meyden
2004	—	`conf`	Symbolic Model Checking the Knowledge of the Dining Cryptographers. CSFW Ron van der Meyden, Kaile Su
2003	B	`conf`	A Logic for Probability in Quantum Systems. CSL Ron van der Meyden, Manas K. Patra
2003	J	`jnl`	A Logical Reconstruction of SPKI. J. Comput. Secur. Joseph Y. Halpern, Ron van der Meyden
2003	J	`jnl`	Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Stud Logica Ron van der Meyden, Ka-Shu Wong
2003	B	`conf`	Knowledge in quantum systems. TARK Ron van der Meyden, Manas K. Patra
2003	—	`ed.`	Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar] Logics for Emerging Applications of Databases Jan Chomicki, Ron van der Meyden, Gunter Saake
2003	C	`conf`	Modal Logics of Knowledge and Tim. TIME Ron van der Meyden
2002	J	`jnl`	A logical reconstruction of SPKI CoRR Joseph Y. Halpern, Ron van der Meyden
2002	J	`jnl`	Complete Axiomatizations for Reasoning About Knowledge and Time CoRR Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
2002	B	`conf`	Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic Kai Engelhardt, Ron van der Meyden, Kaile Su
2001	J	`jnl`	A Logic for SDSI's Linked Local Name Spaces. J. Comput. Secur. Joseph Y. Halpern, Ron van der Meyden
2001	—	`conf`	A Logical Reconstruction of SPKI. CSFW Joseph Y. Halpern, Ron van der Meyden
2001	B	`conf`	A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR Kai Engelhardt, Ron van der Meyden, Yoram Moses
2000	J	`jnl`	A Logic for SDSI's Linked Local Name Spaces CoRR Joseph Y. Halpern, Ron van der Meyden
2000	B	`conf`	A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS Kai Engelhardt, Ron van der Meyden, Yoram Moses
2000	J	`jnl`	Containment and Optimization of Object-Preserving Conjunctive Queries. SIAM J. Comput. Edward P. F. Chan, Ron van der Meyden
2000	J	`jnl`	Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. Alessio Lomuscio, Ron van der Meyden, Mark Ryan
2000	—	`conf`	On Refinement and Temporal Annotations. FTRTFT Ron van der Meyden, Yoram Moses
2000	J	`jnl`	Predicate Boundedness of Linear Monadic Datalog is in PSPACE. Int. J. Found. Comput. Sci. Ron van der Meyden
1999	—	`conf`	A Logic for SDSI's Linked Local Name Spaces. CSFW Joseph Y. Halpern, Ron van der Meyden
1999	J	`jnl`	Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR Alessio Lomuscio, Ron van der Meyden, Mark Ryan
1999	—	`conf`	Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS Ron van der Meyden, Nikolay V. Shilov
1998	J	`jnl`	Common Knowledge and Update in Finite Environments. Inf. Comput. Ron van der Meyden
1998	B	`conf`	Knowledge and the Logic of Local Propositions. TARK Kai Engelhardt, Ron van der Meyden, Yoram Moses
1998	—	`conf`	Logical Approaches to Incomplete Information: A Survey. Logics for Databases and Information Systems Ron van der Meyden
1998	B	`conf`	Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR Ron van der Meyden, Moshe Y. Vardi
1998	A	`conf`	Top-Down Considerations on Distributed Computing. DISC Ron van der Meyden, Yoram Moses
1997	J	`jnl`	The Complexity of Querying Indefinite Data about Linearly Ordered Domains. J. Comput. Syst. Sci. Ron van der Meyden
1996	—	`conf`	Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. PRICAI Workshop on Intelligent Agent Systems Ron van der Meyden
1996	—	`conf`	Finite State Implementations of Knowledge-Based Programs. FSTTCS Ron van der Meyden
1996	B	`conf`	Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. TARK Ron van der Meyden
1996	J	`jnl`	The Dynamic Logic of Permission. J. Log. Comput. Ron van der Meyden
1995	J	`jnl`	Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information. J. Comput. Syst. Sci. Tomasz Imielinski, Ron van der Meyden, Kumar V. Vadaparty
1995	Misc	`conf`	Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. COCOON Edward P. F. Chan, Ron van der Meyden
1994	A*	`conf`	Axioms for Knowledge and Time in Distributed Systems with Perfect Recall LICS Ron van der Meyden
1994	B	`conf`	Common Knowledge and Update in Finite Enviromnents I. TARK Ron van der Meyden
1994	A*	`conf`	Mutual Belief Revision (Preliminary Report). KR Ron van der Meyden
1993	B	`conf`	An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR L. Thorne McCarty, Ron van der Meyden
1993	J	`jnl`	Recursively Indefinite Databases. Theor. Comput. Sci. Ron van der Meyden
1992	A*	`conf`	Reasoning About Indefinite Actions. KR L. Thorne McCarty, Ron van der Meyden
1992	A*	`conf`	The Complexity of Querying Indefinite Data about Linearly Ordered Domains. PODS Ron van der Meyden
1991	—	`conf`	A Clausal Logic for Deontic Action Specification. ISLP Ron van der Meyden
1991	A*	`conf`	Indefinite Reasoning with Definite Rules. IJCAI L. Thorne McCarty, Ron van der Meyden
1990	A	`conf`	Recursively Indefinite Databases. ICDT Ron van der Meyden
1990	A*	`conf`	The Dynamic Logic of Permission LICS Ron van der Meyden