Ron van der Meyden

	2011
82		Ron van der Meyden, Jan-Georg Smaus: Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Springer 2011
81		Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke: The Complexity of Intransitive Noninterference. IEEE Symposium on Security and Privacy 2011: 196-211
80		Xiaowei Huang, Patrick Maupin, Ron van der Meyden: Model Checking Knowledge in Pursuit Evasion Games. IJCAI 2011: 240-245
79		Xiaowei Huang, Cheng Luo, Ron van der Meyden: Symbolic model checking of probabilistic knowledge. TARK 2011: 177-186
78		Omar I. Al-Bataineh, Ron van der Meyden: Abstraction for epistemic model checking of dining cryptographers-based protocols. TARK 2011: 247-256
77		Ron van der Meyden: Two Applications of Epistemic Logic in Computer Security. Proof, Computation and Agency 2011: 133-144
76		Ron van der Meyden, Leon van der Torre: Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). J. Applied Logic 9(2): 81-82 (2011)
	2010
75		Xiaowei Huang, Cheng Luo, Ron van der Meyden: Improved bounded model checking for a fair branching-time temporal epistemic logic. AAMAS 2010: 1403-1404
74		Ron van der Meyden: Games, Norms and Strategic Notions in Information Flow Security. CLIMA 2010: 8
73		Xiaowei Huang, Ron van der Meyden: The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. ECAI 2010: 549-554
72		Franck Cassez, Ron van der Meyden, Chenyi Zhang: The Complexity of Synchronous Notions of Information Flow Security. FOSSACS 2010: 282-296
71		Xiaowei Huang, Cheng Luo, Ron van der Meyden: Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. MoChArt 2010: 95-111
70		Omar I. Al-Bataineh, Ron van der Meyden: Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. SecureComm 2010: 429-447
69		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, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan: Reports of the AAAI 2010 Conference Workshops. AI Magazine 31(4): 95-108 (2010)
68		Omar I. Al-Bataineh, Ron van der Meyden: Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast CoRR abs/1004.5130: (2010)
67		Omar I. Al-Bataineh, Ron van der Meyden: Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols CoRR abs/1010.2287: (2010)
66		Ron van der Meyden, Chenyi Zhang: A comparison of semantic models for noninterference. Theor. Comput. Sci. 411(47): 4123-4147 (2010)
	2009
65		Xiaowei Huang, Ron van der Meyden: Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. Australasian Conference on Artificial Intelligence 2009: 11-20
64		Ron van der Meyden: Architectural Refinement and Notions of Intransitive Noninterference. ESSoS 2009: 60-74
63		Stephen Chong, Ron van der Meyden: Deriving epistemic conclusions from agent architecture. TARK 2009: 61-70
	2008
62		Ron van der Meyden, Leendert van der Torre: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings Springer 2008
61		Ron van der Meyden, Chenyi Zhang: Information Flow in Systems with Schedulers. CSF 2008: 301-312
60		Ariel Cohen, Ron van der Meyden, Lenore D. Zuck: Access Control and Information Flow in Transactional Memory. Formal Aspects in Security and Trust 2008: 316-330
59		Ron van der Meyden: On Notions of Causality and Distributed Knowledge. KR 2008: 209-219
	2007
58		Peng Gao, Ron van der Meyden: A Linear Time Algorithm for Pricing European Sequential Barrier Options. CATS 2007: 55-62
57		Ron van der Meyden: What, Indeed, Is Intransitive Noninterference? ESORICS 2007: 235-250
56		Kai Engelhardt, Peter Gammie, Ron van der Meyden: Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS 2007: 195-211
55		Ron van der Meyden, Thomas Wilke: Preservation of epistemic properties in security protocol implementations. TARK 2007: 212-221
54		Ron van der Meyden, Chenyi Zhang: Algorithmic Verification of Noninterference Properties. Electr. Notes Theor. Comput. Sci. 168: 61-75 (2007)
	2006
53		Ron van der Meyden, Chenyi Zhang: A Comparison of Semantic Models for Noninterference. Formal Aspects in Security and Trust 2006: 235-249
52		Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan: Model Checking Russian Cards. Electr. Notes Theor. Comput. Sci. 149(2): 105-123 (2006)
	2005
51		Ron van der Meyden: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005 National University of Singapore 2005
50		Ron van der Meyden, Thomas Wilke: Synthesis of Distributed Systems from Knowledge-Based Specifications. CONCUR 2005: 562-576
	2004
49		Tim French, Ron van der Meyden, Mark Reynolds: Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic 2004: 53-72
48		Peter Gammie, Ron van der Meyden: MCK: Model Checking the Logic of Knowledge. CAV 2004: 479-483
47		Ron van der Meyden, Kaile Su: Symbolic Model Checking the Knowledge of the Dining Cryptographers. CSFW 2004: 280-
46		Kai Baukus, Ron van der Meyden: A Knowledge Based Analysis of Cache Coherence. ICFEM 2004: 99-114
45		Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. 33(3): 674-703 (2004)
	2003
44		Jan Chomicki, Ron van der Meyden, Gunter Saake: Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar] Springer 2003
43		Ron van der Meyden, Manas Patra: A Logic for Probability in Quantum Systems. CSL 2003: 427-440
42		Ron van der Meyden, Manas Patra: Knowledge in quantum systems. TARK 2003: 104-117
41		Ron van der Meyden: Modal Logics of Knowledge and Tim. TIME 2003: 5
40		Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. Journal of Computer Security 11(4): 581-614 (2003)
39		Ron van der Meyden, Ka-Shu Wong: Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Studia Logica 75(1): 93-123 (2003)
	2002
38		Kai Engelhardt, Ron van der Meyden, Kaile Su: Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic 2002: 9-30
37		Joseph Y. Halpern, Ron van der Meyden: A logical reconstruction of SPKI CoRR cs.CR/0208028: (2002)
36		Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time CoRR cs.LO/0208033: (2002)
	2001
35		Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. CSFW 2001: 59-
34		Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141
33		Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. Journal of Computer Security 9(1/2): 105-142 (2001)
	2000
32		Ron van der Meyden, Yoram Moses: On Refinement and Temporal Annotations. FTRTFT 2000: 185-201
31		Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
30		Alessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1(2): 247-284 (2000)
29		Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces CoRR cs.CR/0001026: (2000)
28		Ron van der Meyden: Predicate Boundedness of Linear Monadic Datalog is in PSPACE. Int. J. Found. Comput. Sci. 11(4): 591-612 (2000)
27		Edward P. F. Chan, Ron van der Meyden: Containment and Optimization of Object-Preserving Conjunctive Queries. SIAM J. Comput. 29(4): 1371-1400 (2000)
	1999
26		Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122
25		Ron van der Meyden, Nikolay V. Shilov: Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS 1999: 432-445
24		Alessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR cs.LO/9909019: (1999)
	1998
23		Ron van der Meyden, Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49
22		Ron van der Meyden, Yoram Moses: Top-Down Considerations on Distributed Computing. DISC 1998: 16-19
21		Ron van der Meyden: Logical Approaches to Incomplete Information: A Survey. Logics for Databases and Information Systems 1998: 307-356
20		Kai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. TARK 1998: 29-41
19		Ron van der Meyden: Common Knowledge and Update in Finite Environments. Inf. Comput. 140(2): 115-157 (1998)
	1997
18		Ron van der Meyden: The Complexity of Querying Indefinite Data about Linearly Ordered Domains. J. Comput. Syst. Sci. 54(1): 113-135 (1997)
	1996
17		Ron van der Meyden: Finite State Implementations of Knowledge-Based Programs. FSTTCS 1996: 262-273
16		Ron van der Meyden: Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. PRICAI Workshop on Intelligent Agent Systems 1996: 135-151
15		Ron van der Meyden: Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. TARK 1996: 31-49
14		Ron van der Meyden: The Dynamic Logic of Permission. J. Log. Comput. 6(3): 465-479 (1996)
	1995
13		Edward P. F. Chan, Ron van der Meyden: Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. COCOON 1995: 81-90
12		Tomasz Imielinski, Ron van der Meyden, Kumar V. Vadaparty: Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information. J. Comput. Syst. Sci. 51(3): 405-432 (1995)
	1994
11		Ron van der Meyden: Mutual Belief Revision (Preliminary Report). KR 1994: 595-606
10		Ron van der Meyden: Axioms for Knowledge and Time in Distributed Systems with Perfect Recall LICS 1994: 448-457
9		Ron van der Meyden: Common Knowledge and Update in Finite Enviromnents I. TARK 1994: 225-242
	1993
