Moshe Y. Vardi - Google Scholar Citations

Cited by

	All	Since 2014
Citations	49041	14590
h-index	104	55
i10-index	413	274

2600

1300

650

1950

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019122 137 157 214 281 304 301 439 394 533 668 625 762 757 920 969 1107 1288 1602 1533 1787 1982 2255 2318 2463 2424 2356 2445 2410 2573 2498 2592 2345 2466 2097

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
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
Giuseppe De GiacomoSapienza Università di RomaVerified email at dis.uniroma1.it
Phokion KolaitisDistinguished Professor of Computer Science, UC Santa Cruz and Research Staff Member, IBM ResearchVerified email at cs.ucsc.edu
Yoram MosesTechnionVerified email at ee.technion.ac.il
Diego CalvaneseProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Maurizio LenzeriniProfessor of Computer Science, Università di Roma La SapienzaVerified email at dis.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
Jeffrey Ullman Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Fabio MogaveroUniversità degli Studi di Napoli Federico IIVerified email at fabiomogavero.com
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Doron A. PeledProfessor Of Computer ScienceVerified email at cs.biu.ac.il

Moshe Y. Vardi

Rice University

Verified email at cs.rice.edu - Homepage

Logic and Computation


Title	Cited by	Year
Reasoning about knowledge R Fagin, JY Halpern, Y Moses, M Vardi MIT press, 2004	5093	2004
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	2044	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	1736	1982
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1327*	1994
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	1103*	1998
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	1037	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	1012	1998
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	992	1994
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	840*	2000
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 327-338, 1985	833	1985
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency, 238-266, 1996	815	1996
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	784	1992
Automata-theoretic techniques for modal logics of programs MY Vardi, P Wolper Journal of Computer and System Sciences 32 (2), 183-221, 1986	653	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	624	2000
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	550	2001
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	540	1987
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	507	1983
Globalization and offshoring of software W Aspray, F Mayadas, MY Vardi Report of the ACM Job Migration Task Force, Association for Computing Machinery, 2006	477	2006
Conjunctive-query containment and constraint satisfaction PG Kolaitis, MY Vardi Journal of Computer and System Sciences 61 (2), 302-332, 2000	446	2000
Parametric real-time reasoning R Alur, TA Henzinger Cornell University, 1993	427	1993

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