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