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