By Professor Ron Van der Meyden

Conference Papers

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

Back to profile page