8		L. Thorne McCarty, Ron van der Meyden: An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR 1993: 417-436
7		Ron van der Meyden: Recursively Indefinite Databases. Theor. Comput. Sci. 116(1&2): 151-194 (1993)
	1992
6		L. Thorne McCarty, Ron van der Meyden: Reasoning About Indefinite Actions. KR 1992: 59-70
5		Ron van der Meyden: The Complexity of Querying Indefinite Data about Linearly Ordered Domains. PODS 1992: 331-345
	1991
4		L. Thorne McCarty, Ron van der Meyden: Indefinite Reasoning with Definite Rules. IJCAI 1991: 890-896
3		Ron van der Meyden: A Clausal Logic for Deontic Action Specification. ISLP 1991: 221-238
	1990
2		Ron van der Meyden: Recursively Indefinite Databases. ICDT 1990: 364-378
1		Ron van der Meyden: The Dynamic Logic of Permission LICS 1990: 72-78

Coauthor Index

1	David W. Aha	[69]
2	Omar I. Al-Bataineh	[67] [68] [70] [78]
3	Kai Baukus	[46]
4	Mark S. Boddy	[69]
5	Vadim Bulitko	[69]
6	Franck Cassez	[72]
7	Edward P. F. Chan	[13] [27]
8	Jan Chomicki	[44]
9	Stephen Chong	[63]
10	Ariel Cohen	[60]
11	Hans P. van Ditmarsch	[52]
12	Prashant Doshi	[69]
13	Stefan Edelkamp	[69]
14	Sebastian Eggert	[81]
15	Kai Engelhardt	[20] [31] [34] [38] [56]
16	Tim French (Timothy Stewart French)	[49]
17	Peter Gammie	[48] [56]
18	Peng Gao	[58]
19	Artur S. d'Avila Garcez	[69]
20	Christopher W. Geib	[69]
21	Piotr J. Gmytrasiewicz	[69]
22	Robert P. Goldman	[69]
23	Alon Y. Halevy (Alon Y. Levy)	[69]
24	Joseph Y. Halpern	[26] [29] [33] [35] [36] [37] [40] [45]
25	Pascal Hitzler	[69]
26	Wiebe van der Hoek	[52]
27	Xiaowei Huang	[65] [71] [73] [75] [79] [80]
28	Tomasz Imielinski	[12]
29	Charles Lee Isbell Jr. (Charles L. Isbell)	[69]
30	Darsana P. Josyula	[69]
31	Leslie Pack Kaelbling	[69]
32	Kristian Kersting	[69]
33	Maithilee Kunda	[69]
34	Luís C. Lamb (Luís da Cunha Lamb)	[69]
35	Alessio Lomuscio	[24] [30]
36	Cheng Luo	[71] [75] [79]
37	Bhaskara Marthi	[69]
38	Patrick Maupin	[80]
39	L. Thorne McCarty	[4] [6] [8]
40	Keith McGreggor	[69]
41	Lilyana Mihalkova	[69]
42	Yoram Moses	[20] [22] [31] [32] [34]
43	Vivi Nastase	[69]
44	Sriraam Natarajan	[69]
45	Manas Patra	[42] [43]
46	Gregory Provan	[69]
47	Anita Raja	[69]
48	Ashwin Ram	[69]
49	Mark Reynolds	[49]
50	Mark O. Riedl (Mark Riedl)	[69]
51	Ji Ruan	[52]
52	Stuart J. Russell	[69]
53	Mark Ryan (Mark Dermot Ryan)	[24] [30]
54	Gunter Saake	[44]
55	Ashish Sabharwal	[69]
56	Henning Schnoor	[81]
57	Nikolay V. Shilov	[25]
58	Jan-Georg Smaus	[69] [82]
59	Kaile Su	[38] [47]
60	Gita Reese Sukthankar (Gita Sukthankar)	[69]
61	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[62] [76]
62	Karl Tuyls	[69]
63	Kumar V. Vadaparty	[12]
64	Moshe Y. Vardi	[23] [36] [45]
65	Thomas Wilke	[50] [55] [81]
66	Ka-Shu Wong	[39]
67	Chenyi Zhang	[53] [54] [61] [66] [72]
68	Lenore D. Zuck	[60]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page