Moshe Y. Vardi

Cited by

	All	Since 2016
Citations	52778	12766
h-index	109	53
i10-index	430	259

2700

1350

675

2025

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021156 184 275 275 287 398 368 520 663 634 761 775 925 968 1123 1323 1632 1554 1823 2046 2309 2394 2353 2476 2366 2484 2437 2643 2601 2616 2393 2558 2480 2392 321

Co-authors

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Joseph HalpernProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Ronald FaginIBM Almaden Research CenterVerified email at us.ibm.com
Giuseppe De GiacomoSapienza Università di RomaVerified email at diag.uniroma1.it
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
Yoram MosesTechnionVerified email at ee.technion.ac.il
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Maurizio LenzeriniProfessor of Computer Science, Università di Roma La SapienzaVerified email at diag.uniroma1.it
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Lydia E. KavrakiRice UniversityVerified email at rice.edu
Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at na.infn.it
Nir PitermanAssociate Professor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
Jeffrey Ullman Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Oscar NierstraszProfessor of Computer Science, Software Composition Group, University of BernVerified email at inf.unibe.ch
Fabio MogaveroUniversità degli Studi di Napoli Federico IIVerified email at fabiomogavero.com
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at

Moshe Y. Vardi

Rice University

Verified email at cs.rice.edu - Homepage

Logic and Computation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reasoning about knowledge R Fagin, Y Moses, JY Halpern, MY Vardi MIT press, 2003	5386	2003
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper Proceedings of the First Symposium on Logic in Computer Science, 322-331, 1986	2136	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	1809	1982
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper International Conference on Protocol Specification, Testing and Verification …, 1995	1112	1995
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory T Feder, MY Vardi SIAM Journal on Computing 28 (1), 57-104, 1998	1106	1998
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory T Feder, MY Vardi SIAM Journal on Computing 28 (1), 57-104, 1998	1106	1998
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1050	1994
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1050	1994
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985	879	1985
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency, 238-266, 1996	850	1996
Automata-theoretic techniques for modal logics of programs MY Vardi, P Wolper Journal of Computer and System Sciences 32 (2), 183-221, 1986	673	1986
An automata-theoretic approach to branching-time model checking O Kupferman, MY Vardi, P Wolper Journal of the ACM (JACM) 47 (2), 312-360, 2000	654	2000
An automata-theoretic approach to branching-time model checking O Kupferman, MY Vardi, P Wolper Journal of the ACM (JACM) 47 (2), 312-360, 2000	654	2000
Memory-efficient algorithms for the verification of temporal properties C Courcoubetis, M Vardi, P Wolper, M Yannakakis Formal methods in system design 1 (2-3), 275-288, 1992	640	1992
Memory-efficient algorithms for the verification of temporal properties C Courcoubetis, M Vardi, P Wolper, M Yannakakis Formal methods in system design 1 (2-3), 275-288, 1992	640	1992
The complementation problem for Büchi automata with applications to temporal logic AP Sistla, MY Vardi, P Wolper Theoretical Computer Science 49 (2-3), 217-237, 1987	563	1987
Globalization and offshoring of software W Aspray, F Mayadas, MY Vardi Report of the ACM Job Migration Task Force, Association for Computing Machinery, 2006	505	2006
On the semantics of updates in databases R Fagin, JD Ullman, MY Vardi Proceedings of the 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database …, 1983	501	1983
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	500	2001
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	500	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors