AuthorProfile for Moshe Y. Vardi

Reasoning About Knowledge
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi   “Thomas V. Savage”   “Gregory White”   “Roger Davis”   “Cliff Wooton”   “Andrea Chirelli”   “James De Carli”   “Tirso A. Gonzales”   “Tom Greaves”   “Manuka Henare”   “Ogbu U. Kalu”   “Paul. Knowles”   “Jogin Thakore”   “David Gordon”   “Stuart Stanton”   “Jerry Blaivas”   “Dicato”   “Barry B. Goldberg”   “Stammerberger”   “Lyon”   “Faxon”   “Cohan”   “Kopelman”   “Serruys”   “Schmidt”   “Jones”   “Barry M. Kinzbrunner”   “Neil J. Weinreb”   “Joshi Shantaram”   “Elaine St. Johns”   “John Trestrail”   “Thomas Vallombroso”   “Steven Yun”   “Carol A. Langelier”   “Page”   “Armstrong”   “Main”   “Pietroni”   “Lindsay”   “Zaman”   “Scully”   “ALSG”   “Hatcher”   “et al”
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
  “Erich Grädel”   “Phokion G. Kolaitis”   “Leonid Libkin”   “Maarten Marx”   “Joel Spencer”   Moshe Y. Vardi   “Yde Venema”   “Scott Weinstein”   “Joshua Glenn”   “Michael O'Mara”   “Carla Rose”   “Dan Rose”   “Moe Rubenzahl”   “Konrad Schafer”   “Sherry Stinson”   “Mitch Horowitz”   “Blair MacKenzie Blake”   “Greg Taylor”   “John Higgs”   “Taber”   “Quinn”   “Cullan”   “Coleman”   “Lenke”   “Betz”   “Harms”   “Rauschring”   “Zdeblick”   “Patrick Palacci”   “Jill S. Levenson”   “John W. Morin”   “Carol A. Langelier”   “Page”   “Armstrong”   “Pietroni”   “Lindsay”   “Zaman”   “Thompson”   “Meire”   “Walker”   “Sutherland”   “Davies”
TARK Proceedings 1988
  Moshe Y. Vardi   “Edith Allgood”   “Bridgitte Mazohl-Wallnig”   “R. Wagnleitner”   “Alvin Schwartz”   “Cluny Macpherson”   “Robert Silverberg”   “James Thurber”   “James Tiptree Jr.”   “House”   “Platypus”   “Kowolik”   “Hecker”   “Van de Water”   “Albert”   “Syms”   “Woodard”   “Stanley.”   “Paul K. Tanaka”   “Dennis R. Carter”   “Joanne R. Cockshutt”   “Sue Anne Pressley”   “Lois Romano”   “Susan Schmidt”   “Peter Slevin”   “Roberto Suro”   “Walsh, Ed”   “Witt, April”   “Lyon”   “Faxon”   “Cohan”   “Kopelman”   “Harrison.”   “Serruys”   “Ramsdale”   “Erkinjuntti”   “Schmidt”   “Masquelet”   “Jones”   “BMA”   “Vincent”   “Montgomery”   “Kerr”   “Galley”   “Scully”   “ALSG”   “Hatcher”
Finite Model Theory and Its Applications
  “Weinstein, S.”   “Venema, Y.”   Vardi, M.   “Spencer, J.”   “Marx, M. J.”   “Libkin, L.”   “Kolaitis, P.”   “Grädel, E.”
In memory of Seymour Ginsburg 1928 - 2004.
  “Serge Abiteboul”   “Richard Hull”   “Victor Vianu”   “Sheila A. Greibach”   “Michael A. Harrison”   “Ellis Horowitz”   “Daniel J. Rosenkrantz”   “Jeffrey D. Ullman”   Moshe Y. Vardi
Formal Verification of Backward Compatibility of Microcode.
  “Tamarah Arons”   “Elad Elster”   “Limor Fix”   “Sela Mador-Haim”   “Michael Mishaeli”   “Jonathan Shalev”   “Eli Singerman”   “Andreas Tiemeyer”   Moshe Y. Vardi   “Lenore D. Zuck”
Dynamic Reactive Modules.
  “Jasmin Fisher”   “Thomas A. Henzinger”   “Dejan Nickovic”   “Nir Piterman”   “Anmol V. Singh”   Moshe Y. Vardi
Database Research: Lead, Follow, or Get Out of the Way? - Panel Abstract.
  “Surajit Chaudhuri”   “Ashok K. Chandra”   “Umeshwar Dayal”   “Jim Gray”   “Michael Stonebraker”   “Gio Wiederhold”   Moshe Y. Vardi
educational response to offshore outsourcing.
  “William Aspray”   “A. Frank Mayadas”   Moshe Y. Vardi   “Stuart H. Zweben”
The Planning Spectrum - One, Two, Three, Infinity
  “Pistore, M.”   Vardi, M. Y.
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.
  “Roy Armoni”   “Limor Fix”   “Alon Flaisher”   “Rob Gerth”   “Boris Ginsburg”   “Tomer Kanza”   “Avner Landver”   “Sela Mador-Haim”   “Eli Singerman”   “Andreas Tiemeyer”   Moshe Y. Vardi   “Yael Zbar”
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
  “Marcelo Glusman”   “Gila Kamhi”   “Sela Mador-Haim”   “Ranan Fraer”   Moshe Y. Vardi
Proving that programs eventually do something good.
  “Byron Cook”   “Alexey Gotsman”   “Andreas Podelski”   “Andrey Rybalchenko”   Moshe Y. Vardi
Common knowledge revisited
  “Fagin, R.”   “Halpern, J. Y.”   “Moses, Y.”   Vardi, M.
05241 Executive Summary - Synthesis and Planning.
  “Henry A. Kautz”   “Wolfgang Thomas”   Moshe Y. Vardi
Reminiscences on Influential Papers.
  “Kenneth A. Ross”   “Surajit Chaudhuri”   “Gösta Grahne”   “H. V. Jagadish”   “Jan Van den Bussche”   Moshe Y. Vardi
05241 Abstracts Collection - Synthesis and Planning.
  “Henry A. Kautz”   “Wolfgang Thomas”   Moshe Y. Vardi
Projection Pushing Revisited.
  “Benjamin J. McMahan”   “Guoqiang Pan”   “Patrick Porter”   Moshe Y. Vardi
Deeper Bound in BMC by Combining Constant Propagation and Abstraction.
  “Roy Armoni”   “Limor Fix”   “Ranan Fraer”   “Tamir Heyman”   Moshe Y. Vardi   “Yakir Vizel”   “Yael Zbar”
