Moshe Y. Vardi

Moshe Y. Vardi: Who begat computing? Commun. ACM 56(1): 5 (2013)

Moshe Y. Vardi: To boycott or not to boycott. Commun. ACM 56(3): 5 (2013)

Moshe Y. Vardi: Fricative computing. Commun. ACM 56(5): 5 (2013)

Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi: Unifying Büchi Complementation Constructions. Logical Methods in Computer Science 9(1) (2013)

Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi: Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013)

Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi: Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC 2013: 353-362

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (Eds.): Proceedings 1st International Workshop on Strategic Reasoning. EPTCS 112, 2013

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi: A Scalable and Nearly Uniform Generator of SAT Witnesses. CoRR abs/1304.1584 (2013)

Moshe Y. Vardi: Artificial intelligence: past and future. Commun. ACM 55(1): 5 (2012)

Moshe Y. Vardi: What is an algorithm? Commun. ACM 55(3): 5 (2012)

Moshe Y. Vardi: Fair access. Commun. ACM 55(5): 5 (2012)

Moshe Y. Vardi: Predatory scholarly publishing. Commun. ACM 55(7): 5 (2012)

Moshe Y. Vardi: Why ACM? Commun. ACM 55(9): 5 (2012)

Moshe Y. Vardi: Will MOOCs destroy academia? Commun. ACM 55(11): 5 (2012)

Seth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. Logical Methods in Computer Science 8(1) (2012)

Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur: 2010 CAV award announcement. Formal Methods in System Design 40(2): 117-120 (2012)

Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska: 2011 CAV award announcement. Formal Methods in System Design 41(1): 1-2 (2012)

Byron Cook, Eric Koskinen, Moshe Y. Vardi: Temporal property verification as a program analysis task - Extended Version. Formal Methods in System Design 41(1): 66-82 (2012)

Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi: Optimized temporal monitors for SystemC. Formal Methods in System Design 41(3): 236-268 (2012)

Orna Kupferman, Amir Pnueli, Moshe Y. Vardi: Once and for all. J. Comput. Syst. Sci. 78(3): 981-996 (2012)

David Benque, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi: Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV 2012: 686-692

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208

Sumit Nain, Moshe Y. Vardi: Synthesizing Probabilistic Composers. FoSSaCS 2012: 421-436

Moshe Y. Vardi: Compositional Temporal Synthesis. QEST 2012: 1

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012)

Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt: Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Dagstuhl Reports 2(11): 20-44 (2012)

Moshe Y. Vardi: Where have all the workshops gone? Commun. ACM 54(1): 5 (2011)

Moshe Y. Vardi: Fumbling the future. Commun. ACM 54(3): 5 (2011)

Moshe Y. Vardi: Technology has social consequences. Commun. ACM 54(5): 5 (2011)

Moshe Y. Vardi: Solving the unsolvable. Commun. ACM 54(7): 5 (2011)

Moshe Y. Vardi: Are you talking to me? Commun. ACM 54(9): 5 (2011)

Moshe Y. Vardi: Is Moore's Party over? Commun. ACM 54(11): 5 (2011)

Moshe Y. Vardi: Computing for humans. Commun. ACM 54(12): 5 (2011)

Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi: The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. (JAIR) 40: 657-676 (2011)

Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. STTT 13(4): 319-335 (2011)

Byron Cook, Eric Koskinen, Moshe Y. Vardi: Temporal Property Verification as a Program Analysis Task. CAV 2011: 333-348

Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi: Dynamic Reactive Modules. CONCUR 2011: 404-418

Moshe Y. Vardi: Branching vs. Linear Time: Semantical Perspective. CSL 2011: 3

Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke: Unifying Büchi Complementation Constructions. CSL 2011: 248-263

Yoad Lustig, Sumit Nain, Moshe Y. Vardi: Synthesis from Probabilistic Components. CSL 2011: 412-427

Jasmin Fisher, Nir Piterman, Moshe Y. Vardi: The Only Way Is Up. FM 2011: 3-11

Kristin Y. Rozier, Moshe Y. Vardi: A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. FM 2011: 417-431

Moshe Y. Vardi: Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk). FSTTCS 2011: 3-3

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Simplifying schema mappings. ICDT 2011: 114-125

Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis: Temporal Synthesis for Bounded Systems and Environments. STACS 2011: 615-626

Yoad Lustig, Moshe Y. Vardi: Synthesis from Recursive-Components Libraries. GandALF 2011: 1-16

Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. CoRR abs/1109.6346 (2011)

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011)

Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm: Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1(1): 21-40 (2011)

Moshe Y. Vardi: More debate, please! Commun. ACM 53(1): 5 (2010)

Moshe Y. Vardi: Revisiting the publication culture in computing research. Commun. ACM 53(3): 5 (2010)

Moshe Y. Vardi: Globalization and Offshoring of Software revisited. Commun. ACM 53(5): 5 (2010)

Moshe Y. Vardi: Hypercriticality. Commun. ACM 53(7): 5 (2010)

Moshe Y. Vardi: Science has only two legs. Commun. ACM 53(9): 5 (2010)

Moshe Y. Vardi: On P, NP, and computational complexity. Commun. ACM 53(11): 5 (2010)

Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi: 2009 CAV award announcement. Formal Methods in System Design 36(3): 195-197 (2010)

Kristin Y. Rozier, Moshe Y. Vardi: LTL satisfiability checking. STTT 12(2): 123-137 (2010)

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning. IEEE Transactions on Robotics 26(3): 469-482 (2010)

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Node Selection Query Languages for Trees. AAAI 2010

Moshe Y. Vardi: From Automated Verification to Automated Design. ICAPS 2010: 271

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli 2010: 202-259

Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi: Motion planning with hybrid dynamics and temporal goals. CDC 2010: 1108-1115

Moshe Y. Vardi: Constraints, Graphs, Algebra, Logic, and Complexity. CP 2010: 8

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Reasoning About Strategies. FSTTCS 2010: 133-144

Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi: Sampling-based motion planning with temporal goals. ICRA 2010: 2689-2696

Orna Kupferman, Moshe Y. Vardi: Synthesis of Trigger Properties. LPAR (Dakar) 2010: 312-331

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386

Deian Tabakov, Moshe Y. Vardi: Monitoring temporal SystemC properties. MEMOCODE 2010: 123-132

Deian Tabakov, Moshe Y. Vardi: Optimized temporal monitors for SystemC. RV 2010: 436-451

Seth Fogarty, Moshe Y. Vardi: Efficient Büchi Universality Checking. TACAS 2010: 205-220

Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay: State of Büchi Complementation. CIAA 2010: 261-271

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010)

Moshe Y. Vardi: How are we doing? Commun. ACM 52(1): 5 (2009)

Moshe Y. Vardi: "Yes, it can be done". Commun. ACM 52(3): 5 (2009)

Moshe Y. Vardi: Conferences vs. journals in computing research. Commun. ACM 52(5): 5 (2009)

Moshe Y. Vardi: Open, closed, or clopen access? Commun. ACM 52(7): 5 (2009)

Moshe Y. Vardi: The financial meltdown and computing. Commun. ACM 52(9): 5 (2009)

Moshe Y. Vardi: Is the image crisis over? Commun. ACM 52(11): 5 (2009)

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: From liveness to promptness. Formal Methods in System Design 34(2): 83-103 (2009)

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design 34(2): 157-182 (2009)

Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi: The 2008 CAV Award citation. Formal Methods in System Design 35(1): 4-5 (2009)

Roni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. J. Low Power Electronics 5(1): 106-112 (2009)

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35

Yoad Lustig, Moshe Y. Vardi: Synthesis from Component Libraries. FOSSACS 2009: 395-409

Moshe Y. Vardi: From Philosophical to Industrial Logics. ICLA 2009: 89-115

Sumit Nain, Moshe Y. Vardi: Trace Semantics is Fully Abstract. LICS 2009: 59-68

Moshe Y. Vardi: Model Checking as A Reachability Problem. RP 2009: 35

Moshe Y. Vardi: Symbolic Techniques in Propositional Satisfiability Solving. SAT 2009: 2-3

Seth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382

