Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Moshe Y. Vardi
2010 – today
- 2013
[j156]- [j155]
- [j154]
- [j153]
- [j152]
- [j151]
- [j150]Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi: Unifying Büchi Complementation Constructions. Logical Methods in Computer Science 9(1) (2013)
- [j149]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi: Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013)
- [j148]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013)
- [j147]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Falsification of LTL safety properties in hybrid systems. STTT 15(4): 305-320 (2013)
- [j146]
- [c295]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi: A Scalable and Nearly Uniform Generator of SAT Witnesses. CAV 2013: 608-623
- [c294]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi: A Scalable Approximate Model Counter. CP 2013: 200-216
- [c293]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
- [c292]Giuseppe De Giacomo, Moshe Y. Vardi: Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. IJCAI 2013
- [c291]
- [c290]Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi: Regular Real Analysis. LICS 2013: 509-518
- [c289]Pablo Barceló Baeza, Miguel Romero, Moshe Y. Vardi: Semantic acyclicity on graph databases. PODS 2013: 237-248
- [c288]
- [c287]Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi: A publication culture in software engineering (panel). ESEC/SIGSOFT FSE 2013: 19-23
- [e10]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (Eds.): Proceedings 1st International Workshop on Strategic Reasoning. EPTCS 112, 2013
- [i14]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi: A Scalable and Nearly Uniform Generator of SAT Witnesses. CoRR abs/1304.1584 (2013)
- [i13]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi: A Scalable Approximate Model Counter. CoRR abs/1306.5726 (2013)
- [i12]Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke: Profile Trees for Büchi Word Automata, with Application to Determinization. CoRR abs/1307.4471 (2013)
- [i11]Ron van der Meyden, Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications. CoRR abs/1307.6333 (2013)
- 2012
- [j145]
- [j144]
- [j143]
- [j142]
- [j141]
- [j140]
- [j139]Seth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. Logical Methods in Computer Science 8(1) (2012)
- [j138]Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur: 2010 CAV award announcement. Formal Methods in System Design 40(2): 117-120 (2012)
- [j137]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)
- [j136]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)
- [j135]Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi: Optimized temporal monitors for SystemC. Formal Methods in System Design 41(3): 236-268 (2012)
- [j134]Orna Kupferman, Amir Pnueli, Moshe Y. Vardi: Once and for all. J. Comput. Syst. Sci. 78(3): 981-996 (2012)
- [j133]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Processing under GLAV Mappings for Relational and Graph Databases. PVLDB 6(2): 61-72 (2012)
- [c286]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
- [c285]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208
- [c284]
- [c283]Kristin Yvonne Rozier, Moshe Y. Vardi: Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking. Haifa Verification Conference 2012: 243-259
- [c282]
- [i10]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012)
- [i9]Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt: Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Dagstuhl Reports 2(11): 20-44 (2012)
- 2011
- [j132]
- [j131]
- [j130]
- [j129]
- [j128]
- [j127]
- [j126]
- [j125]Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi: The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. (JAIR) 40: 657-676 (2011)
- [j124]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)
- [c281]Byron Cook, Eric Koskinen, Moshe Y. Vardi: Temporal Property Verification as a Program Analysis Task. CAV 2011: 333-348
- [c280]Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi: Dynamic Reactive Modules. CONCUR 2011: 404-418
- [c279]
- [c278]Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke: Unifying Büchi Complementation Constructions. CSL 2011: 248-263
- [c277]
- [c276]
- [c275]Kristin Y. Rozier, Moshe Y. Vardi: A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. FM 2011: 417-431
- [c274]Moshe Y. Vardi: Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk). FSTTCS 2011: 3-3
- [c273]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Simplifying schema mappings. ICDT 2011: 114-125
- [c272]Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis: Temporal Synthesis for Bounded Systems and Environments. STACS 2011: 615-626
- [c271]
- [i8]Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. CoRR abs/1109.6346 (2011)
- [i7]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011)
- [i6]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)
- 2010
- [j123]
- [j122]Moshe Y. Vardi: Revisiting the publication culture in computing research. Commun. ACM 53(3): 5 (2010)
- [j121]
- [j120]
- [j119]
- [j118]
- [j117]Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi: 2009 CAV award announcement. Formal Methods in System Design 36(3): 195-197 (2010)
- [j116]
- [j115]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)
- [c270]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Node Selection Query Languages for Trees. AAAI 2010
- [c269]
- [c268]Orna Kupferman, Nir Piterman, Moshe Y. Vardi: An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli 2010: 202-259
- [c267]Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi: Motion planning with hybrid dynamics and temporal goals. CDC 2010: 1108-1115
- [c266]
- [c265]
- [c264]Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi: Sampling-based motion planning with temporal goals. ICRA 2010: 2689-2696
- [c263]
- [c262]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386
- [c261]
- [c260]
- [c259]
- [c258]Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay: State of Büchi Complementation. CIAA 2010: 261-271
- [i5]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010)
2000 – 2009
- 2009
- [j114]
- [j113]
- [j112]
- [j111]
- [j110]
- [j109]
- [j108]Orna Kupferman, Nir Piterman, Moshe Y. Vardi: From liveness to promptness. Formal Methods in System Design 34(2): 83-103 (2009)
- [j107]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)
- [j106]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)
- [j105]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)
- [c257]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35
- [c256]
- [c255]
- [c254]
- [c253]
- [c252]
- [c251]
- [c250]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382
- [c249]
- 2008
- [j104]
- [j103]
- [j102]
- [j101]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3) (2008)
- [j100]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)
- [c248]
- [c247]
- [c246]Phokion G. Kolaitis, Moshe Y. Vardi: A Logical Approach to Constraint Satisfaction. Complexity of Constraints 2008: 125-155
- [c245]Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9
- [c244]
- [c243]Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
- [c242]Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
- [c241]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
- [c240]Roni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61
- [c239]
- [c238]
- [e9]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
- [i4]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008)
- [i3]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes. CoRR abs/0810.5728 (2008)
- 2007
- [j99]Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE is partitioned model checking. Formal Methods in System Design 31(2): 177-196 (2007)
- [j98]Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. (JAIR) 30: 101-132 (2007)
- [j97]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)
- [j96]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)
- [c237]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
- [c236]
- [c235]
- [c234]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476
- [c233]Benjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475
- [c232]Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi: An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797
- [c231]
- [c230]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
- [c229]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
- [c228]Pietro Babighian, Gila Kamhi, Moshe Y. Vardi: Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083
- [c227]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697
- [c226]
- [c225]Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi: Proving that programs eventually do something good. POPL 2007: 265-276
- [c224]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007
- [c223]
- [c222]
- [c221]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65
- [c220]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404
- [c219]
- [c218]
- 2006
- [j95]Orna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating word and tree automata. Ann. Pure Appl. Logic 138(1-3): 126-146 (2006)
- [j94]Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking*. Formal Methods in System Design 28(3): 189-212 (2006)
- [j93]Daniel N. Osherson, Moshe Y. Vardi: Aggregating disparate estimates of chance. Games and Economic Behavior 56(1): 148-173 (2006)
- [j92]Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006)
- [j91]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)
- [j90]Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006)
- [c217]
- [c216]Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
- [c215]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
- [c214]
- [c213]
- [c212]
- [c211]Michal Armoni, S. Rodger, Moshe Y. Vardi, R. Verma: Automata theory: its relevance to computer science students and course contents. SIGCSE 2006: 197-198
- [c210]William Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben: educational response to offshore outsourcing. SIGCSE 2006: 330-331
- [e8]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
- 2005
- [j89]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)
- [j88]Guoqiang Pan, Moshe Y. Vardi: Symbolic Techniques in Satisfiability Solving. J. Autom. Reasoning 35(1-3): 25-50 (2005)
- [j87]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)
- [j86]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)
- [j85]Orna Kupferman, Moshe Y. Vardi: From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005)
- [j84]Orna Kupferman, Moshe Y. Vardi: From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005)
- [c209]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
- [c208]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
- [c207]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363
- [c206]Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi: Regular Vacuity. CHARME 2005: 191-206
- [c205]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
- [c204]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
- [c203]
- [c202]Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884
- [c201]
- [c200]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
- [c199]Deian Tabakov, Moshe Y. Vardi: Experimental Evaluation of Classical Automata Constructions. LPAR 2005: 396-411
- [c198]Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi: Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503
- [c197]Orna Kupferman, Moshe Y. Vardi: Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221
- 2004
- [j83]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)
- [c196]
- [c195]Doron Bustan, Sasha Rubin, Moshe Y. Vardi: Verifying omega-Regular Properties of Markov Chains. CAV 2004: 189-201
- [c194]Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
- [c193]
- [c192]Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Propagation as a Proof System. CP 2004: 77-91
- [c191]
- [c190]Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi: Projection Pushing Revisited. EDBT 2004: 441-458
- [c189]
- [c188]Guoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers 2004: 235-250
- [c187]Doron Bustan, Orna Kupferman, Moshe Y. Vardi: A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533
- [c186]
- 2003
- [j82]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)
- [j81]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003)
- [j80]Orna Kupferman, Moshe Y. Vardi: Vacuity detection in temporal model checking. STTT 4(2): 224-233 (2003)
- [j79]Nir Piterman, Moshe Y. Vardi: From bidirectionality to alternation. Theor. Comput. Sci. 295: 295-321 (2003)
- [c185]Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PCK50 2003: 1-8
- [c184]
- [c183]Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732
- [c182]
- [c181]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
- [c180]Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110
- [c179]Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125
- [c178]
- [c177]
- [c176]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342
- [c175]
- [c174]Marco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243
- [c173]
- [c172]Nir Piterman, Moshe Y. Vardi: Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381-
- [c171]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query containment. PODS 2003: 56-67
- [c170]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Containment Using Views. SEBD 2003: 467-474
- [c169]Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80
- [c168]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
- [e7]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
- 2002
- [j78]Ken Kennedy, Moshe Y. Vardi: A Rice University perspective on software engineering licensing. Commun. ACM 45(11): 94-95 (2002)
- [j77]Moshe Y. Vardi: Model Checking: A Complexity-Theoretic Perspective (invited talk). Electr. Notes Theor. Comput. Sci. 68(4): 484 (2002)
- [j76]Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. Formal Methods in System Design 21(1): 39-78 (2002)
- [j75]David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)
- [j74]Kousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179(2): 279-295 (2002)
- [j73]Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)
- [j72]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)
- [c167]
- [c166]Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
- [c165]Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385
- [c164]Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002: 310-326
- [c163]
- [c162]Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi: Eliminating Incoherence from Subjective Estimates of Chance. KR 2002: 353-364
- [c161]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
- [c160]
- [c159]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Lossless Regular Views. PODS 2002: 247-258
- [c158]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
- [e6]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
- [i2]Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002)
- 2001
- [j71]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)
- [j70]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)
- [j69]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)
- [j68]Orna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19(3): 291-314 (2001)
- [j67]
- [j66]Yonit Kesten, Amir Pnueli, Moshe Y. Vardi: Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001)
- [j65]Orna Kupferman, Moshe Y. Vardi: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001)
- [c157]
- [c156]Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
- [c155]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
- [c154]Orna Kupferman, Nir Piterman, Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001: 519-535
- [c153]Alfonso San Miguel Aguirre, Moshe Y. Vardi: Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001: 121-136
- [c152]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
- [c151]Valerie King, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286
- [c150]
- [c149]
- [c148]
- [c147]
- [c146]Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
- [c145]Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
- 2000
- [j64]Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000)
- [j63]Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61(2): 302-332 (2000)
- [j62]Orna Kupferman, Moshe Y. Vardi: An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000)
- [c144]Phokion G. Kolaitis, Moshe Y. Vardi: A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000: 175-181
- [c143]Orna Kupferman, Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52
- [c142]Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402
- [c141]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is Query Rewriting? CIA 2000: 51-59
- [c140]Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107
- [c139]Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. CP 2000: 143-159
- [c138]
- [c137]
- [c136]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000: 389-398
- [c135]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
- [c134]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27
- [c133]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
- [c132]Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000: 84-98
- [c131]
- [c130]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
- [c129]
1990 – 1999
- 1999
- [j61]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)
- [j60]Orna Kupferman, Moshe Y. Vardi: Church's problem revisited. Bulletin of Symbolic Logic 5(2): 245-263 (1999)
- [j59]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)
- [j58]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)
- [j57]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)
- [j56]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)
- [c128]Moshe Y. Vardi: Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999: 265-276
- [c127]
- [c126]Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
- [c125]
- [c124]
- [c123]
- [c122]
- [c121]Giuseppe De Giacomo, Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238
- [c120]
- [c119]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204
- [c118]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999: 213-224
- [c117]
- [c116]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
- 1998
- [j55]Orna Kupferman, Moshe Y. Vardi: Verification of Fair Transition Systems. Chicago J. Theor. Comput. Sci. 1998 (1998)
- [j54]Moshe Y. Vardi: Computational Model Theory: An Overview. Logic Journal of the IGPL 6(4): 601-623 (1998)
- [j53]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)
- [c115]Moshe Y. Vardi: Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998: 1-17
- [c114]Ron van der Meyden, Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49
- [c113]Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178
- [c112]Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132
- [c111]
- [c110]Orna Kupferman, Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92
- [c109]
- [c108]Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213
- [c107]Orna Kupferman, Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998: 304-326
- [c106]Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi: Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377
- [c105]Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226
- [c104]Orna Kupferman, Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233
- [e5]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
- [i1]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited. CoRR cs.LO/9809003 (1998)
- 1997
- [j52]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)
- [j51]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)
- [j50]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997)
- [j49]Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci. 54(1): 61-78 (1997)
- [j48]
- [c103]Moshe Y. Vardi: Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997: 191-206
- [c102]
- [c101]
- [c100]
- [c99]David Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272
- [c98]
- [c97]
- [c96]Kousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997: 228-235
- 1996
- [j47]Moshe Y. Vardi: Rank Predicates vs. Progress Measures in Concurrent-Program Verification. Chicago J. Theor. Comput. Sci. 1996 (1996)
- [j46]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)
- [j45]
- [c95]
- [c94]
- [c93]Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529
- [c92]Moshe Y. Vardi: Why is Modal Logic So Robustly Decidable? Descriptive Complexity and Finite Models 1996: 149-184
- [c91]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
- [c90]
- [c89]Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Variable-Confined Logics. LICS 1996: 348-359
- [c88]Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PODS 1996: 79
- [c87]
- [c86]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298
- 1995
- [j44]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995)
- [j43]Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP. Inf. Comput. 120(1): 78-92 (1995)
- [j42]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)
- [j41]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)
- [j40]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. Theor. Comput. Sci. 149(1): 101-128 (1995)
- [c85]Moshe Y. Vardi: An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop 1995: 238-266
- [c84]Moshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995: 267-278
- [c83]Orna Kupferman, Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995: 408-422
- [c82]
- [c81]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163
- [c80]
- [c79]Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
- [p1]
- [e4]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
- 1994
- [j39]Moshe Y. Vardi, Pierre Wolper: Reasoning About Infinite Computations. Inf. Comput. 115(1): 1-37 (1994)
- [c78]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147
- [c77]Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155
- [c76]Surajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116
- [c75]
- [c74]
- 1993
- [j38]Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993)
- [j37]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)
- [j36]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)
- [j35]Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413 (1993)
- [c73]Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP (Extended Abstract). Structure in Complexity Theory Conference 1993: 19-30
- [c72]