The 2008 CAV Award citation.
  “Randal E. Bryant”   “Orna Grumberg”   “Thomas A. Henzinger”   Moshe Y. Vardi
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures.
  “Rod Downey”   “Bakhadyr Khoussainov”   “Dietrich Kuske”   “Markus Lohrey”   Moshe Y. Vardi
Parametric real-time reasoning.
  “Rajeev Alur”   “Thomas A. Henzinger”   Moshe Y. Vardi
SAT-based Induction for Temporal Safety Properties.
  “Roy Armoni”   “Limor Fix”   “Ranan Fraer”   “Scott Huddleston”   “Nir Piterman”   Moshe Y. Vardi
Pushdown Module Checking with Imperfect Information
  “Benjamin Aminof”   “Axel Legay”   “Aniello Murano”   “Olivier Serre”   Moshe Vardi
Eliminating Incoherence from Subjective Estimates of Chance.
  “Randy Batsell”   “Lyle Brenner”   “Daniel N. Osherson”   “Spyros Tsavachidis”   Moshe Y. Vardi
Random 3-SAT: The Plot Thickens.
  “Cristian Coarfa”   “Demetrios D. Demopoulos”   “Alfonso San Miguel Aguirre”   “Devika Subramanian”   Moshe Y. Vardi
Random 3-SAT: The Plot Thickens.
  “Cristian Coarfa”   “Demetrios D. Demopoulos”   “Alfonso San Miguel Aguirre”   “Devika Subramanian”   Moshe Y. Vardi
Alternating Refinement Relations.
  “Rajeev Alur”   “Thomas A. Henzinger”   “Orna Kupferman”   Moshe Y. Vardi
Unifying Büchi Complementation Constructions.
  “Seth Fogarty”   “Orna Kupferman”   Moshe Y. Vardi   “Thomas Wilke”
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.
  “Rod Downey”   “Bakhadyr Khoussainov”   “Dietrich Kuske”   “Markus Lohrey”   Moshe Y. Vardi
Is There a Best Symbolic Cycle-Detection Algorithm?
  “Kathi Fisler”   “Ranan Fraer”   “Gila Kamhi”   Moshe Y. Vardi   “Zijiang Yang”
Benefits of Bounded Model Checking at an Industrial Setting.
  “Fady Copty”   “Limor Fix”   “Ranan Fraer”   “Enrico Giunchiglia”   “Gila Kamhi”   “Armando Tacchella”   Moshe Y. Vardi
The Hierarchical Approach to Modeling Knowledge and Common Knowledge
  “Ronald Fagin”   “John Geanakoplos”   “Joseph Y. Halpern”   Moshe Y. Vardi
The hierarchical approach to modeling knowledge and common knowledge
  “John Geanakoplos”   (**), Moshe Y. Vardi   “Joseph Y. Halpern”   “Ronald Fagin”
Treewidth in Verification: Local vs. Global.
  “Andrea Ferrara”   “Guoqiang Pan”   Moshe Y. Vardi
Logical Query Optimization by Proff-Tree Transformation.
  “Raghu Ramakrishnan”   “Yehoshua Sagiv”   “Jeffrey D. Ullman”   Moshe Y. Vardi
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)
  “David Harel”   “Roni Rosner”   Moshe Y. Vardi
A New Heuristic for Bad Cycle Detection Using BDDs.
  “R. H. Hardin”   “Robert P. Kurshan”   “Sandeep K. Shukla”   Moshe Y. Vardi
The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge.
  “Ronald Fagin”   “John Geanakoplos”   “Joseph Y. Halpern”   Moshe Y. Vardi
First-Order Logic with Two Variables and Unary Temporal Logic.
  “Kousha Etessami”   Moshe Y. Vardi   “Thomas Wilke”
First-Order Logic with Two Variables and Unary Temporal Logic.
  “Kousha Etessami”   Moshe Y. Vardi   “Thomas Wilke”
Temporal Property Verification as a Program Analysis Task.
  “Byron Cook”   “Eric Koskinen”   Moshe Y. Vardi
Interactive presentation: PowerQuest: trace driven data mining for power optimization.
  “Pietro Babighian”   “Gila Kamhi”   Moshe Y. Vardi
Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract)
  “Paris C. Kanellakis”   “Stavros S. Cosmadakis”   Moshe Y. Vardi
Automata theory: its relevance to computer science students and course contents.
  “Michal Armoni”   “S. Rodger”   Moshe Y. Vardi   “R. Verma”
Proof-Tree Transformation Theorems and Their Applications.
  “Raghu Ramakrishnan”   “Yehoshua Sagiv”   “Jeffrey D. Ullman”   Moshe Y. Vardi
Deterministic Dynamic Monitors for Linear-Time Assertions.
  “Roy Armoni”   “Dmitry Korchemny”   “Andreas Tiemeyer”   Moshe Y. Vardi   “Yael Zbar”
A simple proof that connectivity of finite graphs is not first-order definable.
  “Haim Gaifman”   Moshe Y. Vardi
Towards an Efficient Library for SAT: a Manifesto.
  “Enrico Giunchiglia”   “Massimo Narizzano”   “Armando Tacchella”   Moshe Y. Vardi
Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract).
  “Joan Feigenbaum”   “Sampath Kannan”   Moshe Y. Vardi   “Mahesh Viswanathan”
State of Büchi Complementation.
  “Ming-Hsien Tsai”   “Seth Fogarty”   Moshe Y. Vardi   “Yih-Kuen Tsay”
Automata: from logics to algorithms.
  Moshe Y. Vardi   “Thomas Wilke”
A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas.
  “Cristopher Moore”   “Gabriel Istrate”   “Demetrios D. Demopoulos”   Moshe Y. Vardi
A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas.
  “Cristopher Moore”   “Gabriel Istrate”   “Demetrios D. Demopoulos”   Moshe Y. Vardi
A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas
  “Moore, Cristopher”   “Istrate, Gabriel”   “Demopoulos, Demetrios”   Vardi, Moshe Y.
Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning.
  “Erion Plaku”   “Lydia E. Kavraki”   Moshe Y. Vardi
Open Implication.
  “Karin Greimel”   “Roderick Bloem”   “Barbara Jobstmann”   Moshe Y. Vardi
Enhanced Vacuity Detection in Linear Temporal Logic.
  “Roy Armoni”   “Limor Fix”   “Alon Flaisher”   “Orna Grumberg”   “Nir Piterman”   “Andreas Tiemeyer”   Moshe Y. Vardi
Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction.
  “Roni Wiener”   “Gila Kamhi”   Moshe Y. Vardi
A Rice University perspective on software engineering licensing.
  “Ken Kennedy”   Moshe Y. Vardi
An Analysis of Slow Convergence in Interval Propagation.
  “Lucas Bordeaux”   “Youssef Hamadi”   Moshe Y. Vardi
