| School of Computer Science and Engineering (CRICOS Provider No. 00098G)

Ron van der Meyden's Information Page

Ron van der Meyden

Professor

Research Areas
To update this page please go to myCSE.
Office:	L5 NICTA
Phone:	83060480
Fax:	8306 0405
Email:
Mail:	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
Personal Website:	Further details are in my Home Page
	Theory of Computer Security Logic in Computer Science Logic of Knowledge and Belief Temporal Logic Theory of Distributed Systems
Publications
	What, Indeed, Is Intransitive Noninterference? R Van Der Meyden, Computer security---ESORICS 2007, J. Biskup and J. Lopez. Springer Verlag, Heidelberg, D-69121, Germany, Berlin, 2007, pp. 235 - 250
	Two Applications Of Epistemic Logic In Computer Science R Van Der Meyden, Logic at the crossroads, A. Gupta, et al.. Allied publishers, New Delhi, 2007
	Preservation Of Epistemic Properties In Security Protocol Implementations R Van Der Meyden, T Wilke, Theoretical aspects of knowledge and rationality, Proceedings, D. Samet. Louvain, Louvain, Belgium, 2007, pp. 212 - 221
	Model Checking Knowledge And Linear-Time Pspace Cases R Van Der Meyden, K Engelhardt, P Gammie, Symposium on logical foundations of computer science, Proceedings, S. Artemov and A. Nerode. Springer, Berlin, 2007, pp. 195 - 211
	Algorithmic Verification Of Noninterference Properties R Van Der Meyden, C Zhang, Electronic Notes in Theoretical Computer Science, . , 2007, pp. 61 - 75
	A Linear Time Algorithm For Pricing European Sequential Barrier Options P Gao, R Van Der Meyden, Computing: the Australasian theory symposium, Proceedings, J. Gudmundson and B. Jay. Australian computer society, Bedford Park, SA, 2007, pp. 55 - 62
	A Comparison Of Semantic Models For Noninterference R Van Der Meyden, C Zhang, Formal aspects in security and trust, T. Dimitrakos, et al.. Springer Verlag, Heidelberg, D-69121, Germany, Heidelberg, D-69121, Germany, 2007, pp. 235 - 249
	Model Checking Russian Cards H van Ditmarsch, H van der Hoek, R Van Der Meyden, J Ruan, Electronic notes in theoretical computer science, C. Pecheur, B. Williams. Elsevier, 2006, pp. 105 - 123
	Theoretical Aspects Of Rationality And Knowledge, Proceedings Of The 10th Conference (Tark 2005) R Van Der Meyden, , . ACM, ACM Digital Library, 2005
	Synthesis Of Distributed Systems From Knowledge-Based Specifications R Van Der Meyden, T Wilke, CONCUR 2005 - concurrency theory, proceedings of the 16th international conference, . Springer-Verlag Berlin, Berlin, 2005, pp. 562 - 576
	Model Checking The Knowledge Of The Dining Cryptographers R Van Der Meyden, K Su, 17th Computer Security Foundations Workshop, G.Dinolt. IEEE, Piscataway, NJ, USA, 2004, pp. 280 - 291
	Mck - Model Checking The Logic Of Knowledge P Gammie, R Van Der Meyden, Computer Aided Verification, R.Alur, D.Peled. Springer, Berlin, 2004, pp. 479 - 483
	Logics For Emerging Applications Od Databases R Van Der Meyden, J Chomicki, G Saake, , J. Chomicki, R. van der Meyden, G. Saake. Springer-Verlag, Berlin, 2004
	Complete Axiomatizations For Logics Of Knowledge And Time J Halpern, R Van Der Meyden, M Vardi, SIAM Journal on Computing, Eva Tardos (ed in chief). SIAM, 2004, pp. 674 - 703
	A Knowledge-Based Analysis Of Cache Coherence K Baukus, R Van Der Meyden, Formal Methods and Software Engineering, J. Davies, W. Schulte, M. Barnett. Springer, Berlin, 2004, pp. 99 - 114
	Modal Logics Of Knowledge And Time R Van Der Meyden, Proceedings of 10th Internaltional Symposium on Temporal Representation and Reasoning and 4th Internaltional Conference on Temporal Logics ( TIME-ICTL 2003), Mark Reynolds and Abdul Sattar. IEEE Computer Society, California USA, 2003, p. 5
	Knowledge In Quantum Systems (None HERDC) R Van Der Meyden, M Patra, Theoretical aspects of Rationality and Knowledge, Moshe Tennenholtz. ACM, New York, 2003, pp. 104 - 117
	Complete Axiomatizations For Reasoning About Knowledge And Branching Time (None HERDC) R Van Der Meyden, K Wong, Studia Logica, W. van der Hoek, M. Woolridge. Kluwer Academic Publishers, Netherlands, 2003, pp. 93 - 123
	A Logical Reconstruction Of Spki J Halpern, R Van Der Meyden, Journal of Computer Security, S. Jajodia, J. Millen. IOS Press, Netherlands, 2003, pp. 581 - 614
	A Logic For Probability In Quantum Systems R Van Der Meyden, M Patra, Computer Science Logic(LNCS 2803), M. Baaz and J. A. Makowsky. Springer, Berlin, 2003, pp. 427 - 440
	Modal Logics With A Linear Hierarchy Of Local Propositional Quantifiers (Preliminary Version) K Engelhardt, R Van Der Meyden, Advances in Modal Logic 2002 (AiML), Nobu-Yuki Suzuki ; Frank Wolter. Institut de recherche en informatique de Toulouse, Universit? Paul Sabatier, Toulouse, France, 2002, pp. 63 - 76
	A Refinement Theory That Supports Reasoning About Knowledge And Time For Synchronous Agents K Engelhardt, R Van Der Meyden, Y Moses, Lecture notes in computer science, Robert Nieuwenhuis ; Andrei Voronkov. Springer-Verlag, Berlin, Heidelberg, New York, 2001, pp. 125 - 141
	A Logic For Sdsi's Linked Local Name Spaces R Van Der Meyden, J Halpern, Journal of Computer Security, N/A. IOS Press, Amsterdam, 2001, pp. 105 - 142
	Predicate Boundedness Of Linear Monadic Datalog Is In Pspace R Van Der Meyden, L Reeve, International Journal of Foundations of Computer Science, . World Scientific Publishing Company, Singapore, 2000, pp. 591 - 612
	On Refinement And Temporal Annotations R Van Der Meyden, Y Moses, Formal Techniques in Real-Time and Fault Tolerant Systems, Proc. 6th International Symposium, FTRTFT 2000, . Springer, Berlin, 2000, pp. 185 - 201
	Knowledge In Multi-Agent Systems: Initial Configurations And Broadcast D Stevens, A Lomusciou, R Van Der Meyden, R Ryan, ACM Transactions on Computational Logic, . Association for Computing Machinery, New York, NY, 2000, pp. 247 - 284
	Containment And Optimization Of Object Preserving Conjunctive Queries E Chan, R Van Der Meyden, SIAM Journal on Computing, . Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 2000, pp. 1371 - 1400
	A Program Refinement Framework Supporting Reasoning About Knowledge And Time K Engelhardt, R Van Der Meyden, Y Moses, Foundations of Software Science and Computation Structures, . Springer Verlag, Berlin, Heidelberg, New York, 2000, pp. 114 - 129
	Model Checking Knowledge And Time In Systems With Perfect Recall R Van Der Meyden, N Shilov, Proc. Conf. on Foundations of Software Technology and Theoretical Computer Science, . Springer, Berlin, 1999, pp. 432 - 445

To update this page please go to myCSE

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement