Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- T. Feder, Moshe Y. Vardi
- MathematicsSIAM J. Comput.
- 1 February 1999
TLDR
The complexity of relational query languages (Extended Abstract)
- Moshe Y. Vardi
- Computer ScienceSTOC '82
- 5 May 1982
TLDR
Simple on-the-fly automatic verification of linear temporal logic
- R. Gerth, D. Peled, Moshe Y. Vardi, P. Wolper
- Computer SciencePSTV
- 1 June 1995
TLDR
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
- Moshe Y. Vardi, P. Wolper
- Computer ScienceLICS
- 1986
Parametric real-time reasoning
- R. Alur, T. Henzinger, Moshe Y. Vardi
- Computer ScienceSTOC '93
- 1 June 1993
TLDR
An automata-theoretic approach to branching-time model checking
- O. Kupferman, Moshe Y. Vardi, P. Wolper
- Computer ScienceJACM
- 1 March 2000
TLDR
Reasoning about The Past with Two-Way Automata
- Moshe Y. Vardi
- Computer Science, PhilosophyICALP
- 13 July 1998
TLDR
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces
- Giuseppe De Giacomo, Moshe Y. Vardi
- Computer Science, PhilosophyIJCAI
- 3 August 2013
TLDR
Reasoning About Infinite Computations
- Moshe Y. Vardi, P. Wolper
- Computer ScienceInf. Comput.
- 15 November 1994
TLDR
An Automata-Theoretic Approach to Linear Temporal Logic
- Moshe Y. Vardi
- Computer ScienceBanff Higher Order Workshop
- 1 April 1996
TLDR
...
...