Armstrong Databases for Functional and Inclusion Dependencies.
  “Ronald Fagin”   Moshe Y. Vardi
On the Foundations of the Universal Relation Model.
  “David Maier”   “Jeffrey D. Ullman”   Moshe Y. Vardi
The Revenge of the JD.
  “David Maier”   “Jeffrey D. Ullman”   Moshe Y. Vardi
On the Unusual Effectiveness of Logic in Computer Science
  “Halpern, Joseph Y.”   “Harper, Robert”   “Immerman, Neil”   “Kolaitis, Phokion G.”   Vardi, Moshe Y.   “Vianu, Victor”
On the unusual effectiveness of logic in computer science.
  “Joseph Y. Halpern”   “Robert Harper”   “Neil Immerman”   “Phokion G. Kolaitis”   Moshe Y. Vardi   “Victor Vianu”
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction.
  “Roni Wiener”   “Gila Kamhi”   Moshe Y. Vardi
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory.
  “Tomás Feder”   Moshe Y. Vardi
Reasoning about Infinite Computation Paths (Extended Abstract)
  “Pierre Wolper”   Moshe Y. Vardi   “A. Prasad Sistla”
In Memoriam Paris C. Kanellakis.
  “Serge Abiteboul”   “Gabriel M. Kuper”   “Harry G. Mairson”   “Alexander A. Shvartsman”   Moshe Y. Vardi
Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning.
  “Erion Plaku”   “Lydia E. Kavraki”   Moshe Y. Vardi
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems.
  “Nir Piterman”   Moshe Y. Vardi
The Complexity of Problems on Graphs Represented as OBDDs.
  “Joan Feigenbaum”   “Sampath Kannan”   Moshe Y. Vardi   “Mahesh Viswanathan”
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.
  “Ranan Fraer”   “Gila Kamhi”   “Limor Fix”   Moshe Y. Vardi
Subcutaneous unfractionated heparin for the initial treatment of venous thromboembolism.
  Moshe Vardi   “Eran Zittan”   “Haim Bitterman”
Pushdown Module Checking with Imperfect Information.
  “Benjamin Aminof”   “Aniello Murano”   Moshe Y. Vardi
Constraint Propagation as a Proof System.
  “Albert Atserias”   “Phokion G. Kolaitis”   Moshe Y. Vardi
2009 CAV award announcement.
  “Randal E. Bryant”   “Orna Grumberg”   “Joseph Sifakis”   Moshe Y. Vardi
The Complexity of Integer Bound Propagation.
  “Lucas Bordeaux”   “George Katsirelos”   “Nina Narodytska”   Moshe Y. Vardi
Verifying omega-Regular Properties of Markov Chains.
  “Doron Bustan”   “Sasha Rubin”   Moshe Y. Vardi
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.
  “Ranan Fraer”   “Gila Kamhi”   “Barukh Ziv”   Moshe Y. Vardi   “Limor Fix”
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints.
  “Erion Plaku”   “Lydia E. Kavraki”   Moshe Y. Vardi
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics.
  “Víctor Dalmau”   “Phokion G. Kolaitis”   Moshe Y. Vardi
"Where do you come from? and where are you going?".
  Moshe Y. Vardi
On Monadic NP vs. Monadic co-NP (Extended Abstract).
  “Ronald Fagin”   “Larry J. Stockmeyer”   Moshe Y. Vardi
Verification by Augmented Abstraction: The Automata-Theoretic View.
  “Yonit Kesten”   “Amir Pnueli”   Moshe Y. Vardi
Efficient LTL compilation for SAT-based model checking.
  “Roy Armoni”   “Sergey Egorov”   “Ranan Fraer”   “Dmitry Korchemny”   Moshe Y. Vardi
Random 3-SAT and BDDs: The Plot Thickens Further.
  “Alfonso San Miguel Aguirre”   Moshe Y. Vardi
GSTE is partitioned model checking.
  “Roberto Sebastiani”   “Eli Singerman”   “Stefano Tonetta”   Moshe Y. Vardi
GSTE Is Partitioned Model Checking.
  “Roberto Sebastiani”   “Eli Singerman”   “Stefano Tonetta”   Moshe Y. Vardi
Strong Cyclic Planning Revisited.
  “Marco Daniele”   “Paolo Traverso”   Moshe Y. Vardi
Panel: logic in the computer science curriculum.
  “Kim B. Bruce”   “Phokion G. Kolaitis”   “Daniel Leivant”   Moshe Y. Vardi
In Memoriam: Paris C. Kanellakis.
  “Serge Abiteboul”   “Gabriel M. Kuper”   “Christos H. Papadimitriou”   Moshe Y. Vardi
Logic Programs as Types for Logic Programs
  “Thom W. Frühwirth”   “Ehud Y. Shapiro”   Moshe Y. Vardi   “Eyal Yardeni”
The Complexity of Set Constraints.
  “Alexander Aiken”   “Dexter Kozen”   Moshe Y. Vardi   “Edward L. Wimmers”
Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning.
  “Erion Plaku”   “Lydia E. Kavraki”   Moshe Y. Vardi
Synthesis from Knowledge-Based Specifications (Extended Abstract).
  “Ron van der Meyden”   Moshe Y. Vardi
Hybrid systems: from verification to falsification by combining motion planning and discrete search.
  “Erion Plaku”   “Lydia E. Kavraki”   Moshe Y. Vardi
Multi-Objective Model Checking of Markov Decision Processes
  “Kousha Etessami”   “Marta Z. Kwiatkowska”   Moshe Y. Vardi   “Mihalis Yannakakis”
Multi-Objective Model Checking of Markov Decision Processes.
  “Kousha Etessami”   “Marta Z. Kwiatkowska”   Moshe Y. Vardi   “Mihalis Yannakakis”
Multi-objective Model Checking of Markov Decision Processes.
  “Kousha Etessami”   “Marta Z. Kwiatkowska”   Moshe Y. Vardi   “Mihalis Yannakakis”
Multi-Objective Model Checking of Markov Decision Processes
  “Etessami, Kousha”   “Kwiatkowska, Marta”   Vardi, Moshe Y.   “Yannakakis, Mihalis”
In Memoriam: Paris C. Kanellakis.
  “Serge Abiteboul”   “Gabriel M. Kuper”   “Alexander A. Shvartsman”   Moshe Y. Vardi
Sampling-based motion planning with temporal goals.
  “Amit Bhatia”   “Lydia E. Kavraki”   Moshe Y. Vardi
Rank Predicates vs. Progress Measures in Concurrent-Program Verification.
  Moshe Y. Vardi
