BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Meyden:Ron_van_der

Contributed to:

KR 20142014
TACAS 20142014
FOSSACS 20102010
KR 20082008
CAV 20042004
CSL 20032003
FoSSaCS 20002000
KR 19941994
LICS 19941994
KR 19921992
PODS 19921992
ILPS 19911991
LICS 19901990

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.