Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Moshe Y. Vardi
Pushdown Module Checking With Imperfect Information
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Yet Another Process Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About the Past With Two-Way Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Chicago Journal of Theoretical Computer Science
From Liveness to Promptness
On the Equivalence of Recursive and Nonrecursive Datalog Programs
Globalization and Offshoring of Software
‹
1
2
3
