By Professor Ron Van der Meyden

Conference Papers

Engelhardt K; Van Der Meyden R; Moses Y, 2001, 'A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agen', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, 03 December 2001 - 07 December 2001, http://dx.doi.org/10.1007/3-540-45653-8_9

Van Der Meyden R; Halpern JY, 2001, 'A logical Reconstruction of SPKI', in 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia, presented at 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia

Van Der Meyden R; Moses Y, 2000, 'On Refinement and Temporal Annotations', in 6th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Pune India, presented at 6th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Pune India, 20 September 2000 - 22 September 2000

Engelhardt K; Van Der Meyden R; Moses Y; Moses Y, 2000, 'A Program Refinement Framework Supporting Reasoning about Knowledge and Time', in Foundations of Software Science and Computation Structures, volume 1784 of LNCS, Springer-Verlag, Berlin, Germany, presented at Foundations of Software Science and Computation Structures, Berlin, Germany, 25 March 2000 - 02 April 2000, http://dx.doi.org/10.1007/3-540-46432-8_8

Van Der Meyden R; Shilov N, 1999, 'Model Checking Knowledge and Time in Systems with Perfect Recall', in 12th Australia Joint Conference on Artificial Intelligence, AI 1999, Madras India, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999

Halpern JY; van der Meyden R, 1999, 'Logic for SDSI's linked local name spaces preliminary version', in Proceedings of the Computer Security Foundations Workshop, pp. 111 - 122

van der Meyden R; Vardi MY, 1998, 'Synthesis from knowledge-based specifications (Extended abstract)', in Sangiorgi D; deSimone R (ed.), CONCUR'98: CONCURRENCY THEORY, SPRINGER-VERLAG BERLIN, FRANCE, NICE, pp. 34 - 49, presented at 9th International Conference on Concurrency Theory (CONCUR 98), FRANCE, NICE, 08 September 1998 - 11 September 1998

van der Meyden R; Vardi MY, 1998, 'Synthesis from knowledge-based specifications', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 34 - 49, http://dx.doi.org/10.1007/bfb0055614

Van Der Meyden R; Moses Y, 1998, 'Top-down considerations on distributed computing', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 16 - 19, http://dx.doi.org/10.1007/bfb0056469

Van Der Meyden R, 1997, 'Constructing finite state implementations of knowledge-based programs with perfect recall', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 135 - 151, http://dx.doi.org/10.1007/3-540-62686-7_33

van der Meyden R, 1996, 'Finite state implementations of knowledge-based programs', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 262 - 273, http://dx.doi.org/10.1007/3-540-62034-6_55

Chart EPF; Van Der Meyden R, 1995, 'Testing containment of object-oriented conjunctive queries is Πp2 -hard', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 81 - 90, http://dx.doi.org/10.1007/BFb0030822

van der Meyden R, 1994, 'Axioms for knowledge and time in distributed systems with perfect recall', in Proceedings Symposium on Logic in Computer Science, pp. 448 - 457

van der Meyden R, 1992, 'Complexity of querying indefinite data about linearly ordered domains', in Proceedings of the ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems, pp. 331 - 345, http://dx.doi.org/10.1145/137097.137902

van der Meyden R, 1991, 'Clausal logic for deontic action specification (extended abstract)', in undefined, pp. 221 - 238

van der Meyden R, 1990, 'The dynamic logic of permission', in Proceedings Symposium on Logic in Computer Science, pp. 72 - 78

van der Meyden R, 1990, 'Recursively indefinite databases', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 364 - 378, http://dx.doi.org/10.1007/3-540-53507-1_89

Conference Proceedings (Editor of)

Van Der Meyden R; Smaus JG, 2011, 'Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface', Vol. 6572 LNAI, http://dx.doi.org/10.1007/978-3-642-20674-0

Van Der Meyden R; Van Der Torre L, (ed.), 2008, 'Deontic Logic in Computer Science - 9th International Conference, DEON 2008', Luxembourg, presented at Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Luxembourg, 15 July 2008 - 18 July 2008, http://dx.doi.org/10.1007/978-3-540-70525-3

Van Der Meyden R, 2005, 'Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge: Preface'

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; Huang G; van der Meyden R, 2025, Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols, http://dx.doi.org/10.48550/arxiv.2505.02353

Alpturer K; Halpern JY; van der Meyden R, 2024, A Knowledge-Based Analysis of Intersection Protocols, http://dx.doi.org/10.48550/arxiv.2408.09499

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