Moshe Y. Vardi

Citeras av

	Alla	Sedan 2016
Citat	52657	13918
h-index	110	56
i10-index	398	267

2600

1300

650

1950

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021158 188 265 281 288 404 365 525 671 633 763 808 942 1001 1118 1287 1634 1546 1779 1979 2239 2308 2243 2310 2249 2364 2249 2511 2438 2468 2243 2423 2388 2328 2063

Offentlig åtkomst

Visa alla

70 artiklar

2 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerifierad e-postadress på cs.huji.ac.il
Ronald FaginIBM Almaden Research CenterVerifierad e-postadress på us.ibm.com
Joseph HalpernProfessor of Computer Science, Cornell UniversityVerifierad e-postadress på cs.cornell.edu
Giuseppe De GiacomoSapienza Università di RomaVerifierad e-postadress på diag.uniroma1.it
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerifierad e-postadress på ulg.ac.be
Yoram MosesTechnionVerifierad e-postadress på ee.technion.ac.il
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verifierad e-postadress på inf.unibz.it
Maurizio LenzeriniProfessor of Computer Science, Università di Roma La SapienzaVerifierad e-postadress på diag.uniroma1.it
Bernhard SteffenProfessor für Informatik, TU DortmundVerifierad e-postadress på cs.uni-dortmund.de
Lydia E. KavrakiRice UniversityVerifierad e-postadress på rice.edu
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerifierad e-postadress på comp.nus.edu.sg
Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerifierad e-postadress på na.infn.it
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerifierad e-postadress på gu.se
Oscar NierstraszProfessor of Computer Science, Software Composition Group, University of BernVerifierad e-postadress på inf.unibe.ch
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerifierad e-postadress på iitb.ac.in
Jeffrey Ullman Professor of Computer Science, Stanford UniversityVerifierad e-postadress på stanford.edu
Fabio MogaveroUniversità degli Studi di Napoli Federico IIVerifierad e-postadress på fabiomogavero.com
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerifierad e-postadress på cs.biu.ac.il
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerifierad e-postadress på cs.columbia.edu
Thomas HenzingerIST AustriaVerifierad e-postadress på ist.ac.at

Moshe Y. Vardi

Rice University

Verifierad e-postadress på cs.rice.edu - Startsida

Logic and Computation


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Reasoning about knowledge R Fagin, Y Moses, JY Halpern, MY Vardi MIT press, 2003	5576	2003
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	2186	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	1877	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	1140	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	1140	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	1139	1995
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1080	1994
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1080	1994
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985	894	1985
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency, 238-266, 1996	881	1996
Automata-theoretic techniques for modal logics of programs MY Vardi, P Wolper Journal of Computer and System Sciences 32 (2), 183-221, 1986	687	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	666	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	666	2000
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	663	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	663	1992
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	588	1987
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	534	2001
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	534	2001
Globalization and offshoring of software W Aspray, F Mayadas, MY Vardi The Innovation Imperative, 2009	510	2009
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	506	1983

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ den här författaren

Citeras av

Medförfattare