Подписаться
Ron van der Meyden
Ron van der Meyden
Professor, School of Computer Science and Engineering, The University of New South Wales
Подтвержден адрес электронной почты в домене cse.unsw.edu.au - Главная страница
Название
Процитировано
Процитировано
Год
MCK: Model checking the logic of knowledge
P Gammie, R Van Der Meyden
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3342004
Handbook of deontic logic and normative systems
D Gabbay, J Horty, X Parent, R Van der Meyden, L van der Torre
College Publications, 2021, 2021
2392021
The complexity of querying indefinite data about linearly ordered domains
R van der Meyden
Journal of Computer and System Sciences 54 (1), 113-135, 1997
238*1997
Complete axiomatizations for reasoning about knowledge and time
JY Halpern, R Van Der Meyden, MY Vardi
Arxiv preprint cs/0208033, 2002
2322002
Logical Approaches to Incomplete Information: A survey
R van der Meyden
Logics for databases and information systems,, 1998
2011998
Model checking knowledge and time in systems with perfect recall
R van der Meyden, NV Shilov
International Conference on Foundations of Software Technology and …, 1999
1901999
The dynamic logic of permission
R Van Der Meyden
Journal of Logic and Computation 6 (3), 465-479, 1996
178*1996
Symbolic model checking the knowledge of the dining cryptographers
R Van Der Meyden, K Su
Computer Security Foundations Workshop, 2004. Proceedings. 17th IEEE, 280-291, 2004
1642004
The varieties of permission
SO Hansson, D Gabbay, J Horty, X Parent, R van der Meyden, ...
Handbook of deontic logic and normative systems 1, 195-240, 2013
1052013
Common knowledge and update in finite environments
R van der Meyden
Information and Computation 140 (2), 1998
1011998
What, indeed, is intransitive noninterference?
R van der Meyden
Journal of Computer Security 23 (2), 197-228, 2015
96*2015
A logic for SDSI's linked local name spaces
JY Halpern, R Van Der Meyden
Journal of Computer Security 9 (1-2), 105-142, 2001
902001
Complete axiomatizations for reasoning about knowledge and branching time
R van der Meyden, K Wong
Studia Logica 75, 93-123, 2003
872003
Knowledge and the logic of local propositions
K Engelhardt, R van der Meyden, Y Moses
Proceedings of the 7th conference on Theoretical aspects of rationality and …, 1998
751998
Model checking russian cards
HP van Ditmarsch, W Van Der Hoek, R Van Der Meyden, J Ruan
Electronic Notes in Theoretical Computer Science 149 (2), 105-123, 2006
702006
A logical reconstruction of SPKI
JY Halpern, R Van der Meyden
Journal of Computer Security 11 (4), 581-613, 2003
642003
Symbolic model checking epistemic strategy logic
X Huang, R Van Der Meyden
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
612014
Algorithmic verification of noninterference properties
R van der Meyden, C Zhang
Electronic Notes in Theoretical Computer Science 168, 61-75, 2007
602007
Axioms for knowledge and time in distributed systems with perfect recall
R Van Der Meyden
Proceedings ninth annual IEEE symposium on logic in computer science, 448-457, 1994
551994
Synthesis from knowledge-based specifications
R Van Der Meyden, MY Vardi
International Conference on Concurrency Theory, 34-49, 1998
541998
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20