dblp.uni-trier.dewww.uni-trier.de

Ron van der Meyden Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
64EERon van der Meyden: Architectural Refinement and Notions of Intransitive Noninterference. ESSoS 2009: 60-74
63EEStephen 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
61EERon van der Meyden, Chenyi Zhang: Information Flow in Systems with Schedulers. CSF 2008: 301-312
60EEAriel 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
58EEPeng Gao, Ron van der Meyden: A Linear Time Algorithm for Pricing European Sequential Barrier Options. CATS 2007: 55-62
57EERon van der Meyden: What, Indeed, Is Intransitive Noninterference? ESORICS 2007: 235-250
56EEKai Engelhardt, Peter Gammie, Ron van der Meyden: Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS 2007: 195-211
55EERon van der Meyden, Thomas Wilke: Preservation of epistemic properties in security protocol implementations. TARK 2007: 212-221
54EERon van der Meyden, Chenyi Zhang: Algorithmic Verification of Noninterference Properties. Electr. Notes Theor. Comput. Sci. 168: 61-75 (2007)
2006
53EERon van der Meyden, Chenyi Zhang: A Comparison of Semantic Models for Noninterference. Formal Aspects in Security and Trust 2006: 235-249
52EEHans 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
50EERon van der Meyden, Thomas Wilke: Synthesis of Distributed Systems from Knowledge-Based Specifications. CONCUR 2005: 562-576
2004
49EETim 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
48EEPeter Gammie, Ron van der Meyden: MCK: Model Checking the Logic of Knowledge. CAV 2004: 479-483
47EERon van der Meyden, Kaile Su: Symbolic Model Checking the Knowledge of the Dining Cryptographers. CSFW 2004: 280-
46EEKai Baukus, Ron van der Meyden: A Knowledge Based Analysis of Cache Coherence. ICFEM 2004: 99-114
45EEJoseph 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
43EERon van der Meyden, Manas Patra: A Logic for Probability in Quantum Systems. CSL 2003: 427-440
42EERon van der Meyden, Manas Patra: Knowledge in quantum systems. TARK 2003: 104-117
41EERon 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)
39EERon 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
37EEJoseph Y. Halpern, Ron van der Meyden: A logical reconstruction of SPKI CoRR cs.CR/0208028: (2002)
36EEJoseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time CoRR cs.LO/0208033: (2002)
2001
35EEJoseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. CSFW 2001: 59-
34EEKai 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
32EERon van der Meyden, Yoram Moses: On Refinement and Temporal Annotations. FTRTFT 2000: 185-201
31EEKai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
30EEAlessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1(2): 247-284 (2000)
29EEJoseph 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
26EEJoseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122
25EERon van der Meyden, Nikolay V. Shilov: Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS 1999: 432-445
24EEAlessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR cs.LO/9909019: (1999)
1998
23EERon van der Meyden, Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49
22EERon van der Meyden, Yoram Moses: Top-Down Considerations on Distributed Computing. DISC 1998: 16-19
21EERon 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
17EERon van der Meyden: Finite State Implementations of Knowledge-Based Programs. FSTTCS 1996: 262-273
16EERon 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
5EERon 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
2EERon 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

1Kai Baukus [46]
2Edward P. F. Chan [13] [27]
3Jan Chomicki [44]
4Stephen Chong [63]
5Ariel Cohen [60]
6Hans P. van Ditmarsch [52]
7Kai Engelhardt [20] [31] [34] [38] [56]
8Tim French [49]
9Peter Gammie [48] [56]
10Peng Gao [58]
11Joseph Y. Halpern [26] [29] [33] [35] [36] [37] [40] [45]
12Wiebe van der Hoek [52]
13Tomasz Imielinski [12]
14Alessio Lomuscio [24] [30]
15L. Thorne McCarty [4] [6] [8]
16Yoram Moses [20] [22] [31] [32] [34]
17Manas Patra [42] [43]
18Mark Reynolds [49]
19Ji Ruan [52]
20Mark Ryan (Mark Dermot Ryan) [24] [30]
21Gunter Saake [44]
22Nikolay V. Shilov [25]
23Kaile Su [38] [47]
24Leendert W. N. van der Torre (Leendert van der Torre) [62]
25Kumar V. Vadaparty [12]
26Moshe Y. Vardi [23] [36] [45]
27Thomas Wilke [50] [55]
28Ka-shu Wong [39]
29Chenyi Zhang [53] [54] [61]
30Lenore D. Zuck [60]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)