Ron van der Meyden

Sitert av

	Alle	Siden 2020
Sitater	3820	617
h-indeks	29	11
i10-indeks	61	15

220

110

165

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 25 37 17 14 29 44 30 38 42 77 86 131 151 149 205 134 177 143 196 191 195 183 203 158 153 140 156 122 127 126 108 119 12

Offentlig tilgang

Vis alle

8 artikler

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerifisert e-postadresse på liverpool.ac.uk
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerifisert e-postadresse på uni.lu
Joseph HalpernProfessor of Computer Science, Cornell UniversityVerifisert e-postadresse på cs.cornell.edu
John HortyUniversity of MarylandVerifisert e-postadresse på umiacs.umd.edu
Chenyi ZhangOracle Labs AustraliaVerifisert e-postadresse på oracle.com
Kai Engelhardtn.a.Verifisert e-postadresse på acm.org
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerifisert e-postadresse på ext.uni.lu
Yoram MosesTechnionVerifisert e-postadresse på ee.technion.ac.il
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityVerifisert e-postadresse på ti.informatik.uni-kiel.de
Moshe Y. VardiRice UniversityVerifisert e-postadresse på cs.rice.edu
Peter GammieANUVerifisert e-postadresse på anu.edu.au
L. Thorne McCartyProfessor of Computer Science and Law, Emeritus, Rutgers UniversityVerifisert e-postadresse på cs.rutgers.edu
Nikolay ShilovInnopolis UniversityVerifisert e-postadresse på iis.nsk.su
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerifisert e-postadresse på uwa.edu.au
Tim FrenchThe University of Western AustraliaVerifisert e-postadresse på uwa.edu.au
Stephen ChongHarvard UniversityVerifisert e-postadresse på seas.harvard.edu
Kaile SuIIIS, Griffith UniversityVerifisert e-postadresse på griffith.edu.au
Hans van DitmarschCNRSVerifisert e-postadresse på irit.fr
Ji RuanAuckland University of TechnologyVerifisert e-postadresse på aut.ac.nz
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerifisert e-postadresse på liverpool.ac.uk

Følg

Ron van der Meyden

Professor, School of Computer Science and Engineering, The University of New South Wales

Verifisert e-postadresse på cse.unsw.edu.au - Startside

Logic in Computer Science Computer Security


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
MCK: Model checking the logic of knowledge P Gammie, R Van Der Meyden Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	334	2004
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	239	2021
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	232	2002
Logical Approaches to Incomplete Information: A survey R van der Meyden Logics for databases and information systems,, 1998	201	1998
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	190	1999
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	164	2004
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	105	2013
Common knowledge and update in finite environments R van der Meyden Information and Computation 140 (2), 1998	101	1998
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	90	2001
Complete axiomatizations for reasoning about knowledge and branching time R van der Meyden, K Wong Studia Logica 75, 93-123, 2003	87	2003
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	75	1998
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	70	2006
A logical reconstruction of SPKI JY Halpern, R Van der Meyden Journal of Computer Security 11 (4), 581-613, 2003	64	2003
Symbolic model checking epistemic strategy logic X Huang, R Van Der Meyden Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014	61	2014
Algorithmic verification of noninterference properties R van der Meyden, C Zhang Electronic Notes in Theoretical Computer Science 168, 61-75, 2007	60	2007
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	55	1994
Synthesis from knowledge-based specifications R Van Der Meyden, MY Vardi International Conference on Concurrency Theory, 34-49, 1998	54	1998

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere