Concepedia

Ron van der Meyden

RV

40

Publications

1.5K

Citations

20

H-Index

1992

Active since

Affiliations

UNSW Sydney(Current)

Data61

Cornell University

Rutgers, The State University of New Jersey

University of Technology Sydney

Ron van der Meyden is an author at UNSW Sydney specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationData SecurityCryptographyInformation SecuritySystems Engineering

Publications per year

1992–2019

40

Publications

40

Complete Axiomatizations for Reasoning about Knowledge and Time

Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi · SIAM Journal on Computing · 2004 · 174 citations

Reasoning, Computational Logic, Non-classical Logic +13

The complexity of querying indefinite data about linearly ordered domains

Ron van der Meyden · 1992 · 114 citations

Computational Complexity Theory, Engineering, Information Retrieval +8

The dynamic logic of permission

Ron van der Meyden · Journal of Logic and Computation · 1996 · 108 citations

Engineering, Logical Access Control, Automated Reasoning +7

The Complexity of Querying Indefinite Data about Linearly Ordered Domains

Ron van der Meyden · Journal of Computer and System Sciences · 1997 · 91 citations

Computational Complexity Theory, Engineering, Information Retrieval +8

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

Ron van der Meyden · 1999 · 82 citations

Engineering, Formal Modeling, Model Checking Knowledge +12

Rows per page

1–5 of 40