Moshe Y. Vardi

Cituota

	Visi	Nuo 2019
Šaltiniai	62118	15127
h-rodyklė	120	58
i10-rodyklė	450	278

2800

1400

700

2100

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024160 194 264 356 305 462 400 551 694 661 735 859 1013 1049 1227 1358 1656 1623 1885 2024 2333 2298 2255 2231 2241 2350 2285 2526 2420 2468 2282 2443 2379 2293 2567 2708 2730 2427

Viešas pasiekiamumas

Peržiūrėti viską

91 straipsnis

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

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

Stebėti

Moshe Y. Vardi

Rice University

Patvirtintas el. paštas cs.rice.edu - Pagrindinis puslapis

Logic and Computation


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Reasoning about knowledge R Fagin, JY Halpern, Y Moses, M Vardi MIT press, 2004	6333	2004
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper 1st Symposium in Logic in Computer Science (LICS), 1986	2417	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	2109	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	1287	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	1287	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	1249	1995
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1187	1994
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1187	1994
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency: structure versus automata, 238-266, 2005	1043	2005
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985	1014	1985
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. G De Giacomo, MY Vardi Ijcai 13, 854-860, 2013	832	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	744	1984
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	727	2001
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	727	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	708	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	708	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	702	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	702	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	633	1987
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	575	1993

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai