K
v
ire
.com
←
Back
Night
Docs
Library
Review
…
Author
Moshe Y. Vardi
also known as M Vardi, M Y Vardi, M. Vardi
Rice University · Dartmouth College · AT&T (United States) · Conference Board
About this author
Works
868
Cited by
39,506
h-index
91
i10
464
ORCID ↗
Top papers
Reasoning About Knowledge
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, et al.
·
1995
·
The MIT Press eBooks
↗ 2,583
An Automata-Theoretic Approach to Automatic Program Verification
Moshe Y. Vardi, Pierre Wolper
·
1986
·
Open Repository and Bibliography (University of Liège)
↗ 1,257
OA
The complexity of relational query languages (Extended Abstract)
Moshe Y. Vardi
·
1982
↗ 1,185
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
Tomás Feder, Moshe Y. Vardi
·
1998
·
SIAM Journal on Computing
↗ 1,067
Reasoning about Infinite Computations
Moshe Y. Vardi, Pierre Wolper
·
1994
·
Information and Computation
↗ 793
OA
Simple On-the-fly Automatic Verification of Linear Temporal Logic
Rob Gerth, Doron Peled, Moshe Y. Vardi, et al.
·
1996
·
IFIP advances in information and communication technology
↗ 697
OA
Automatic verification of probabilistic concurrent finite state programs
Moshe Y. Vardi
·
1985
↗ 675
An automata-theoretic approach to linear temporal logic
Moshe Y. Vardi
·
1996
·
Lecture notes in computer science
↗ 658
An automata-theoretic approach to branching-time model checking
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
·
2000
·
Journal of the ACM
↗ 615
OA
Model Checking of Safety Properties
Orna Kupferman, Moshe Y. Vardi
·
2001
·
Formal Methods in System Design
↗ 574
Automata-theoretic techniques for modal logics of programs
Moshe Y. Vardi, Pierre Wolper
·
1986
·
Journal of Computer and System Sciences
↗ 522
Linear temporal logic and linear dynamic logic on finite traces
Giuseppe De Giacomo, Moshe Y. Vardi
·
2013
·
Rice Digital Scholarship Archive (Rice University)
↗ 428
OA
Books
Logic for programming artificial intelligence and reasoning
2003
·
Springer London, Limited
TARK Proceedings 1988
1988
·
Morgan Kaufmann
Formal Techniques for Networked and Distributed Systems - FORTE 2002
2003
·
Springer London, Limited
Finite Model Theory and Its Applications
2014
·
Springer
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
2007
·
Springer