Moshe Y. Vardi: Constraints, Graphs, Algebra, Logic, and Complexity. TAMC 2009: 3

Moshe Y. Vardi: CACM: past, present, and future. Commun. ACM 51(1): 44-48 (2008)

Moshe Y. Vardi: "Where do you come from? and where are you going?". Commun. ACM 51(7): 5 (2008)

Moshe Y. Vardi: Let us---together---make CACM exciting. Commun. ACM 51(10): 5 (2008)

Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3) (2008)

Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes. Logical Methods in Computer Science 4(4) (2008)

Moshe Y. Vardi, Thomas Wilke: Automata: from logics to algorithms. Logic and Automata 2008: 629-736

Moshe Y. Vardi: From Monadic Logic to PSL. Pillars of Computer Science 2008: 656-681

Phokion G. Kolaitis, Moshe Y. Vardi: A Logical Approach to Constraint Satisfaction. Complexity of Constraints 2008: 125-155

Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9

Moshe Y. Vardi: Automata-Theoretic Model Checking Revisited. Haifa Verification Conference 2008: 2

Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22

Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. ICRA 2008: 3751-3756

Roni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61

Moshe Y. Vardi: From Church and Prior to PSL. 25 Years of Model Checking 2008: 150-171

Moshe Y. Vardi: From Verification to Synthesis. VSTTE 2008: 2

Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (Eds.): Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007. Dagstuhl Seminar Proceedings 07441, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008

Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008)

Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes. CoRR abs/0810.5728 (2008)

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE is partitioned model checking. Formal Methods in System Design 31(2): 177-196 (2007)

Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. (JAIR) 30: 101-132 (2007)

Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi: A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Random Struct. Algorithms 31(2): 173-185 (2007)

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. 371(3): 169-182 (2007)

Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309

Sumit Nain, Moshe Y. Vardi: Branching vs. Linear Time: Semantical Perspective. ATVA 2007: 19-34

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: From Liveness to Promptness. CAV 2007: 406-419

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476

Benjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475

Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi: An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797

Moshe Y. Vardi: Formal Techniques for SystemC Verification; Position Paper. DAC 2007: 188-192

Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi: 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures 2007

Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi: 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures 2007

Pietro Babighian, Gila Kamhi, Moshe Y. Vardi: Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697

Deian Tabakov, Moshe Y. Vardi: Model Checking Buechi Specifications. LATA 2007: 565-576

Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi: Proving that programs eventually do something good. POPL 2007: 265-276

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007

Kristin Y. Rozier, Moshe Y. Vardi: LTL Satisfiability Checking. SPIN 2007: 149-167

Moshe Y. Vardi: The Büchi Complementation Saga. STACS 2007: 12-22

Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65

Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404

Moshe Y. Vardi: Automata-Theoretic Model Checking Revisited. VMCAI 2007: 137-150

Moshe Y. Vardi: Linear-Time Model Checking: Automata Theory in Practice. CIAA 2007: 5-10

Orna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating word and tree automata. Ann. Pure Appl. Logic 138(1-3): 126-146 (2006)

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking^*. Formal Methods in System Design 28(3): 189-212 (2006)

Daniel N. Osherson, Moshe Y. Vardi: Aggregating disparate estimates of chance. Games and Economic Behavior 56(1): 148-173 (2006)

Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006)

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-based decision procedures for the modal logic K. Journal of Applied Non-Classical Logics 16(1-2): 169-208 (2006)

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006)

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Safraless Compositional Synthesis. CAV 2006: 31-44

Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177

Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551

Guoqiang Pan, Moshe Y. Vardi: Fixed-Parameter Hierarchies inside PSPACE. LICS 2006: 27-36

Orna Kupferman, Moshe Y. Vardi: Memoryful Branching-Time Logic. LICS 2006: 265-274

Orna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316

Michal Armoni, S. Rodger, Moshe Y. Vardi, R. Verma: Automata theory: its relevance to computer science students and course contents. SIGCSE 2006: 197-198

William Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben: educational response to offshore outsourcing. SIGCSE 2006: 330-331

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi (Eds.): Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi: SAT-based Induction for Temporal Safety Properties. Electr. Notes Theor. Comput. Sci. 119(2): 3-16 (2005)

Guoqiang Pan, Moshe Y. Vardi: Symbolic Techniques in Satisfiability Solving. J. Autom. Reasoning 35(1-3): 25-50 (2005)

Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi: In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Record 34(1): 5-12 (2005)

Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)

Orna Kupferman, Moshe Y. Vardi: From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005)

Orna Kupferman, Moshe Y. Vardi: From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005)

Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi: A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. APPROX-RANDOM 2005: 414-425

Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck: Formal Verification of Backward Compatibility of Microcode. CAV 2005: 185-198

Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363

Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi: Regular Vacuity. CHARME 2005: 191-206

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005

Orna Kupferman, Moshe Y. Vardi: Safraless Decision Procedures. FOCS 2005: 531-542

Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884

Moshe Y. Vardi: Model Checking for Database Theoreticians. ICDT 2005: 1-16

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005: 321-336

Deian Tabakov, Moshe Y. Vardi: Experimental Evaluation of Classical Automata Constructions. LPAR 2005: 396-411

Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi: Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503

Orna Kupferman, Moshe Y. Vardi: Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221

Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. 33(3): 674-703 (2004)

Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. ATVA 2004: 64-78

Doron Bustan, Sasha Rubin, Moshe Y. Vardi: Verifying omega-Regular Properties of Markov Chains. CAV 2004: 189-201

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241

Nir Piterman, Moshe Y. Vardi: Global Model-Checking of Infinite-State Systems. CAV 2004: 387-400

Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Propagation as a Proof System. CP 2004: 77-91

Guoqiang Pan, Moshe Y. Vardi: Symbolic Decision Procedures for QBF. CP 2004: 453-467

Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi: Projection Pushing Revisited. EDBT 2004: 441-458

Guoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT 2004

Guoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers 2004: 235-250

Doron Bustan, Orna Kupferman, Moshe Y. Vardi: A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533

Orna Kupferman, Moshe Y. Vardi: From Complementation to Certification. TACAS 2004: 591-606

Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. Constraints 8(3): 243-261 (2003)

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003)

Orna Kupferman, Moshe Y. Vardi: Vacuity detection in temporal model checking. STTT 4(2): 224-233 (2003)

Nir Piterman, Moshe Y. Vardi: From bidirectionality to alternation. Theor. Comput. Sci. 295: 295-321 (2003)

Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PCK50 2003: 1-8

Moshe Y. Vardi: A Call to Regularity. PCK50 2003: 11

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732

Guoqiang Pan, Moshe Y. Vardi: Optimizing a BDD-Based Modal Solver. CADE 2003: 75-89

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi: Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380

Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125

Moshe Y. Vardi: Logic and Automata: A Match Made in Heaven. ICALP 2003: 64-65

Orna Kupferman, Moshe Y. Vardi: Pi₂ cap Sigma₂ equiv AFMC. ICALP 2003: 697-713

Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342

Moshe Y. Vardi: Automated Verification: Graphs, Logic, and Automata. IJCAI 2003: 1603-1606

Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243

Tomás Feder, Moshe Y. Vardi: Homomorphism Closed vs. Existential Positive. LICS 2003: 311-320

Nir Piterman, Moshe Y. Vardi: Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381-

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query containment. PODS 2003: 56-67

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Containment Using Views. SEBD 2003: 467-474

Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80

Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191

Moshe Y. Vardi, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Lecture Notes in Computer Science 2850, Springer 2003, isbn 3-540-20101-7

Ken Kennedy, Moshe Y. Vardi: A Rice University perspective on software engineering licensing. Commun. ACM 45(11): 94-95 (2002)

Moshe Y. Vardi: Model Checking: A Complexity-Theoretic Perspective (invited talk). Electr. Notes Theor. Comput. Sci. 68(4): 484 (2002)

Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. Formal Methods in System Design 21(1): 39-78 (2002)

David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179(2): 279-295 (2002)

Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64(3): 443-465 (2002)

Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002: 16-30

Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385

Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002: 310-326

