Travelled to:1 × Australia
1 × Cyprus
2 × Austria
2 × France
2 × Germany
4 × USA
Collaborated with:∅ X.Huang P.Gammie M.Patra L.T.McCarty F.Cassez C.Zhang K.Engelhardt Y.Moses
Talks about:knowledg (5) logic (5) about (3) indefinit (2) distribut (2) complex (2) system (2) specif (2) reason (2) notion (2)
Person: Ron van der Meyden
DBLP: Meyden:Ron_van_der
Contributed to:
2014
2014
20102008
2004
200320001994
19941992
1992
19911990Wrote 13 papers:
- KR-2014-HuangM #logic
- A Temporal Logic of Strategic Knowledge (XH, RvdM).
- TACAS-2014-HuangM #semantics #specification #synthesis
- Symbolic Synthesis for Epistemic Specifications with Observational Semantics (XH, RvdM), pp. 455–469.
- FoSSaCS-2010-CassezMZ #complexity #data flow #security
- The Complexity of Synchronous Notions of Information Flow Security (FC, RvdM, CZ), pp. 282–296.
- KR-2008-Meyden #distributed #on the
- On Notions of Causality and Distributed Knowledge (RvdM), pp. 209–219.
- CAV-2004-GammieM #logic #model checking #named
- MCK: Model Checking the Logic of Knowledge (PG, RvdM), pp. 479–483.
- CSL-2003-MeydenP #logic #probability #quantum
- A Logic for Probability in Quantum Systems (RvdM, MP), pp. 427–440.
- FoSSaCS-2000-EngelhardtMM #framework #reasoning #refinement
- A Program Refinement Framework Supporting Reasoning about Knowledge and Time (KE, RvdM, YM), pp. 114–129.
- KR-1994-Meyden
- Mutual Belief Revision (RvdM), pp. 595–606.
- LICS-1994-Meyden #axiom #distributed
- Axioms for Knowledge and Time in Distributed Systems with Perfect Recall (RvdM), pp. 448–457.
- KR-1992-McCartyM #reasoning
- Reasoning About Indefinite Actions (LTM, RvdM), pp. 59–70.
- PODS-1992-Meyden #complexity #order #query
- The Complexity of Querying Indefinite Data about Linearly Ordered Domains (RvdM), pp. 331–345.
- ISLP-1991-Meyden #logic #specification
- A Clausal Logic for Deontic Action Specification (RvdM), pp. 221–238.
- LICS-1990-Meyden #logic
- The Dynamic Logic of Permission (RvdM), pp. 72–78.