Moshe Y. Vardi

Dikutip oleh

	Semua	Sejak 2020
Kutipan	62983	13265
indeks-h	121	55
indeks-i10	453	261

2700

1350

675

2025

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025164 191 277 361 306 470 403 549 688 642 763 863 1006 1075 1222 1373 1664 1635 1899 2046 2318 2336 2267 2264 2246 2400 2321 2564 2435 2481 2294 2432 2390 2307 2534 2635 2679 2681 417

Akses publik

Lihat semua

93 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

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

Ikuti

Moshe Y. Vardi

Rice University

Email yang diverifikasi di cs.rice.edu - Beranda

Logic and Computation


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Reasoning about knowledge R Fagin, JY Halpern, Y Moses, M Vardi MIT press, 2004	6391	2004
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper 1st Symposium in Logic in Computer Science (LICS), 1986	2423	1986
The complexity of relational query languages MY Vardi Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982	2135	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	1313	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	1313	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	1261	1995
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1218	1994
Reasoning about infinite computations MY Vardi, P Wolper Information & Computation 115 (1), 1-37, 1994	1218	1994
An automata-theoretic approach to linear temporal logic MY Vardi Logics for concurrency: structure versus automata, 238-266, 2005	1046	2005
Automatic verification of probabilistic concurrent finite state programs MY Vardi 26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985	1022	1985
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. G De Giacomo, MY Vardi Ijcai 13, 854-860, 2013	863	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	753	1984
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	731	2001
Model checking of safety properties O Kupferman, MY Vardi Formal Methods in System Design 19 (3), 291-314, 2001	731	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	720	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	720	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	712	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	712	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	642	1987
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	593	1993

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama