M
Moshe Y. Vardi
Researcher at Rice University
Publications - 818
Citations - 50821
Moshe Y. Vardi is an academic researcher from Rice University. The author has contributed to research in topics: Model checking & Linear temporal logic. The author has an hindex of 99, co-authored 796 publications receiving 47959 citations. Previous affiliations of Moshe Y. Vardi include Association for Computing Machinery & Beth Israel Deaconess Medical Center.
Papers
More filters
Book
Reasoning About Knowledge
TL;DR: Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Proceedings ArticleDOI
The complexity of relational query languages (Extended Abstract)
TL;DR: The pattern which will be shown is that the expression complexity of the investigated languages is one exponential higher then their data complexity, and for both types of complexity the authors show completeness in some complexity class.
An Automata-Theoretic Approach to Automatic Program Verification
Moshe Y. Vardi,Pierre Wolper +1 more
Journal ArticleDOI
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
Tomás Feder,Moshe Y. Vardi +1 more
TL;DR: This paper isolates a class (of problems specified by) "monotone monadic SNP without inequality" which may exhibit a dichotomy, and explains the placing of all these restrictions by showing, essentially using Ladner's theorem, that classes obtained by using only two of the above three restrictions do not show this dichotomy.
Journal ArticleDOI
Reasoning about Infinite Computations
Moshe Y. Vardi,Pierre Wolper +1 more
TL;DR: This work investigates extensions of temporal logic by connectives defined by finite automata on infinite words and shows that they do not increase the expressive power of the logic or the complexity of the decision problem.