On Monadic NP vs. Monadic co-NP
  “Ronald Fagin”   “Larry J. Stockmeyer”   Moshe Y. Vardi
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.
  “Thomas A. Henzinger”   “Orna Kupferman”   Moshe Y. Vardi
Let us---together---make CACM exciting.
  Moshe Y. Vardi
Fixed-Parameter Hierarchies inside PSPACE.
  “Guoqiang Pan”   Moshe Y. Vardi
Property-Driven Partitioning for Abstraction Refinement.
  “Roberto Sebastiani”   “Stefano Tonetta”   Moshe Y. Vardi
Bisimulation Minimization in an Automata-Theoretic Verification Framework.
  “Kathi Fisler”   Moshe Y. Vardi
Undecidable Boundedness Problems for Datalog Programs.
  “Gerd G. Hillebrand”   “Paris C. Kanellakis”   “Harry G. Mairson”   Moshe Y. Vardi
Homomorphism Closed vs. Existential Positive.
  “Tomás Feder”   Moshe Y. Vardi
Notions of dependency satisfaction.
  “Marc H. Graham”   “Alberto O. Mendelzon”   Moshe Y. Vardi
The Only Way Is Up.
  “Jasmin Fisher”   “Nir Piterman”   Moshe Y. Vardi
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
  “Stavros S. Cosmadakis”   “Paris C. Kanellakis”   Moshe Y. Vardi
Synthesis from Probabilistic Components.
  “Yoad Lustig”   “Sumit Nain”   Moshe Y. Vardi
Fixpoint Logics, Relational Machines, and Computational Complexity.
  “Serge Abiteboul”   Moshe Y. Vardi   “Victor Vianu”
Fixpoint logics, relational machines, and computational complexity.
  “Serge Abiteboul”   Moshe Y. Vardi   “Victor Vianu”
Reasoning about Fair Concurrent Programs
  “Costas Courcoubetis”   Moshe Y. Vardi   “Pierre Wolper”
Decidable Optimization Problems for Database Logic Programs (Preliminary Report)
  “Stavros S. Cosmadakis”   “Haim Gaifman”   “Paris C. Kanellakis”   Moshe Y. Vardi
Answering Regular Path Queries Using Views.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time.
  Moshe Y. Vardi
Tools for Datalog Boundedness.
  “Gerd G. Hillebrand”   “Paris C. Kanellakis”   “Harry G. Mairson”   Moshe Y. Vardi
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
  Moshe Y. Vardi   “Pierre Wolper”
Motion planning with hybrid dynamics and temporal goals.
  “Amit Bhatia”   “Lydia E. Kavraki”   Moshe Y. Vardi
Trace Semantics is Fully Abstract.
  “Sumit Nain”   Moshe Y. Vardi
A Framework for Inherent Vacuity.
  “Dana Fisman”   “Orna Kupferman”   “Sarai Sheinvald-Faragy”   Moshe Y. Vardi
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking.
  “Roberto Sebastiani”   “Stefano Tonetta”   Moshe Y. Vardi
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.
  “Roberto Sebastiani”   “Stefano Tonetta”   Moshe Y. Vardi
Relentful Strategic Reasoning in Alternating-Time Temporal Logic.
  “Fabio Mogavero”   “Aniello Murano”   Moshe Y. Vardi
On Complementing Nondeterministic Büchi Automata.
  “Sankar Gurumurthy”   “Orna Kupferman”   “Fabio Somenzi”   Moshe Y. Vardi
Branching vs. Linear Time: Semantical Perspective.
  “Sumit Nain”   Moshe Y. Vardi
The Complexity of Enriched Mu-Calculi
  “Bonatti, Piero A.”   “Lutz, Carsten”   “Murano, Aniello”   Vardi, Moshe Y.
The Complexity of Enriched Mu-Calculi
  “Piero A. Bonatti”   “Carsten Lutz”   “Aniello Murano”   Moshe Y. Vardi
The Complexity of Enriched Mu-Calculi.
  “Piero A. Bonatti”   “Carsten Lutz”   “Aniello Murano”   Moshe Y. Vardi
On the Complexity of Verifying Concurrent Transition Systems.
  “David Harel”   “Orna Kupferman”   Moshe Y. Vardi
On the Complexity of Verifying Concurrent Transition Systems.
  “David Harel”   “Orna Kupferman”   Moshe Y. Vardi
Falsification of LTL Safety Properties in Hybrid Systems.
  “Erion Plaku”   “Lydia E. Kavraki”   Moshe Y. Vardi
View-Based Query Answering and Query Containment over Semistructured Data.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
A Practical Approach to Coverage in Model Checking.
  “Hana Chockler”   “Orna Kupferman”   “Robert P. Kurshan”   Moshe Y. Vardi
Regular Vacuity.
  “Doron Bustan”   “Alon Flaisher”   “Orna Grumberg”   “Orna Kupferman”   Moshe Y. Vardi
Safety of Datalog Queries over Infinite Databases.
  “Yehoshua Sagiv”   Moshe Y. Vardi
Model Checking and Transitive-Closure Logic.
  “Neil Immerman”   Moshe Y. Vardi
Undecidable Optimization Problems for Database Logic Programs
  “Haim Gaifman”   “Harry G. Mairson”   “Yehoshua Sagiv”   Moshe Y. Vardi
Undecidable Optimization Problems for Database Logic Programs.
  “Haim Gaifman”   “Harry G. Mairson”   “Yehoshua Sagiv”   Moshe Y. Vardi
Updating Logical Databases.
  “Ronald Fagin”   “Gabriel M. Kuper”   “Jeffrey D. Ullman”   Moshe Y. Vardi
Yet Another Process Logic (Preliminary Version).
  Moshe Y. Vardi   “Pierre Wolper”
A responce to "A complete axiomatisation for full join dependencies in relations".
  Moshe Y. Vardi
Containment of Conjunctive Regular Path Queries with Inverse.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
A Temporal Language for SystemC.
  “Deian Tabakov”   “Gila Kamhi”   Moshe Y. Vardi   “Eli Singerman”
Hybrid Systems: From Verification to Falsification.
  “Erion Plaku”   “Lydia E. Kavraki”   Moshe Y. Vardi
Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report
  Moshe Y. Vardi   “Larry J. Stockmeyer”
Query Answering Using Views for Data Integration over the Web.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Monotone monadic SNP and constraint satisfaction.
  “Tomás Feder”   Moshe Y. Vardi
Reasoning about Actions and Planning in LTL Action Theories.
  “Diego Calvanese”   “Giuseppe De Giacomo”   Moshe Y. Vardi
B\"uchi Complementation and Size-Change Termination
  “Fogarty, Seth”   Vardi, Moshe Y.
A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.
  “Doron Bustan”   “Orna Kupferman”   Moshe Y. Vardi
