Moshe Y. Vardi

Citado por

	Total	Desde 2019
Citas	61592	14664
Índice h	120	57
Índice i10	450	277

2800

1400

700

2100

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024160 194 264 352 305 462 400 551 693 661 735 859 1013 1042 1228 1365 1656 1621 1885 2022 2333 2296 2256 2231 2240 2350 2282 2522 2416 2465 2282 2446 2372 2293 2557 2728 2766 1928

Acceso público

Ver todo

89 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
Ronald FaginIBM Almaden Research CenterDirección de correo verificada de us.ibm.com
Joseph HalpernProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaDirección de correo verificada de diag.uniroma1.it
Yoram MosesTechnionDirección de correo verificada de ee.technion.ac.il
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumDirección de correo verificada de ulg.ac.be
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Dirección de correo verificada de unibz.it
Maurizio LenzeriniProfessor of Computer Science, Sapienza University of RomeDirección de correo verificada de diag.uniroma1.it
Lydia E. KavrakiRice UniversityDirección de correo verificada de rice.edu
Bernhard SteffenProfessor für Informatik, TU DortmundDirección de correo verificada de cs.uni-dortmund.de
Kuldeep S. MeelAssociate Professor, University of TorontoDirección de correo verificada de cs.toronto.edu
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIDirección de correo verificada de unina.it
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenDirección de correo verificada de gu.se
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayDirección de correo verificada de iitb.ac.in
Oscar NierstraszProfessor Emeritus of Computer Science, Software Composition Group, University of BernDirección de correo verificada de unibe.ch
Geguang PuProfessor of Computer Science, East China Normal UniversityDirección de correo verificada de sei.ecnu.edu.cn
Fabio MogaveroUniversità degli Studi di Napoli Federico IIDirección de correo verificada de fabiomogavero.com
Jeffrey UllmanProfessor of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
Erich GrädelRWTH Aachen UniversityDirección de correo verificada de logic.rwth-aachen.de
Kristin Y. RozierNASADirección de correo verificada de nasa.gov

Seguir

Moshe Y. Vardi

Rice University

Dirección de correo verificada de cs.rice.edu - Página principal

Logic and Computation


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Reasoning about knowledge R Fagin, JY Halpern, Y Moses, M Vardi MIT press, 2004	6302	2004
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper 1st Symposium in Logic in Computer Science (LICS), 1986	2400	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	2092	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	1278	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	1278	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	1239	1995
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1182	1994
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1182	1994
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency: structure versus automata, 238-266, 2005	1032	2005
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985	1010	1985
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. G De Giacomo, MY Vardi Ijcai 13, 854-860, 2013	787	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	743	1984
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	710	2001
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	710	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	705	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	705	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	699	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	699	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	629	1987
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	569	1993

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores