| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Two Applications of Epistemic Logic in Computer Security. |
Proof, Computation and Agency |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke |
The Complexity of Intransitive Noninterference. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
verification, information flow, noninterference |
| 1 | Xiaowei Huang, Patrick Maupin, Ron van der Meyden |
Model Checking Knowledge in Pursuit Evasion Games. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden, Jan-Georg Smaus (eds.) |
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers |
MoChArt |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar I. Al-Bataineh, Ron van der Meyden |
Abstraction for epistemic model checking of dining cryptographers-based protocols. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
Symbolic model checking of probabilistic knowledge. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Chenyi Zhang |
A comparison of semantic models for noninterference. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar I. Al-Bataineh, Ron van der Meyden |
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Omar I. Al-Bataineh, Ron van der Meyden |
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
Games, Norms and Strategic Notions in Information Flow Security. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Ron van der Meyden |
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. |
MoChArt |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar I. Al-Bataineh, Ron van der Meyden |
Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. |
SecureComm |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
Improved bounded model checking for a fair branching-time temporal epistemic logic. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Ron van der Meyden, Chenyi Zhang |
The Complexity of Synchronous Notions of Information Flow Security. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang, Ron van der Meyden |
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Ron van der Meyden |
Deriving epistemic conclusions from agent architecture. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Architectural Refinement and Notions of Intransitive Noninterference. |
ESSoS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Leendert van der Torre (eds.) |
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings |
DEON |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ariel Cohen 0002, Ron van der Meyden, Lenore D. Zuck |
Access Control and Information Flow in Transactional Memory. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Chenyi Zhang |
Information Flow in Systems with Schedulers. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
scheduler, information flow, noninterference |
| 1 | Ron van der Meyden |
On Notions of Causality and Distributed Knowledge. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden, Chenyi Zhang |
Algorithmic Verification of Noninterference Properties. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Peter Gammie, Ron van der Meyden |
Model Checking Knowledge and Linear Time: PSPACE Cases. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Gao, Ron van der Meyden |
A Linear Time Algorithm for Pricing European Sequential Barrier Options. |
CATS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden, Thomas Wilke |
Preservation of epistemic properties in security protocol implementations. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
What, Indeed, Is Intransitive Noninterference? |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan |
Model Checking Russian Cards. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Chenyi Zhang |
A Comparison of Semantic Models for Noninterference. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Thomas Wilke |
Synthesis of Distributed Systems from Knowledge-Based Specifications. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden (eds.) |
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005 |
TARK |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi |
Complete Axiomatizations for Reasoning about Knowledge and Time. |
SIAM J. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Kai Baukus, Ron van der Meyden |
A Knowledge Based Analysis of Cache Coherence. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Kaile Su |
Symbolic Model Checking the Knowledge of the Dining Cryptographers. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gammie, Ron van der Meyden |
MCK: Model Checking the Logic of Knowledge. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden |
A Logical Reconstruction of SPKI. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden, Ka-Shu Wong |
Complete Axiomatizations for Reasoning about Knowledge and Branching Time. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
perfect recall, multi-agent systems, temporal logic, modal logic, epistemic logic, synchrony, logic of knowledge, branching time |
| 1 | Ron van der Meyden |
Modal Logics of Knowledge and Tim. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Chomicki, Ron van der Meyden, Gunter Saake (eds.) |
Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar] |
Logics for Emerging Applications of Databases |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden, Manas Patra |
Knowledge in quantum systems. |
TARK |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Manas Patra |
A Logic for Probability in Quantum Systems. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi |
Complete Axiomatizations for Reasoning About Knowledge and Time |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden |
A logical reconstruction of SPKI |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Kaile Su |
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden |
A Logic for SDSI's Linked Local Name Spaces. |
Journal of Computer Security |
2001 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Refinement Theory that Supports Reasoning About Knowledge and Time. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden |
A Logical Reconstruction of SPKI. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Predicate Boundedness of Linear Monadic Datalog is in PSPACE. |
Int. J. Found. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden |
A Logic for SDSI's Linked Local Name Spaces |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ron van der Meyden, Mark Ryan |
Knowledge in multiagent systems: initial configurations and broadcast. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
computational complexity, completeness |
| 1 | Edward P. F. Chan, Ron van der Meyden |
Containment and Optimization of Object-Preserving Conjunctive Queries. |
SIAM J. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Yoram Moses |
On Refinement and Temporal Annotations. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
temporal refinement calculi, temporal logic, Refinement calculus |
| 1 | Alessio Lomuscio, Ron van der Meyden, Mark Ryan |
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden |
A Logic for SDSI's Linked Local Name Spaces. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Nikolay V. Shilov |
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Common Knowledge and Update in Finite Environments. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Moshe Y. Vardi |
Synthesis from Knowledge-Based Specifications (Extended Abstract). |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Logical Approaches to Incomplete Information: A Survey. |
Logics for Databases and Information Systems |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden, Yoram Moses |
Top-Down Considerations on Distributed Computing. |
DISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
Knowledge and the Logic of Local Propositions. |
TARK |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
The Complexity of Querying Indefinite Data about Linearly Ordered Domains. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
The Dynamic Logic of Permission. |
J. Log. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. |
PRICAI Workshop on Intelligent Agent Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. |
TARK |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
Finite State Implementations of Knowledge-Based Programs. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward P. F. Chan, Ron van der Meyden |
Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. |
COCOON |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Mutual Belief Revision (Preliminary Report). |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
Axioms for Knowledge and Time in Distributed Systems with Perfect Recall |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
Common Knowledge and Update in Finite Enviromnents I. |
TARK |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
Recursively Indefinite Databases. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Thorne McCarty, Ron van der Meyden |
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | L. Thorne McCarty, Ron van der Meyden |
Reasoning About Indefinite Actions. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
The Complexity of Querying Indefinite Data about Linearly Ordered Domains. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Thorne McCarty, Ron van der Meyden |
Indefinite Reasoning with Definite Rules. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
A Clausal Logic for Deontic Action Specification. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden |
Recursively Indefinite Databases. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden |
The Dynamic Logic of Permission |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")