Moshe Y. Vardi

Cited by

	All	Since 2018
Citations	57289	13459
h-index	116	56
i10-index	424	267

2700

1350

675

2025

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023183 253 274 279 406 361 507 631 630 693 835 879 935 1207 1389 1669 1577 2041 2008 2303 2256 2230 2218 2214 2382 2312 2548 2474 2481 2280 2443 2378 2288 2536 2698 1106

Public access

View all

78 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Ronald FaginIBM Almaden Research CenterVerified email at us.ibm.com
Joseph HalpernProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Giuseppe De GiacomoUniversity of Oxford & Sapienza 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
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomeVerified email at diag.uniroma1.it
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Lydia E. KavrakiRice UniversityVerified email at rice.edu
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Oscar NierstraszProfessor Emeritus of Computer Science, Software Composition Group, University of BernVerified email at unibe.ch
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Jeffrey Ullman Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
Fabio MogaveroUniversità degli Studi di Napoli Federico IIVerified email at fabiomogavero.com
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
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, JY Halpern, Y Moses, M Vardi MIT press, 2004	6021	2004
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper 1st Symposium in Logic in Computer Science (LICS), 1986	2314	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	1978	1982
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	1220	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	1220	1998
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996	1204	1996
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1139	1994
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1139	1994
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985	969	1985
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency: structure versus automata, 238-266, 2005	963	2005
Automata theoretic techniques for modal logics of programs MY Vardi, P Wolper Proceedings of the sixteenth annual acm symposium on theory of computing …, 1984	717	1984
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	688	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	688	1992
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	686	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	686	2000
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	619	2001
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	619	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	617	1987
Linear temporal logic and linear dynamic logic on finite traces G De Giacomo, MY Vardi IJCAI'13 Proceedings of the Twenty-Third international joint conference on …, 2013	555	2013
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	527	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

Follow

Cited by

Co-authors