By Professor Ron Van der Meyden

Conference Proceedings (Editor of)

Van Der Meyden R, (ed.), 2005, 'Theoretical Aspects of Rationality and Knowledge 2005', Singapore, presented at Theoretical Aspects of Rationality and Knowledge 2005, Singapore, 10 June 2005 - 12 June 2005

Preprints

Alpturer K; Halpern JY; van der Meyden R, 2023, Optimal Eventual Byzantine Agreement Protocols with Omission Failures, http://dx.doi.org/10.48550/arxiv.2305.06271

van der Meyden R, 2020, A Formal Treatment of Contract Signature, http://dx.doi.org/10.48550/arxiv.2002.09827

Halpern JY; van der Meyden R; Pucella R, 2017, An Epistemic Foundation for Authentication Logics (Extended Abstract), http://dx.doi.org/10.48550/arxiv.1707.08750

van der Meyden R, 2017, Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract), http://dx.doi.org/10.48550/arxiv.1707.08756

van der Meyden R; Patra MK, 2016, Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract), http://dx.doi.org/10.48550/arxiv.1606.08815

Woizekowski O; van der Meyden R, 2016, On Reductions from Multi-Domain Noninterference to the Two-Level Case, http://dx.doi.org/10.48550/arxiv.1605.00474

Huang X; van der Meyden R, 2016, The complexity of approximations for epistemic synthesis (extended abstract), http://dx.doi.org/10.48550/arxiv.1602.01176

Chong S; van der Meyden R, 2014, Using Architecture to Reason about Information Security, http://dx.doi.org/10.48550/arxiv.1409.0309

Huang X; van der Meyden R, 2014, An Epistemic Strategy Logic (Extended Abstract), http://dx.doi.org/10.48550/arxiv.1404.0838

Cassez F; van der Meyden R; Zhang C, 2014, The Complexity of Synchronous Notions of Information Flow Security, http://dx.doi.org/10.48550/arxiv.1402.0601

Eggert S; van der Meyden R; Schnoor H; Wilke T, 2013, Complexity and Unwinding for Intransitive Noninterference, http://dx.doi.org/10.48550/arxiv.1308.1204

van der Meyden R; Vardi MY, 2013, Synthesis from Knowledge-Based Specifications, http://dx.doi.org/10.48550/arxiv.1307.6333

Patra MK; van der Meyden R, 2011, Consistent assignment of quantum probabilities, http://dx.doi.org/10.48550/arxiv.1109.1763

Al-Bataineh OI; van der Meyden R, 2010, Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols, http://dx.doi.org/10.48550/arxiv.1010.2287

Al-Bataineh OI; van der Meyden R, 2010, Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast, http://dx.doi.org/10.48550/arxiv.1004.5130

Halpern JY; van der Meyden R; Vardi MY, 2002, Complete Axiomatizations for Reasoning About Knowledge and Time, http://dx.doi.org/10.48550/arxiv.cs/0208033

Halpern JY; van der Meyden R, 2002, A logical reconstruction of SPKI, http://dx.doi.org/10.48550/arxiv.cs/0208028

Halpern JY; van der Meyden R, 2000, A Logic for SDSI's Linked Local Name Spaces, http://dx.doi.org/10.48550/arxiv.cs/0001026

Lomuscio AR; van der Meyden R; Ryan MD, 1999, Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast, http://dx.doi.org/10.48550/arxiv.cs/9909019

Back to profile page