Experimental Evaluation of Classical Automata Constructions.
  “Deian Tabakov”   Moshe Y. Vardi
Optimizing a BDD-Based Modal Solver.
  “Guoqiang Pan”   Moshe Y. Vardi
Aggregating disparate estimates of chance
  “Osherson, Daniel”   Vardi, Moshe Y.
The Complexity of Enriched µ-Calculi.
  “Piero A. Bonatti”   “Carsten Lutz”   “Aniello Murano”   Moshe Y. Vardi
Reasoning About Strategies.
  “Fabio Mogavero”   “Aniello Murano”   Moshe Y. Vardi
Open Systems in Reactive Environments: Control and Synthesis.
  “Orna Kupferman”   “P. Madhusudan”   “P. S. Thiagarajan”   Moshe Y. Vardi
Simple on-the-fly automatic verification of linear temporal logic.
  “Rob Gerth”   “Doron Peled”   Moshe Y. Vardi   “Pierre Wolper”
"Yes, it can be done".
  Moshe Y. Vardi
Search vs. Symbolic Techniques in Satisfiability Solving.
  “Guoqiang Pan”   Moshe Y. Vardi
Search vs. Symbolic Techniques in Satisfiability Solving.
  “Guoqiang Pan”   Moshe Y. Vardi
Inferring Multivalued Dependencies From Functional and Join Dependencies.
  Moshe Y. Vardi
Synthesis from Recursive-Components Libraries
  “Lustig, Yoad”   Vardi, Moshe
Synthesis from Recursive-Components Libraries
  “Yoad Lustig”   Moshe Y. Vardi
The Planning Spectrum - One, Two, Three, Infinity.
  “Marco Pistore”   Moshe Y. Vardi
The Planning Spectrum - One, Two, Three, Infinity.
  “Marco Pistore”   Moshe Y. Vardi
The Planning Spectrum - One, Two, Three, Infinity
  “Marco Pistore”   Moshe Y. Vardi
Simplifying schema mappings.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Weak alternating automata are not that weak.
  “Orna Kupferman”   Moshe Y. Vardi
Weak Alternating Automata Are Not That Weak.
  “Orna Kupferman”   Moshe Y. Vardi
Query Containment Using Views.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract).
  “Orna Bernholtz”   Moshe Y. Vardi   “Pierre Wolper”
An Operational Semantics for Knowledge Bases.
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
View Synthesis from Schema Mappings
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
View Synthesis from Schema Mappings
  “Calvanese, Diego”   “De Giacomo, Giuseppe”   “Lenzerini, Maurizio”   Vardi, Moshe Y.
Open, closed, or clopen access?
  Moshe Y. Vardi
View-based query processing: On the relationship between rewriting, answering and losslessness.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Black Box Checking.
  “Doron Peled”   Moshe Y. Vardi   “Mihalis Yannakakis”
Black Box Checking.
  “Doron Peled”   Moshe Y. Vardi   “Mihalis Yannakakis”
View-Based Query Processing for Regular Path Queries with Inverse.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking.
  “Kristin Y. Rozier”   Moshe Y. Vardi
What is View-Based Query Rewriting?
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Büchi Complementation and Size-Change Termination
  “Seth Fogarty”   Moshe Y. Vardi
Büchi Complementation and Size-Change Termination.
  “Seth Fogarty”   Moshe Y. Vardi
An Automata-Theoretic Approach to Regular XPath.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
On the Expressive Power of the Logical Data Model (Preliminary Report).
  “Gabriel M. Kuper”   Moshe Y. Vardi
A Game-Theoretic Approach to Constraint Satisfaction.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Node Selection Query Languages for Trees.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Pi2 cap Sigma2 equiv AFMC.
  “Orna Kupferman”   Moshe Y. Vardi
An Automata-Theoretic Approach to Infinite-State Systems.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
Automata-Theoretic Approach to Planning for Temporally Extended Goals.
  “Giuseppe De Giacomo”   Moshe Y. Vardi
Resets vs. Aborts in Linear Temporal Logic.
  “Roy Armoni”   “Doron Bustan”   “Orna Kupferman”   Moshe Y. Vardi
Why is Modal Logic So Robustly Decidable?
  Moshe Y. Vardi
Monitoring temporal SystemC properties.
  “Deian Tabakov”   Moshe Y. Vardi
Büchi Complementation Made Tighter.
  “Ehud Friedgut”   “Orna Kupferman”   Moshe Y. Vardi
Büchi Complementation Made Tighter.
  “Ehud Friedgut”   “Orna Kupferman”   Moshe Y. Vardi
Lossless Regular Views.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Where have all the workshops gone?
  Moshe Y. Vardi
Computing with Infinitary Logic.
  “Serge Abiteboul”   Moshe Y. Vardi   “Victor Vianu”
Computing with Infinitary Logic.
  “Serge Abiteboul”   Moshe Y. Vardi   “Victor Vianu”
Revisiting the publication culture in computing research.
  Moshe Y. Vardi
Formal Systems for Tuple and Equality Generating Dependencies.
  “Catriel Beeri”   Moshe Y. Vardi
A Note on Decompositions of Relational Databases.
  “Catriel Beeri”   Moshe Y. Vardi
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time.
  “Orna Kupferman”   Moshe Y. Vardi
Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Common Knowledge Revisited.
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
Common Knowledge Revisited.
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
Common knowledge revisited
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
BDD-Based Decision Procedures for K.
  “Guoqiang Pan”   “Ulrike Sattler”   Moshe Y. Vardi
What is Query Rewriting?
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
What Can Machines Know? On the Epistemic Properties of Machines.
  “Ronald Fagin”   “Joseph Y. Halpern”   Moshe Y. Vardi
Improved Automata Generation for Linear Temporal Logic.
  “Marco Daniele”   “Fausto Giunchiglia”   Moshe Y. Vardi
Database Logic Programming, Deductive Databases, and Expert Database Systems.
  Moshe Y. Vardi
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).
  “A. Prasad Sistla”   Moshe Y. Vardi   “Pierre Wolper”
Automatic Verification of Probabilistic Concurrent Finite-State Programs
  Moshe Y. Vardi
A Note on the Reduction of Two-Way Automata to One-Way Automata.
  Moshe Y. Vardi
On Acyclic Database Decompositions
  “Catriel Beeri”   Moshe Y. Vardi
Synthesis from Component Libraries.
  “Yoad Lustig”   Moshe Y. Vardi
From bidirectionality to alternation.
  “Nir Piterman”   Moshe Y. Vardi
From Bidirectionality to Alternation.
  “Nir Piterman”   Moshe Y. Vardi
Decidable Containment of Recursive Queries.
  “Diego Calvanese”   “Giuseppe De Giacomo”   Moshe Y. Vardi
