- Architectural Refinement and Notions of Intransitive Noninterference (Preliminary
- Predicate Boundedness of Linear Monadic Datalog is in PSPACE
- Symbolic Model Checking the Knowledge of the Dining Cryptographers Ron van der Meyden #
- A Clausal Logic for Deontic Action Specification (Extended Abstract)
- Issues for a Temporal Refinement Calculus Ron van der Meyden 1 and Yoram Moses 2
- The Dynamic Logic of Permission Ron van der Meyden
- Recursively Indefinite Databases 1 Ron van der Meyden
- Reasoning About Indefinite Actions L. Thorne McCarty
- Deriving Epistemic Conclusions from Agent Architecture Stephen Chong
- Remarks on the GWV Firewall Ron van der Meyden
- The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
- Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments \Lambda
- Knowledge and the Logic of Local Propositions (Extended abstract)
- Complexity Tailored Design: A New Design Methodology for Databases With
- Constructing Finite State Implementations of KnowledgeBased Programs with Perfect Recall ?
- Epistemic Model Checking for Knowledge-Based Program Implementation: an
- An Intuitionistic Interpretation of Finite and Infinite Failure
- Logics for Databases and Information Systems
- Containment and Optimization of ObjectPreserving Conjunctive Queries
- MCK: Model Checking the Logic of Knowledge Peter Gammie1
- Knowledge in Multi-Agent Systems: Initial Con gurations and Broadcast
- Ron van der Meyden Kashu Wong
- A logical reconstruction of SPKI Joseph Y. Halpern
- Model Checking Knowledge and Time in Systems with Perfect Recall (Extended
- Information Flow in Systems with Schedulers Ron van der Meyden, Chenyi Zhang
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- A comparison of semantic models for intransitive noninterference
- Too appear in the proceedings of FOSSACS 2000, Foundations of Software Science and Computation Structures, March 2731, 2000, Berlin, Germany, LNCS ????, c
- Knowledge in Quantum Systems (Extended Abstract)
- Axioms for Knowledge and Time in Distributed Systems with Perfect Recall
- to appear in Robert Nieuwenhuis and Andrei Voronkov, editors, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume ???? of LNAI, pages ??--??.
- Common Knowledge and Update in Finite Environments
- Model Checking Knowledge and Linear Time: PSPACE Cases
- Finite State Implementations of KnowledgeBased Programs
- On Refinement and Temporal Annotations ? Ron van der Meyden 1 and Yoram Moses 2
- Mutual Belief Revision (Preliminary Report) Ron van der Meyden
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- The Complexity of Intransitive Noninterference Sebastian Eggert
- Access Control and Information Flow in Transactional Ariel Cohen1
- A Knowledge Based Analysis of Cache Kai Baukus1
- Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Ini-
- Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers1
- Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
- Preservation of Epistemic Properties in Security Protocol Implementations Ron van der Meyden
- A Linear Time Algorithm for Pricing European Sequential Barrier Peng Gao Ron van der Meyden
- Algorithmic Verification of Noninterference Ron van der Meyden, Chenyi Zhang
- A logic for probability in quantum systems Ron van der Meyden and Manas Patra
- On Notions of Causality and Distributed Ron van der Meyden
- The Theory of a Real Closed Field and its Algebraic Closure
- Using Architecture to Reason About Information Security Stephen Chong
- The Complexity of Synchronous Notions of Information Flow Security
- Model Checking Knowledge in Pursuit Evasion Games Xiaowei Huang
- Symbolic Model Checking of Probabilistic Knowledge [Extended Abstract]
- Consistent assignment of quantum probabilities Manas K. Patra