Moshe Y. Vardi: Alternation. JELIA 2002: 565

Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi: Eliminating Incoherence from Subjective Estimates of Chance. KR 2002: 353-364

Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Pushdown Specifications. LPAR 2002: 262-277

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Lossless Regular Views. PODS 2002: 247-258

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: The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS 2002: 296-211

Doron Peled, Moshe Y. Vardi (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science 2529, Springer 2002, isbn 3-540-00141-7

Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002)

Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu: On the unusual effectiveness of logic in computer science. Bulletin of Symbolic Logic 7(2): 213-236 (2001)

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi: Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics 9: 290-310 (2001)

Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi: A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods in System Design 18(2): 131-140 (2001)

Orna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19(3): 291-314 (2001)

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: Module Checking. Inf. Comput. 164(2): 322-344 (2001)

Yonit Kesten, Amir Pnueli, Moshe Y. Vardi: Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001)

Orna Kupferman, Moshe Y. Vardi: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001)

Ulrike Sattler, Moshe Y. Vardi: The Hybrid µ-Calculus. IJCAR 2001: 76-91

Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78

Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi: Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001: 519-535

Alfonso San Miguel Aguirre, Moshe Y. Vardi: Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001: 121-136

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61

Valerie King, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286

Orna Kupferman, Moshe Y. Vardi: Synthesizing Distributed Systems. LICS 2001: 389-398

Orna Kupferman, Moshe Y. Vardi: On Bounded Specifications. LPAR 2001: 24-38

Nir Piterman, Moshe Y. Vardi: From Bidirectionality to Alternation. MFCS 2001: 598-610

Moshe Y. Vardi: Branching vs. Linear Time: Final Showdown. TACAS 2001: 1-22

Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000)

Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61(2): 302-332 (2000)

Orna Kupferman, Moshe Y. Vardi: An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000)

Phokion G. Kolaitis, Moshe Y. Vardi: A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000: 175-181

Orna Kupferman, Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52

Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is Query Rewriting? CIA 2000: 51-59

Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107

Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. CP 2000: 143-159

Moshe Y. Vardi: Automated Verification = Graphs, Automata, and Logic. CSL 2000: 139

Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. FSTTCS 2000: 151-163

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000: 389-398

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371

Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000: 84-98

Orna Kupferman, Moshe Y. Vardi: µ-Calculus Synthesis. MFCS 2000: 497-507

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66

Moshe Y. Vardi: Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000: 76-85

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)

Orna Kupferman, Moshe Y. Vardi: Church's problem revisited. Bulletin of Symbolic Logic 5(2): 245-263 (1999)

Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: The Complexity of Problems on Graphs Represented as OBDDs. Chicago J. Theor. Comput. Sci. 1999 (1999)

Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23(2): 11-22 (1999)

Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi: The hierarchical approach to modeling knowledge and common knowledge. Int. J. Game Theory 28(3): 331-365 (1999)

Kenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, Moshe Y. Vardi: Reminiscences on Influential Papers. SIGMOD Record 28(4): 39-41 (1999)

Moshe Y. Vardi: Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999: 265-276

Orna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. CAV 1999: 172-183

Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260

Orna Kupferman, Moshe Y. Vardi: Vacuity Detection in Temporal Model Checking. CHARME 1999: 82-96

Kathi Fisler, Moshe Y. Vardi: Bisimulation and Model Checking. CHARME 1999: 338-341

Orna Kupferman, Moshe Y. Vardi: Robust Satisfaction. CONCUR 1999: 383-398

Marco Daniele, Paolo Traverso, Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999: 35-48

Giuseppe De Giacomo, Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238

Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. FORTE 1999: 225-240

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999: 213-224

Orna Kupferman, Moshe Y. Vardi: The Weakness of Self-Complementation. STACS 1999: 455-466

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999: 73-78

Orna Kupferman, Moshe Y. Vardi: Verification of Fair Transition Systems. Chicago J. Theor. Comput. Sci. 1998 (1998)

Moshe Y. Vardi: Computational Model Theory: An Overview. Logic Journal of the IGPL 6(4): 601-623 (1998)

Tomás Feder, Moshe Y. Vardi: The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM J. Comput. 28(1): 57-104 (1998)

Moshe Y. Vardi: Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998: 1-17

Ron van der Meyden, Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178

Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132

