Moshe Y. Vardi

Cited by

	All	Since 2019
Citations	61050	14211
h-index	120	56
i10-index	447	269

2800

1400

700

2100

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024160 194 264 352 305 462 400 551 691 662 736 859 1013 1043 1228 1363 1656 1622 1885 2021 2334 2296 2252 2228 2235 2347 2274 2512 2400 2458 2268 2440 2370 2277 2557 2697 2768 1525

Public access

View all

90 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
Yoram MosesTechnionVerified email at ee.technion.ac.il
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at unibz.it
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomeVerified email at diag.uniroma1.it
Lydia E. KavrakiRice UniversityVerified email at rice.edu
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Kuldeep S. MeelAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Oscar NierstraszProfessor Emeritus of Computer Science, Software Composition Group, University of BernVerified email at unibe.ch
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
Jeffrey UllmanProfessor of Computer Science, Stanford UniversityVerified email at stanford.edu
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Kristin Y. RozierNASAVerified email at nasa.gov

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
“IBM Almaden Pesearch Center, 650 Harry Road, San Jose, CA 95120.** Computer Science Department, Cornell University, Ithaca, NY 14853. A Aiken, D Kozen, MOS Vardi, E VVinnmers		1993
∏ 2∩ Σ 2≡ AFMC O Kupferman, MY Vardi International Colloquium on Automata, Languages, and Programming, 697-713, 2003	18	2003
<![IGNORE []] O Kupferman, MY Vardi Lecture Notes in Computer Science 2719, 697-713, 2003	2	2003
0–1 laws and decision problems for fragments of second-order logic PG Kolaitis, MY Vardi Information and Computation 87 (1-2), 302-338, 1990	144*	1990
05241 Abstracts Collection--Synthesis and Planning H Kautz, W Thomas, MY Vardi Dagstuhl Seminar Proceedings, 2006		2006
05241 Executive Summary--Synthesis and Planning H Kautz, W Thomas, MY Vardi Dagstuhl Seminar Proceedings, 2006	8	2006
07441 Abstracts Collection–Algorithmic-Logical Theory of Infinite Structures R Downey, B Khoussainov, D Kuske, M Lohrey, MY Vardi Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008		2008
07441 Summary–Algorithmic-Logical Theory of Infinite Structures R Downey, B Khoussainov, D Kuske, M Lohrey, MY Vardi Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008		2008
17 Automata-theoretic techniques for temporal reasoning MY Vardi Studies in Logic and Practical Reasoning 3, 971-989, 2007	38	2007
1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an … JY HALPERN, R HARPER, N IMMERMAN, PG KOLAITIS, MY VARDI, ...
2009 CAV award announcement RE Bryant, O Grumberg, J Sifakis, MY Vardi Formal Methods in System Design 36, 195-197, 2010	1	2010
2010 CAV award announcement O Grumberg, MY Vardi, J Sifakis, R Alur Formal Methods in System Design 40, 117-120, 2012	1	2012
2011 CAV award announcement MY Vardi, TA Henzinger, R Alur, M Kwiatkowska Formal Methods in System Design 41, 1-2, 2012		2012
2014 CAV award announcement M Kwiatkowska, MY Vardi, A Bouajjani, T Ball Formal Methods in System Design 48, 149-151, 2016		2016
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award L Libkin, M Vardi Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2017		2017
29th International Conference on Concurrency Theory (CONCUR 2018) MY Vardi, Y Deng, R van Glabbeek, A Polyakov, MH Tsai, BY Wang, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018		2018
3.19 Inhabitation problems MY Vardi Design and Synthesis from Components, 43, 0
3.23 To Boycott or Not to Boycott MY Vardi Publication Culture in Computing Research, 36, 0
4th International Workshop on Strategic Reasoning (SR 2016) AR Lomuscio, MY Vardi Information and Computation 261, 615, 2018		2018
6TH ANNUAL ACM SIGACT SIGMOD SYMPOSIUM ON THE PRINCIPLES OF DATABASE-SYSTEMS (PODS), MARCH 25-27, 1987. 1. EDITORS FOREWORD MY VARDI JOURNAL OF COMPUTER AND SYSTEM SCIENCES 41 (1), 1-1, 1990		1990

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