default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRon van der Meyden
Person information
- affiliation: University of New South Wales, School of Computer Science and Engineering, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c72]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
A Knowledge-Based Analysis of Intersection Protocols. DISC 2024: 2:1-2:17- [i20]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
A Knowledge-Based Analysis of Intersection Protocols. CoRR abs/2408.09499 (2024) - 2023
- [c71]Kaya Alpturer
, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. PODC 2023: 244-252 - [i19]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. CoRR abs/2305.06271 (2023) - 2022
- [j25]Ron van der Meyden:
A Formal Treatment of Contract Signature. IEEE Trans. Serv. Comput. 15(6): 3101-3114 (2022) - 2021
- [c70]Ron van der Meyden, Michael J. Maher:
Architecture for Smart SAFE Contracts. BRAINS 2021: 145-148 - 2020
- [j24]Ron van der Meyden, Manas K. Patra:
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. ACM Trans. Comput. Log. 21(4): 32:1-32:26 (2020) - [i18]Ron van der Meyden:
Signature in Counterparts, a Formal Treatment. CoRR abs/2002.09827 (2020)
2010 – 2019
- 2019
- [c69]Ron van der Meyden:
On the specification and verification of atomic swap smart contracts (extended abstract). IEEE ICBC 2019: 176-179 - 2018
- [j23]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic. ACM Trans. Comput. Log. 19(4): 26:1-26:45 (2018) - [i17]Ron van der Meyden:
On the specification and verification of atomic swap smart contracts. CoRR abs/1811.06099 (2018) - 2017
- [j22]Sebastian Eggert, Ron van der Meyden:
Dynamic intransitive noninterference revisited. Formal Aspects Comput. 29(6): 1087-1120 (2017) - [c68]Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella:
An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK 2017: 306-323 - [c67]Ron van der Meyden:
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract). TARK 2017: 398-414 - 2016
- [j21]Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The complexity of synchronous notions of information flow security. Theor. Comput. Sci. 631: 16-42 (2016) - [c66]Oliver Woizekowski, Ron van der Meyden:
On Reductions from Multi-Domain Noninterference to the Two-Level Case. ESORICS (1) 2016: 520-537 - [i16]Sebastian Eggert, Ron van der Meyden:
Dynamic Intransitive Noninterference Revisited. CoRR abs/1601.05187 (2016) - [i15]Oliver Woizekowski, Ron van der Meyden:
Nondeterministic Multi-Domain Noninterference via Policy Reduction. CoRR abs/1605.00474 (2016) - [i14]Ron van der Meyden:
Optimizing Epistemic Model Checking using Conditional Independence. CoRR abs/1610.03935 (2016) - 2015
- [j20]Ron van der Meyden:
What, indeed, is intransitive noninterference? J. Comput. Secur. 23(2): 197-228 (2015) - [j19]Stephen Chong, Ron van der Meyden:
Using Architecture to Reason about Information Security. ACM Trans. Inf. Syst. Secur. 18(2): 8:1-8:30 (2015) - [c65]Xiaowei Huang, Ron van der Meyden:
The complexity of approximations for epistemic synthesis (extended abstract). SYNT 2015: 120-137 - [c64]Ron van der Meyden, Manas K. Patra:
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract). TARK 2015: 264-282 - [i13]Ron van der Meyden, Manas K. Patra:
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. CoRR abs/1511.03003 (2015) - 2014
- [c63]Xiaowei Huang, Ron van der Meyden:
Symbolic Model Checking Epistemic Strategy Logic. AAAI 2014: 1426-1432 - [c62]Xiaowei Huang, Ron van der Meyden:
A Temporal Logic of Strategic Knowledge. KR 2014 - [c61]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis for Epistemic Specifications with Observational Semantics. TACAS 2014: 455-469 - [c60]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic (Extended Abstract). SR 2014: 35-41 - [i12]Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The Complexity of Synchronous Notions of Information Flow Security. CoRR abs/1402.0601 (2014) - [i11]Stephen Chong, Ron van der Meyden:
Using Architecture to Reason about Information Security. CoRR abs/1409.0309 (2014) - [i10]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic. CoRR abs/1409.2193 (2014) - 2013
- [j18]Ron van der Meyden, Chenyi Zhang:
Information flow in systems with schedulers, Part I: Definitions. Theor. Comput. Sci. 467: 68-88 (2013) - [j17]Ron van der Meyden, Chenyi Zhang:
Information flow in systems with schedulers, Part II: Refinement. Theor. Comput. Sci. 484: 70-92 (2013) - [c59]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. TARK 2013 - [i9]Ron van der Meyden, Moshe Y. Vardi:
Synthesis from Knowledge-Based Specifications. CoRR abs/1307.6333 (2013) - [i8]Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke:
Complexity and Unwinding for Intransitive Noninterference. CoRR abs/1308.1204 (2013) - [i7]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. CoRR abs/1310.6423 (2013) - 2012
- [j16]Ron van der Meyden:
Architectural refinement and notions of intransitive noninterference. Formal Aspects Comput. 24(4-6): 769-792 (2012) - [c58]Xiaowei Huang, Ron van der Meyden:
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. AAAI 2012: 772-778 - [c57]Kai Engelhardt, Ron van der Meyden, Chenyi Zhang:
Intransitive noninterference in nondeterministic systems. CCS 2012: 869-880 - 2011
- [j15]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. Appl. Log. 9(2): 81-82 (2011) - [c56]Xiaowei Huang, Patrick Maupin, Ron van der Meyden:
Model Checking Knowledge in Pursuit Evasion Games. IJCAI 2011: 240-245 - [c55]Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke:
The Complexity of Intransitive Noninterference. IEEE Symposium on Security and Privacy 2011: 196-211 - [c54]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Symbolic model checking of probabilistic knowledge. TARK 2011: 177-186 - [c53]Omar I. Al-Bataineh, Ron van der Meyden:
Abstraction for epistemic model checking of dining cryptographers-based protocols. TARK 2011: 247-256 - [p1]Ron van der Meyden:
Two Applications of Epistemic Logic in Computer Security. Proof, Computation and Agency 2011: 133-144 - [e4]Ron van der Meyden, Jan-Georg Smaus:
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6572, Springer 2011, ISBN 978-3-642-20673-3 [contents] - 2010
- [j14]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 Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart 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 Mag. 31(4): 95-108 (2010) - [j13]Ron van der Meyden, Chenyi Zhang:
A comparison of semantic models for noninterference. Theor. Comput. Sci. 411(47): 4123-4147 (2010) - [c52]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Improved bounded model checking for a fair branching-time temporal epistemic logic. AAMAS 2010: 1403-1404 - [c51]Ron van der Meyden:
Games, Norms and Strategic Notions in Information Flow Security. CLIMA 2010: 8 - [c50]Xiaowei Huang, Ron van der Meyden:
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. ECAI 2010: 549-554 - [c49]Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The Complexity of Synchronous Notions of Information Flow Security. FoSSaCS 2010: 282-296 - [c48]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. MoChArt 2010: 95-111 - [c47]Omar I. Al-Bataineh, Ron van der Meyden:
Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. SecureComm 2010: 429-447 - [i6]Omar I. Al-Bataineh, Ron van der Meyden:
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast. CoRR abs/1004.5130 (2010) - [i5]Omar I. Al-Bataineh, Ron van der Meyden:
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols. CoRR abs/1010.2287 (2010)
2000 – 2009
- 2009
- [c46]Xiaowei Huang, Ron van der Meyden:
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. Australasian Conference on Artificial Intelligence 2009: 11-20 - [c45]Ron van der Meyden:
Architectural Refinement and Notions of Intransitive Noninterference. ESSoS 2009: 60-74 - [c44]Stephen Chong, Ron van der Meyden:
Deriving epistemic conclusions from agent architecture. TARK 2009: 61-70 - 2008
- [c43]Ron van der Meyden, Chenyi Zhang:
Information Flow in Systems with Schedulers. CSF 2008: 301-312 - [c42]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 - [c41]Ron van der Meyden:
On Notions of Causality and Distributed Knowledge. KR 2008: 209-219 - [e3]Ron van der Meyden, Leendert W. N. van der Torre:
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings. Lecture Notes in Computer Science 5076, Springer 2008, ISBN 978-3-540-70524-6 [contents] - 2007
- [c40]Peng Gao, Ron van der Meyden:
A Linear Time Algorithm for Pricing European Sequential Barrier Options. CATS 2007: 55-62 - [c39]Ron van der Meyden:
What, Indeed, Is Intransitive Noninterference? ESORICS 2007: 235-250 - [c38]Kai Engelhardt, Peter Gammie, Ron van der Meyden:
Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS 2007: 195-211 - [c37]Ron van der Meyden, Thomas Wilke:
Preservation of epistemic properties in security protocol implementations. TARK 2007: 212-221 - 2006
- [c36]Ron van der Meyden, Chenyi Zhang:
A Comparison of Semantic Models for Noninterference. Formal Aspects in Security and Trust 2006: 235-249 - [c35]Ron van der Meyden, Chenyi Zhang:
Algorithmic Verification of Noninterference Properties. VODCA@FOSAD 2006: 61-75 - 2005
- [c34]Ron van der Meyden, Thomas Wilke:
Synthesis of Distributed Systems from Knowledge-Based Specifications. CONCUR 2005: 562-576 - [c33]Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan:
Model Checking Russian Cards. MoChArt@CONCUR/SPIN 2005: 105-123 - [e2]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, ISBN 981-05-3412-4 [contents] - 2004
- [j12]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) - [c32]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 - [c31]Peter Gammie, Ron van der Meyden:
MCK: Model Checking the Logic of Knowledge. CAV 2004: 479-483 - [c30]Ron van der Meyden, Kaile Su:
Symbolic Model Checking the Knowledge of the Dining Cryptographers. CSFW 2004: 280- - [c29]Kai Baukus, Ron van der Meyden:
A Knowledge Based Analysis of Cache Coherence. ICFEM 2004: 99-114 - 2003
- [j11]Joseph Y. Halpern, Ron van der Meyden:
A Logical Reconstruction of SPKI. J. Comput. Secur. 11(4): 581-614 (2003) - [j10]Ron van der Meyden, Ka-Shu Wong:
Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Stud Logica 75(1): 93-123 (2003) - [c28]Ron van der Meyden, Manas K. Patra:
A Logic for Probability in Quantum Systems. CSL 2003: 427-440 - [c27]Ron van der Meyden, Manas K. Patra:
Knowledge in quantum systems. TARK 2003: 104-117 - [c26]Ron van der Meyden:
Modal Logics of Knowledge and Tim. TIME 2003: 5 - [e1]Jan Chomicki, Ron van der Meyden, Gunter Saake:
Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar]. Springer 2003, ISBN 3-540-00705-9 [contents] - 2002
- [c25]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 - [i4]Joseph Y. Halpern, Ron van der Meyden:
A logical reconstruction of SPKI. CoRR cs.CR/0208028 (2002) - [i3]Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002) - 2001
- [j9]Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. J. Comput. Secur. 9(1/2): 105-142 (2001) - [c24]Joseph Y. Halpern, Ron van der Meyden:
A Logical Reconstruction of SPKI. CSFW 2001: 59-70 - [c23]Kai Engelhardt, Ron van der Meyden, Yoram Moses:
A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141 - 2000
- [j8]Ron van der Meyden:
Predicate Boundedness of Linear Monadic Datalog is in PSPACE. Int. J. Found. Comput. Sci. 11(4): 591-612 (2000) - [j7]Edward P. F. Chan, Ron van der Meyden:
Containment and Optimization of Object-Preserving Conjunctive Queries. SIAM J. Comput. 29(4): 1371-1400 (2000) - [j6]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) - [c22]Kai Engelhardt, Ron van der Meyden, Yoram Moses:
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129 - [c21]Ron van der Meyden, Yoram Moses:
On Refinement and Temporal Annotations. FTRTFT 2000: 185-201 - [i2]Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. CoRR cs.CR/0001026 (2000)
1990 – 1999
- 1999
- [c20]Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122 - [c19]Ron van der Meyden, Nikolay V. Shilov:
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS 1999: 432-445 - [i1]Alessio Lomuscio, Ron van der Meyden, Mark Ryan:
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast. CoRR cs.LO/9909019 (1999) - 1998
- [j5]Ron van der Meyden:
Common Knowledge and Update in Finite Environments. Inf. Comput. 140(2): 115-157 (1998) - [c18]Ron van der Meyden, Moshe Y. Vardi:
Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49 - [c17]Ron van der Meyden:
Logical Approaches to Incomplete Information: A Survey. Logics for Databases and Information Systems 1998: 307-356 - [c16]Kai Engelhardt, Ron van der Meyden, Yoram Moses:
Knowledge and the Logic of Local Propositions. TARK 1998: 29-41 - [c15]Ron van der Meyden, Yoram Moses:
Top-Down Considerations on Distributed Computing. DISC 1998: 16-19 - 1997
- [j4]Ron van der Meyden:
The Complexity of Querying Indefinite Data about Linearly Ordered Domains. J. Comput. Syst. Sci. 54(1): 113-135 (1997) - 1996
- [j3]Ron van der Meyden:
The Dynamic Logic of Permission. J. Log. Comput. 6(3): 465-479 (1996) - [c14]Ron van der Meyden:
Finite State Implementations of Knowledge-Based Programs. FSTTCS 1996: 262-273 - [c13]Ron van der Meyden:
Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. PRICAI Workshop on Intelligent Agent Systems 1996: 135-151 - [c12]Ron van der Meyden:
Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments. TARK 1996: 31-49 - 1995
- [j2]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) - [c11]Edward P. F. Chan, Ron van der Meyden:
Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard. COCOON 1995: 81-90 - 1994
- [c10]Ron van der Meyden:
Mutual Belief Revision (Preliminary Report). KR 1994: 595-606 - [c9]Ron van der Meyden:
Axioms for Knowledge and Time in Distributed Systems with Perfect Recall. LICS 1994: 448-457 - [c8]Ron van der Meyden:
Common Knowledge and Update in Finite Enviromnents I. TARK 1994: 225-242 - 1993
- [j1]Ron van der Meyden:
Recursively Indefinite Databases. Theor. Comput. Sci. 116(1): 151-194 (1993) - [c7]L. Thorne McCarty, Ron van der Meyden:
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR 1993: 417-436 - 1992
- [c6]L. Thorne McCarty, Ron van der Meyden:
Reasoning About Indefinite Actions. KR 1992: 59-70 - [c5]Ron van der Meyden:
The Complexity of Querying Indefinite Data about Linearly Ordered Domains. PODS 1992: 331-345 - 1991
- [c4]L. Thorne McCarty, Ron van der Meyden:
Indefinite Reasoning with Definite Rules. IJCAI 1991: 890-896 - [c3]Ron van der Meyden:
A Clausal Logic for Deontic Action Specification. ISLP 1991: 221-238 - 1990
- [c2]Ron van der Meyden:
Recursively Indefinite Databases. ICDT 1990: 364-378 - [c1]Ron van der Meyden:
The Dynamic Logic of Permission. LICS 1990: 72-78