Moshe Y. Vardi
12 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Moshe Y. Vardi
Moshe Y. Vardi: the automata-theoretic approach to model checking (1986), reasoning about infinite computations, the effectiveness of logic in computer science, and a CACM column on 'move fast and break things'.
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM · Association for Computing Machinery
Supervisory control and reactive synthesis: a comparative introduction
Rüdiger Ehlers and others (2017) · Discrete Event Dynamic Systems · Springer Science+Business Media
Automata: from logics to algorithms
Moshe Y. Vardi and others (2008) · Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
On Bounded Specifications
Orna Kupferman and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Alternating automata: Unifying truth and validity checking for temporal logics
Moshe Y. Vardi (1997) · Lecture notes in computer science · Springer Science+Business Media
An automata-theoretic approach to linear temporal logic
Moshe Y. Vardi (1996) · Springer Berlin Heidelberg
Reasoning About Knowledge
Ronald Fagin and others (1995) · The MIT Press
Alternating automata and program verification
Moshe Y. Vardi (1995) · Lecture notes in computer science · Springer Science+Business Media
Reasoning about Infinite Computations
Moshe Y. Vardi and others (1994) · Information and Computation · Elsevier BV
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
Moshe Y. Vardi and others (1986) · Proceedings of the First Annual Symposium on Logic in Computer Science
The complexity of relational query languages
Moshe Y. Vardi (1982) · Proceedings of the 14th ACM Symposium on Theory of Computing