Decidable containment of recursive queries.
  “Diego Calvanese”   “Giuseppe De Giacomo”   Moshe Y. Vardi
The Taming of Converse: Reasoning about Two-way Computations.
  Moshe Y. Vardi
Optimization of Real Conjunctive Queries.
  “Surajit Chaudhuri”   Moshe Y. Vardi
The Implication Problem for Functional and Inclusion Dependencies is Undecidable.
  “Ashok K. Chandra”   Moshe Y. Vardi
Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report.
  “Ronald Fagin”   Moshe Y. Vardi
Conferences vs. journals in computing research.
  Moshe Y. Vardi
Memory Efficient Algorithms for the Verification of Temporal Properties.
  “Costas Courcoubetis”   Moshe Y. Vardi   “Pierre Wolper”   “Mihalis Yannakakis”
Memory-Efficient Algorithms for the Verification of Temporal Properties.
  “Costas Courcoubetis”   Moshe Y. Vardi   “Pierre Wolper”   “Mihalis Yannakakis”
Fair Equivalence Relations.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
Fair Equivalence Relations.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs.
  “Surajit Chaudhuri”   Moshe Y. Vardi
Efficient Büchi Universality Checking.
  “Seth Fogarty”   Moshe Y. Vardi
Special Selection in Logic in Computer Science
  Vardi, Moshe Y.
Special Selection in Logic in Computer Science.
  Moshe Y. Vardi
Rewriting of Regular Expressions and Regular Path Queries.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Rewriting of Regular Expressions and Regular Path Queries.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
View-Based Query Processing and Constraint Satisfaction.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Reasoning on regular path queries.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
On the Expressive Power of Data Dependencies.
  “Johann A. Makowsky”   Moshe Y. Vardi
An Automata-Theoretic Approach to Reasoning about Infinite-State Systems.
  “Orna Kupferman”   Moshe Y. Vardi
On the Expressive Power of Variable-Confined Logics.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
On the Expressive Power of Datalog: Tools and a Case Study.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
On the Expressive Power of Datalog: Tools and a Case Study.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
From Automated Verification to Automated Design.
  Moshe Y. Vardi
Science has only two legs.
  Moshe Y. Vardi
On the Equivalence of Logical Databases.
  “Gabriel M. Kuper”   “Jeffrey D. Ullman”   Moshe Y. Vardi
In Memoriam: Paris C. Kanellakis (1953-1995).
  Moshe Y. Vardi
A Proof Procedure for Data Dependencies.
  “Catriel Beeri”   Moshe Y. Vardi
View-based query containment.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
Global Model-Checking of Infinite-State Systems.
  “Nir Piterman”   Moshe Y. Vardi
What Is an Inference Rule?
  “Ronald Fagin”   “Joseph Y. Halpern”   Moshe Y. Vardi
What is an Inference Rule?
  “Fagin, Ronald”   “Halpern, Joseph Y.”   Vardi, Moshe Y.
Branching vs. Linear Time: Final Showdown.
  Moshe Y. Vardi
Complete Axiomatizations for Reasoning About Knowledge and Time
  “Joseph Y. Halpern”   “Ron van der Meyden”   Moshe Y. Vardi
Complete Axiomatizations for Reasoning about Knowledge and Time.
  “Joseph Y. Halpern”   “Ron van der Meyden”   Moshe Y. Vardi
Complete Axiomatizations for Reasoning About Knowledge and Time
  “Halpern, Joseph Y.”   “van der Meyden, Ron”   Vardi, Moshe Y.
Symbolic Techniques in Satisfiability Solving.
  “Guoqiang Pan”   Moshe Y. Vardi
On the Decision Problem for Two-Variable First-Order Logic
  “Grädel, Erich”   “Kolaitis, Phokion G.”   Vardi, Moshe Y.
On the decision problem for two-variable first-order logic.
  “Erich Grädel”   “Phokion G. Kolaitis”   Moshe Y. Vardi
Reasoning About Knowledge
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic.
  “A. Prasad Sistla”   Moshe Y. Vardi   “Pierre Wolper”
From Liveness to Promptness.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
From liveness to promptness.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
From Liveness to Promptness
  Vardi, Moshe Y.   “Piterman, Nir”   “Kupferman, Orna”
Rewriting of Regular Path Queries.
  “Diego Calvanese”   “Giuseppe De Giacomo”   “Maurizio Lenzerini”   Moshe Y. Vardi
On Locally Checkable Properties.
  “Orna Kupferman”   “Yoad Lustig”   Moshe Y. Vardi
On the Complexity and Axiomatizability of Consistent Database States.
  “Marc H. Graham”   Moshe Y. Vardi
Technology has social consequences.
  Moshe Y. Vardi
An Automata-Theoretic Approach to Protocol Verification (Abstract).
  Moshe Y. Vardi
Model Checking Buechi Specifications.
  “Deian Tabakov”   Moshe Y. Vardi
0-1 Laws for Infinitary Logics (Preliminary Report)
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Branching vs. Linear Time: Semantical Perspective.
  Moshe Y. Vardi
Algorithmic Knowledge.
  “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
Model Checking: A Complexity-Theoretic Perspective (invited talk).
  Moshe Y. Vardi
BDD-based decision procedures for the modal logic K.
  “Guoqiang Pan”   “Ulrike Sattler”   Moshe Y. Vardi
Symbolic Techniques in Propositional Satisfiability Solving.
  Moshe Y. Vardi
A Nonstandard Approach to the Logical Omniscience Problem.
  “Ronald Fagin”   “Joseph Y. Halpern”   Moshe Y. Vardi
A Nonstandard Approach to the Logical Omniscience Problem.
  “Ronald Fagin”   “Joseph Y. Halpern”   Moshe Y. Vardi
Reasoning About Infinite Computations
  Moshe Y. Vardi   “Pierre Wolper”
A Logical Approach to Constraint Satisfaction.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Are you talking to me?
  Moshe Y. Vardi
Model Checking vs. Theorem Proving: A Manifesto.
  “Joseph Y. Halpern”   Moshe Y. Vardi
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Knowledge-Based Programs.
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
Knowledge-Based Programs.
  “Ronald Fagin”   “Joseph Y. Halpern”   “Yoram Moses”   Moshe Y. Vardi
Relating word and tree automata.
  “Orna Kupferman”   “Shmuel Safra”   Moshe Y. Vardi
Relating Word and Tree Automata.
  “Orna Kupferman”   “Shmuel Safra”   Moshe Y. Vardi
On the Complexity of Queries in the Logical Data Model (Extended Abstract).
  “Gabriel M. Kuper”   Moshe Y. Vardi
