A temporal fixpoint calculus
- Moshe Y. Vardi
- 1988
- POPL 1988
Publications
Date
Featured collections
Popular topics
61 results for Moshe Vardi
The Universal-Relation Data Model for Logical Independence
- Moshe Y. Vardi
- 1988
- IEEE Software
The complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
VERIFICATION OF CONCURRENT PROGRAMS: THE AUTOMATA-THEORETIC FRAMEWORK.
- Moshe Y. Vardi
- 1986
- LICS 1986
AUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- LICS 1986
What Can Machines Know? On the Epistemic Properties of Machines
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1986
- AAAI 1986
On the expressive power of data dependencies
- Johann A. Makowsky
- Moshe Y. Vardi
- 1986
- Acta Informatica
ON THE INTEGRITY OF DATABASES WITH INCOMPLETE INFORMATION
- Moshe Y. Vardi
- 1986
- SIGMOD/PODS 1986
Notions of dependency satisfaction
- Marc H. Graham
- Alberto O. Mendelzon
- et al.
- 1986
- Journal of the ACM
Automata-theoretic techniques for modal logics of programs
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- Journal of Computer and System Sciences