Moshe Y. Vardi: Reasoning about The Past with Two-Way Automata. ICALP 1998: 628-641

Orna Kupferman, Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92

Moshe Y. Vardi: Linear vs. Branching Time: A Complexity-Theoretic Perspective. LICS 1998: 394-405

Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213

Orna Kupferman, Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998: 304-326

Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi: Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377

Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226

Orna Kupferman, Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233

Alan J. Hu, Moshe Y. Vardi (Eds.): Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Lecture Notes in Computer Science 1427, Springer 1998, isbn 3-540-64608-6

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited. CoRR cs.LO/9809003 (1998)

Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic 3(1): 53-69 (1997)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997)

Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci. 54(1): 61-78 (1997)

Moshe Y. Vardi: Special Selection in Logic in Computer Science. J. Symb. Log. 62(2): 608 (1997)

Moshe Y. Vardi: Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997: 191-206

Orna Kupferman, Moshe Y. Vardi: Module Checking Revisited. CAV 1997: 36-47

Neil Immerman, Moshe Y. Vardi: Model Checking and Transitive-Closure Logic. CAV 1997: 291-302

Orna Kupferman, Moshe Y. Vardi: Modular Model Checking. COMPOS 1997: 381-401

David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272

Moshe Y. Vardi: Verification of Open Systems. FSTTCS 1997: 250-266

Orna Kupferman, Moshe Y. Vardi: Weak Alternating Automata Are Not That Weak. ISTCS 1997: 147-158

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997: 228-235

Moshe Y. Vardi: Rank Predicates vs. Progress Measures in Concurrent-Program Verification. Chicago J. Theor. Comput. Sci. 1996 (1996)

Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam Paris C. Kanellakis. ACM Comput. Surv. 28(1): 3-15 (1996)

Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). Inf. Comput. 127(2): 65 (1996)

Orna Kupferman, Moshe Y. Vardi: Module Checking. CAV 1996: 75-86

Orna Kupferman, Moshe Y. Vardi: Verification of Fair Transisiton Systems. CAV 1996: 372-382

Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529

Moshe Y. Vardi: Why is Modal Logic So Robustly Decidable? Descriptive Complexity and Finite Models 1996: 149-184

Surajit Chaudhuri, Ashok K. Chandra, Umeshwar Dayal, Jim Gray, Michael Stonebraker, Gio Wiederhold, Moshe Y. Vardi: Database Research: Lead, Follow, or Get Out of the Way? - Panel Abstract. ICDE 1996: 190

Orna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating Word and Tree Automata. LICS 1996: 322-332

Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Variable-Confined Logics. LICS 1996: 348-359

Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PODS 1996: 79

Moshe Y. Vardi: Implementing Knowledge-Based Programs. TARK 1996: 15-30

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995)

Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP. Inf. Comput. 120(1): 78-92 (1995)

Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. J. Comput. Syst. Sci. 51(1): 110-134 (1995)

Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog Programs. J. Log. Program. 25(2): 163-190 (1995)

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. Theor. Comput. Sci. 149(1): 101-128 (1995)

Moshe Y. Vardi: Alternating Automata and Program Verification. Computer Science Today 1995: 471-485

Moshe Y. Vardi: An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop 1995: 238-266

Moshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995: 267-278

Orna Kupferman, Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995: 408-422

Moshe Y. Vardi: On the Complexity of Modular Model Checking. LICS 1995: 101-111

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163

Moshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276

Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18

Georg Gottlob, Moshe Y. Vardi (Eds.): Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings. Lecture Notes in Computer Science 893, Springer 1995, isbn 3-540-58907-4

Moshe Y. Vardi, Pierre Wolper: Reasoning About Infinite Computations. Inf. Comput. 115(1): 1-37 (1994)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147

Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155

Surajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116

Moshe Y. Vardi: Nontraditional Applications of Automata Theory. TACS 1994: 575-597

Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993)

Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Logical Query Optimization by Proff-Tree Transformation. J. Comput. Syst. Sci. 47(1): 222-248 (1993)

Gabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model. Theor. Comput. Sci. 116(1&2): 33-57 (1993)

Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413 (1993)