Model Checking Linear Properties of Prefix-Recognizable Systems.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
Linear vs. Branching Time: A Complexity-Theoretic Perspective.
  Moshe Y. Vardi
Bisimulation Minimization and Symbolic Model Checking.
  “Kathi Fisler”   Moshe Y. Vardi
Conjunctive-Query Containment and Constraint Satisfaction.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Conjunctive-Query Containment and Constraint Satisfaction.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Formal Techniques for SystemC Verification; Position Paper.
  Moshe Y. Vardi
Safraless Compositional Synthesis.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
Endmarkers can Make a Difference.
  Moshe Y. Vardi
How are we doing?
  Moshe Y. Vardi
Reasoning about The Past with Two-Way Automata.
  Moshe Y. Vardi
Response to a Letter to the Editor.
  Moshe Y. Vardi
What Can Machines Know? On the Properties of Knowledge in Distributed Systems.
  “Ronald Fagin”   “Joseph Y. Halpern”   Moshe Y. Vardi
Coverage metrics for formal verification.
  “Hana Chockler”   “Orna Kupferman”   Moshe Y. Vardi
Coverage Metrics for Formal Verification.
  “Hana Chockler”   “Orna Kupferman”   Moshe Y. Vardi
An Automata-Theoretic Approach to Fair Realizability and Synthesis.
  Moshe Y. Vardi
The Implication and Finite Implication Problems for Typed Template Dependencies.
  Moshe Y. Vardi
The Implication and Finite Implication Problems for Typed Template Dependencies.
  Moshe Y. Vardi
The Decision Problem for the Probabilities of Higher-Order Properties
  “Phokion G. Kolaitis”   Moshe Y. Vardi
On the Equivalence of Recursive and Nonrecursive Datalog Programs.
  “Surajit Chaudhuri”   Moshe Y. Vardi
On the Equivalence of Recursive and Nonrecursive Datalog Programs.
  “Surajit Chaudhuri”   Moshe Y. Vardi
Formal Systems for Join Dependencies.
  “Catriel Beeri”   Moshe Y. Vardi
Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract)
  Moshe Y. Vardi   “Pierre Wolper”
An automata-theoretic approach to branching-time model checking.
  “Orna Kupferman”   Moshe Y. Vardi   “Pierre Wolper”
A New Approach to Database Logic.
  “Gabriel M. Kuper”   Moshe Y. Vardi
Decision Problems for Data Dependencies.
  “Catriel Beeri”   Moshe Y. Vardi
On omega-Automata and Temporal Logic (Preliminary Report)
  “Shmuel Safra”   Moshe Y. Vardi
An Internal Semantics for Modal Logic: Preliminary Report
  “Ronald Fagin”   Moshe Y. Vardi
On the Integrity of Databases with Incomplete Information.
  Moshe Y. Vardi
The Implication Problem for Data Dependencies.
  “Catriel Beeri”   Moshe Y. Vardi
Weak Alternating Automata and Tree Automata Emptiness.
  “Orna Kupferman”   Moshe Y. Vardi
From Philosophical to Industrial Logics.
  Moshe Y. Vardi
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach.
  Moshe Y. Vardi
A Note on Lossless Database Decompositions.
  Moshe Y. Vardi
An automata-theortetic approach to modular model checking.
  “Orna Kupferman”   Moshe Y. Vardi
Decidability and Undecidability Results for Boundedness of Linear Recursive Queries.
  Moshe Y. Vardi
On the Semantics of Updates in Databases.
  “Ronald Fagin”   “Jeffrey D. Ullman”   Moshe Y. Vardi
Computational Model Theory: An Overview.
  Moshe Y. Vardi
The Complexity of the Graded µ-Calculus.
  “Orna Kupferman”   “Ulrike Sattler”   Moshe Y. Vardi
LTL Satisfiability Checking.
  “Kristin Y. Rozier”   Moshe Y. Vardi
LTL satisfiability checking.
  “Kristin Y. Rozier”   Moshe Y. Vardi
On the Complexity of Queries in the Logical Data Model.
  “Gabriel M. Kuper”   Moshe Y. Vardi
The Universal-Relation Data Model for Logical Independence.
  Moshe Y. Vardi
CACM: past, present, and future.
  Moshe Y. Vardi
Linear-Time Model Checking: Automata Theory in Practice.
  Moshe Y. Vardi
Symbolic Decision Procedures for QBF.
  “Guoqiang Pan”   Moshe Y. Vardi
Pushdown Specifications.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
Constraint Satisfaction and Database Theory: a Tutorial.
  Moshe Y. Vardi
From Church and Prior to PSL.
  Moshe Y. Vardi
Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.
  Moshe Y. Vardi
Temporal Synthesis for Bounded Systems and Environments.
  “Orna Kupferman”   “Yoad Lustig”   Moshe Y. Vardi   “Mihalis Yannakakis”
Temporal Synthesis for Bounded Systems and Environments
  “Orna Kupferman”   “Yoad Lustig”   Moshe Vardi   “Mihalis Yannakakis”
On the Complexity of Parity Word Automata.
  “Valerie King”   “Orna Kupferman”   Moshe Y. Vardi
The Theory of Data Dependencies - An Overview.
  “Ronald Fagin”   Moshe Y. Vardi
The Hybrid µ-Calculus.
  “Ulrike Sattler”   Moshe Y. Vardi
The Complexity of Relational Query Languages (Extended Abstract)
  Moshe Y. Vardi
The Complexity of Ordering Subgoals.
  “Jeffrey D. Ullman”   Moshe Y. Vardi
Complementation Constructions for Nondeterministic Automata on Infinite Words.
  “Orna Kupferman”   Moshe Y. Vardi
On the Properties of Join Dependencies.
  “Catriel Beeri”   Moshe Y. Vardi
From linear time to branching time.
  “Orna Kupferman”   Moshe Y. Vardi
Is Moore's Party over?
  Moshe Y. Vardi
Infinitary Logics and 0-1 Laws
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Is the image crisis over?
  Moshe Y. Vardi
Second-Order Dependency Theory.
  Moshe Y. Vardi
A Model-Theoretic Analysis of Knowledge: Preliminary Report
  “Ronald Fagin”   “Joseph Y. Halpern”   Moshe Y. Vardi
Global Decision Problems for Relational Databases
  Moshe Y. Vardi
Automata-Theoretic Techniques for Modal Logics of Programs.
  Moshe Y. Vardi   “Pierre Wolper”
The Logical Data Model.
  “Gabriel M. Kuper”   Moshe Y. Vardi
0-1 Laws and Decision Problems for Fragments of Second-Order Logic
  “Phokion G. Kolaitis”   Moshe Y. Vardi
