Moshe Y. Vardi

Citée par

	Toutes	Depuis 2020
Citations	62650	13264
indice h	121	55
indice i10	451	255

2800

1400

700

2100

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025159 194 263 357 306 465 398 551 694 661 737 859 1008 1049 1231 1366 1654 1632 1884 2018 2338 2302 2254 2234 2245 2360 2283 2533 2419 2473 2285 2439 2376 2294 2574 2709 2755 2642 278

Accès public

Tout afficher

95 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityAdresse e-mail validée de cs.huji.ac.il
Ronald FaginIBM Almaden Research CenterAdresse e-mail validée de us.ibm.com
Joseph HalpernProfessor of Computer Science, Cornell UniversityAdresse e-mail validée de cs.cornell.edu
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaAdresse e-mail validée de diag.uniroma1.it
Yoram MosesTechnionAdresse e-mail validée de ee.technion.ac.il
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumAdresse e-mail validée de ulg.ac.be
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Adresse e-mail validée de unibz.it
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomeAdresse e-mail validée de diag.uniroma1.it
Lydia E. KavrakiRice UniversityAdresse e-mail validée de rice.edu
Bernhard SteffenProfessor für Informatik, TU DortmundAdresse e-mail validée de cs.uni-dortmund.de
Kuldeep S. MeelAssociate Professor, University of TorontoAdresse e-mail validée de cs.toronto.edu
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIAdresse e-mail validée de unina.it
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayAdresse e-mail validée de iitb.ac.in
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenAdresse e-mail validée de gu.se
Oscar NierstraszProfessor Emeritus, U Bern, Soul Polisher @feenk.comAdresse e-mail validée de feenk.com
Geguang PuProfessor of Computer Science, East China Normal UniversityAdresse e-mail validée de sei.ecnu.edu.cn
Fabio MogaveroUniversità degli Studi di Napoli Federico IIAdresse e-mail validée de fabiomogavero.com
Jeffrey UllmanProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de stanford.edu
Erich GrädelRWTH Aachen UniversityAdresse e-mail validée de logic.rwth-aachen.de
Kristin Y. RozierNASAAdresse e-mail validée de nasa.gov

Suivre

Moshe Y. Vardi

Rice University

Adresse e-mail validée de cs.rice.edu - Page d'accueil

Logic and Computation


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Reasoning about knowledge R Fagin, JY Halpern, Y Moses, M Vardi MIT press, 2004	6369	2004
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper 1st Symposium in Logic in Computer Science (LICS), 1986	2418	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	2119	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	1300	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	1300	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	1253	1995
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1198	1994
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1198	1994
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency: structure versus automata, 238-266, 2005	1047	2005
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985	1020	1985
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. G De Giacomo, MY Vardi Ijcai 13, 854-860, 2013	861	2013
Automata theoretic techniques for modal logics of programs MY Vardi, P Wolper Proceedings of the sixteenth annual acm symposium on theory of computing …, 1984	746	1984
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	735	2001
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	735	2001
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	712	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	712	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	705	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	705	2000
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	635	1987
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	579	1993

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs