A temporal fixpoint calculus
- Moshe Y. Vardi
- 1988
- POPL 1988
Conference paper
Publications
61 results for Moshe Vardi
The Universal-Relation Data Model for Logical Independence
- Moshe Y. Vardi
- 1988
- IEEE Software
PaperThe complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
PaperVERIFICATION OF CONCURRENT PROGRAMS: THE AUTOMATA-THEORETIC FRAMEWORK.
- Moshe Y. Vardi
- 1986
- LICS 1986
Conference paperAUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- LICS 1986
Conference paperWhat Can Machines Know? On the Epistemic Properties of Machines
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1986
- AAAI 1986
Conference paperOn the expressive power of data dependencies
- Johann A. Makowsky
- Moshe Y. Vardi
- 1986
- Acta Informatica
PaperON THE INTEGRITY OF DATABASES WITH INCOMPLETE INFORMATION
- Moshe Y. Vardi
- 1986
- SIGMOD/PODS 1986
Conference paperNotions of dependency satisfaction
- Marc H. Graham
- Alberto O. Mendelzon
- et al.
- 1986
- Journal of the ACM
PaperQuerying logical databases
- Moshe Y. Vardi
- 1986
- Journal of Computer and System Sciences
Paper