0-1 Laws and Decision Problems for Fragments of Second-Order Logic
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Model Checking as A Reachability Problem.
  Moshe Y. Vardi
Reasoning about Knowledge and Time in Asynchronous Systems
  “Joseph Y. Halpern”   Moshe Y. Vardi
An Automata-Theoretic Approach to Linear Temporal Logic.
  Moshe Y. Vardi
Coverage Metrics for Temporal Logic Model Checking.
  “Hana Chockler”   “Orna Kupferman”   Moshe Y. Vardi
Coverage metrics for temporal logic model checking*.
  “Hana Chockler”   “Orna Kupferman”   Moshe Y. Vardi
Extended Temporal Logic Revisited.
  “Orna Kupferman”   “Nir Piterman”   Moshe Y. Vardi
Globalization and Offshoring of Software revisited.
  Moshe Y. Vardi
More debate, please!
  Moshe Y. Vardi
Logic and Automata: A Match Made in Heaven.
  Moshe Y. Vardi
Bisimulation and Model Checking.
  “Kathi Fisler”   Moshe Y. Vardi
Vacuity Detection in Temporal Model Checking.
  “Orna Kupferman”   Moshe Y. Vardi
Vacuity detection in temporal model checking.
  “Orna Kupferman”   Moshe Y. Vardi
Verification of Concurrent Programs: The Automata-Theoretic Framework.
  Moshe Y. Vardi
Verification of Concurrent Programs: The Automata-Theoretic Framework
  Moshe Y. Vardi
On the Complexity of Branching Modular Model Checking (Extended Abstract).
  “Orna Kupferman”   Moshe Y. Vardi
Safraless Decision Procedures.
  “Orna Kupferman”   Moshe Y. Vardi
The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds.
  “Joseph Y. Halpern”   Moshe Y. Vardi
Constraints, Graphs, Algebra, Logic, and Complexity.
  Moshe Y. Vardi
Constraints, Graphs, Algebra, Logic, and Complexity.
  Moshe Y. Vardi
A Model-Theoretic Analysis of Monotonic Knowledge.
  Moshe Y. Vardi
Infinitary Logic for Computer Science.
  “Phokion G. Kolaitis”   Moshe Y. Vardi
Global Optimization Problems for Database Logic Programs.
  Moshe Y. Vardi
From complementation to certification.
  “Orna Kupferman”   Moshe Y. Vardi
From Complementation to Certification.
  “Orna Kupferman”   Moshe Y. Vardi
Church's problem revisited.
  “Orna Kupferman”   Moshe Y. Vardi
Church's Problem Revisited
  “Kupferman, Orna”   Vardi, Moshe Y.
Nontraditional Applications of Automata Theory.
  Moshe Y. Vardi
Synthesizing Distributed Systems.
  “Orna Kupferman”   Moshe Y. Vardi
Verification of Fair Transisiton Systems.
  “Orna Kupferman”   Moshe Y. Vardi
Module Checking.
  “Orna Kupferman”   Moshe Y. Vardi   “Pierre Wolper”
From Monadic Logic to PSL.
  Moshe Y. Vardi
On the Complexity of Bounded-Variable Queries.
  Moshe Y. Vardi
On Decomposition of Relational Databases
  Moshe Y. Vardi
A Model-Theoretic Analysis of Knowledge.
  “Ronald Fagin”   “Joseph Y. Halpern”   Moshe Y. Vardi
Verification of Fair Transition Systems.
  “Orna Kupferman”   Moshe Y. Vardi
Relating linear and branching model checking.
  “Orna Kupferman”   Moshe Y. Vardi
The Complexity of Reasoning about Knowledge and Time: Extended Abstract
  “Joseph Y. Halpern”   Moshe Y. Vardi
The financial meltdown and computing.
  Moshe Y. Vardi
The Weakness of Self-Complementation.
  “Orna Kupferman”   Moshe Y. Vardi
On Epistemic Logic and Logical Omniscience.
  Moshe Y. Vardi
Querying Logical Databases.
  Moshe Y. Vardi
Querying Logical Databases.
  Moshe Y. Vardi
Memoryful Branching-Time Logic.
  “Orna Kupferman”   Moshe Y. Vardi
On Bounded Specifications.
  “Orna Kupferman”   Moshe Y. Vardi
A Call to Regularity.
  Moshe Y. Vardi
The Büchi Complementation Saga.
  Moshe Y. Vardi
Implementing Knowledge-Based Programs.
  Moshe Y. Vardi
Automata-Theoretic Model Checking Revisited.
  Moshe Y. Vardi
Automata-Theoretic Model Checking Revisited.
  Moshe Y. Vardi
The Decision Problem for Database Dependencies.
  Moshe Y. Vardi
Automated Verification: Graphs, Logic, and Automata.
  Moshe Y. Vardi
Automated Verification = Graphs, Automata, and Logic.
  Moshe Y. Vardi
Automata Theory for Database Theoreticans.
  Moshe Y. Vardi
Automata Theory for Database Theoreticans.
  Moshe Y. Vardi
Synthesis of Trigger Properties.
  “Orna Kupferman”   Moshe Y. Vardi
On P, NP, and computational complexity.
  Moshe Y. Vardi
Alternating Automata and Program Verification.
  Moshe Y. Vardi
A Temporal Fixpoint Calculus.
  Moshe Y. Vardi
Model Checking of Safety Properties.
  “Orna Kupferman”   Moshe Y. Vardi
Model Checking of Safety Properties.
  “Orna Kupferman”   Moshe Y. Vardi
Unified Verification Theory.
  Moshe Y. Vardi
Robust Satisfaction.
  “Orna Kupferman”   Moshe Y. Vardi
On the Complexity of Modular Model Checking
  Moshe Y. Vardi
From Verification to Synthesis.
  Moshe Y. Vardi
On the Complexity of Epistemic Reasoning
  Moshe Y. Vardi
Modular Model Checking.
  “Orna Kupferman”   Moshe Y. Vardi
Fumbling the future.
  Moshe Y. Vardi
µ-Calculus Synthesis.
  “Orna Kupferman”   Moshe Y. Vardi
Model Checking for Database Theoreticians.
  Moshe Y. Vardi
Model Checking Revisited.
  “Orna Kupferman”   Moshe Y. Vardi
Verification of Open Systems.
  Moshe Y. Vardi
Solving the unsolvable.
  Moshe Y. Vardi
Module Checking.
  “Orna Kupferman”   Moshe Y. Vardi
Database Logic Programming.
  Moshe Y. Vardi
Computing for humans.
  Moshe Y. Vardi
Hypercriticality.
  Moshe Y. Vardi
Alternation.
  Moshe Y. Vardi
This service is maintained by James R. Griffin III, with help from Thomas Krichel