| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Moshe Y. Vardi 237 Diego Calvanese , Giuseppe De Giacomo , Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003 : 330-345 236 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 235 Roy Armoni , Doron Bustan , Orna Kupferman , Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003 : 65-80 234 Doron Peled , Moshe Y. Vardi: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Springer 2002 233 Guoqiang Pan , Ulrike Sattler , Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002 : 16-30 232 Orna Kupferman , Ulrike Sattler , Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002 : 423-437 231 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002 : 371-385 230 Víctor Dalmau , Phokion G. Kolaitis , Moshe Y. Vardi: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002 : 310-326 229 Moshe Y. Vardi: Alternation. JELIA 2002 : 565 228 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Pushdown Specifications. LPAR 2002 : 262-277 227 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Lossless Regular Views. PODS 2002 : 247-258 226 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 225 Ken Kennedy , Moshe Y. Vardi: A Rice University perspective on software engineering licensing. CACM 45 (11): 94-95 (2002) 224 Moshe Y. Vardi: Model Checking: A Complexity-Theoretic Perspective (invited talk). ENTCS 68 (4): (2002) 223 Kathi Fisler , Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. Formal Methods in System Design 21 (1): 39-78 (2002) 222 David Harel , Orna Kupferman , Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Information and Computation 173 (2): 143-161 (2002) 221 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. JCSS 64 (3): 443-465 (2002) 220 Doron Peled , Moshe Y. Vardi, Mihalis Yannakakis : Black Box Checking. Journal of Automata, Languages and Combinatorics 7 (2): 225-246 (2002) 219 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 218 Hana Chockler , Orna Kupferman , Robert P. Kurshan , Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001 : 66-78 217 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001 : 519-535 216 Alfonso San Miguel Aguirre , Moshe Y. Vardi: Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001 : 121-136 215 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001 : 40-61 214 Valerie King , Orna Kupferman , Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001 : 276-286 213 Ulrike Sattler , Moshe Y. Vardi: The Hybrid µ-Calculus. IJCAR 2001 : 76-91 212 Orna Kupferman , Moshe Y. Vardi: Synthesizing Distributed Systems. LICS 2001 211 Orna Kupferman , Moshe Y. Vardi: On Bounded Specifications. LPAR 2001 : 24-38 210 Nir Piterman , Moshe Y. Vardi: From Bidirectionality to Alternation. MFCS 2001 : 598-610 209 Moshe Y. Vardi: Branching vs. Linear Time: Final Showdown. TACAS 2001 : 1-22 208 Kathi Fisler , Ranan Fraer , Gila Kamhi , Moshe Y. Vardi, Zijiang Yang : Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001 : 420-434 207 Hana Chockler , Orna Kupferman , Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001 : 528-542 206 R. 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) 205 Orna Kupferman , Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19 (3): 291-314 (2001) 204 Orna Kupferman , Moshe Y. Vardi, Pierre Wolper : Module Checking. Information and Computation 164 (2): 322-344 (2001) 203 Yonit Kesten , Amir Pnueli , Moshe Y. Vardi: Verification by Augmented Abstraction: The Automata-Theoretic View. JCSS 62 (4): 668-690 (2001) 202 Orna Kupferman , Moshe Y. Vardi: Weak alternating automata are not that weak. TOCL 2 (3): 408-429 (2001) 201 Phokion G. Kolaitis , Moshe Y. Vardi: A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000 : 175-181 200 Orna Kupferman , Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000 : 36-52 199 Ranan Fraer , Gila Kamhi , Barukh Ziv , Moshe Y. Vardi, Limor Fix : Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000 : 389-402 198 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: What is Query Rewriting? CIA 2000 : 51-59 197 Orna Kupferman , P. Madhusudan , P. S. Thiagarajan , Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000 : 92-107 196 Cristian Coarfa , Demetrios D. Demopoulos , Alfonso San Miguel Aguirre , Devika Subramanian , Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. CP 2000 : 143-159 195 Moshe Y. Vardi: Automated Verification = Graphs, Automata, and Logic. CSL 2000 : 139 194 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Fair Equivalence Relations. FSTTCS 2000 : 151-163 193 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 192 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 191 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000 : 17-27 190 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 189 Orna Kupferman , Moshe Y. Vardi: µ-Calculus Synthesis. MFCS 2000 : 497-507 188 Phokion G. Kolaitis , Moshe Y. Vardi: 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000 : 84-98 187 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 186 Moshe Y. Vardi: Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000 : 76-85 185 Orna Kupferman , Moshe Y. Vardi, Pierre Wolper : An automata-theoretic approach to branching-time model checking. JACM 47 (2): 312-360 (2000) 184 Phokion G. Kolaitis , Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. JCSS 61 (2): 302-332 (2000) 183 Orna Kupferman , Moshe Y. Vardi: An automata-theortetic approach to modular model checking. TOPLAS 22 (1): 87-128 (2000) 182 Moshe Y. Vardi: Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999 : 265-276 181 Orna Kupferman , Moshe Y. Vardi: Model Checking of Safety Properties. CAV 1999 : 172-183 180 Marco Daniele , Fausto Giunchiglia , Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999 : 249-260 179 Kathi Fisler , Moshe Y. Vardi: Bisimulation and Model Checking. CHARME 1999 : 338-341 178 Orna Kupferman , Moshe Y. Vardi: Vacuity Detection in Temporal Model Checking. CHARME 1999 : 82-96 177 Orna Kupferman , Moshe Y. Vardi: Robust Satisfaction. CONCUR 1999 : 383-398 176 Giuseppe De Giacomo , Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999 : 226-238 175 Marco Daniele , Paolo Traverso , Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999 : 35-48 174 Doron Peled , Moshe Y. Vardi, Mihalis Yannakakis : Black Box Checking. FORTE 1999 : 225-240 173 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 172 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999 : 213-224 171 Orna Kupferman , Moshe Y. Vardi: The Weakness of Self-Complementation. STACS 1999 : 455-466 170 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 169 Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Common Knowledge Revisited. Annals of Pure and Applied Logic 96 (1-3): 89-105 (1999) 168 Ranan Fraer , Gila Kamhi , Limor Fix , Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. ENTCS 23 (2): (1999) 167 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) 166 Alan J. Hu , Moshe Y. Vardi: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Springer 1998 165 Moshe Y. Vardi: Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998 : 1-17 164 Rajeev Alur , Thomas A. Henzinger , Orna Kupferman , Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998 : 163-178 163 Ron van der Meyden , Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998 : 34-49 162 Kathi Fisler , Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998 : 115-132 161 Moshe Y. Vardi: Reasoning about The Past with Two-Way Automata. ICALP 1998 : 628-641 160 Moshe Y. Vardi: Linear vs. Branching Time: A Complexity-Theoretic Perspective. LICS 1998 : 394-405 159 Orna Kupferman , Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998 : 81-92 158 Phokion G. Kolaitis , Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998 : 205-213 157 Orna Kupferman , Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998 : 304-326 156 Joan Feigenbaum , Sampath Kannan , Moshe Y. Vardi, Mahesh Viswanathan : Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998 : 216-226 155 Orna Kupferman , Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998 : 224-233 154 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) 153 Moshe Y. Vardi: Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997 : 191-206 152 Neil Immerman , Moshe Y. Vardi: Model Checking and Transitive-Closure Logic. CAV 1997 : 291-302 151 Orna Kupferman , Moshe Y. Vardi: Model Checking Revisited. CAV 1997 : 36-47 150 Orna Kupferman , Moshe Y. Vardi: Modular Model Checking. COMPOS 1997 : 381-401 149 David Harel , Orna Kupferman , Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997 : 258-272 148 Moshe Y. Vardi: Verification of Open Systems. FSTTCS 1997 : 250-266 147 Orna Kupferman , Moshe Y. Vardi: Weak Alternating Automata Are Not That Weak. ISTCS 1997 : 147-158 146 Kousha Etessami , Moshe Y. Vardi, Thomas Wilke : First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997 : 228-235 145 Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10 (4): 199-225 (1997) 144 Serge Abiteboul , Moshe Y. Vardi, Victor Vianu : Fixpoint logics, relational machines, and computational complexity. JACM 44 (1): 30-56 (1997) 143 Surajit Chaudhuri , Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. JCSS 54 (1): 61-78 (1997) 142 Moshe Y. Vardi: Special Selection in Logic in Computer Science. The Journal of Symbolic Logic 62 (2): 608 (1997) 141 Orna Kupferman , Moshe Y. Vardi: Verification of Fair Transisiton Systems. CAV 1996 : 372-382 140 Orna Kupferman , Moshe Y. Vardi: Module Checking. CAV 1996 : 75-86 139 Thomas A. Henzinger , Orna Kupferman , Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996 : 514-529 138 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 137 Orna Kupferman , Shmuel Safra , Moshe Y. Vardi: Relating Word and Tree Automata. LICS 1996 : 322-332 136 Phokion G. Kolaitis , Moshe Y. Vardi: On the Expressive Power of Variable-Confined Logics. LICS 1996 : 348-359 135 Serge Abiteboul , Gabriel M. Kuper , Christos H. Papadimitriou , Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PODS 1996 : 79 134 Moshe Y. Vardi: Implementing Knowledge-Based Programs. TARK 1996 : 15-30 133 Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996 : 283-298 132 Serge Abiteboul , Gabriel M. Kuper , Harry G. Mairson , Alexander A. Shvartsman , Moshe Y. Vardi: In Memoriam Paris C. Kanellakis. ACM Computing Surveys 28 (1): 3-15 (1996) 131 Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). Information and Computation 127 (2): 65 (1996) 130 Georg Gottlob , Moshe Y. Vardi: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings. Springer 1995 129 Moshe Y. Vardi: An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop 1995 : 238-266 128 Moshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995 : 267-278 127 Orna Kupferman , Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995 : 408-422 126 Moshe Y. Vardi: Alternating Automata and Program Verification. Computer Science Today 1995 : 471-485 125 Moshe Y. Vardi: On the Complexity of Modular Model Checking. LICS 1995 : 101-111 124 Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995 : 153-163 123 Moshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995 : 266-276 122 Rob Gerth , Doron Peled , Moshe Y. Vardi, Pierre Wolper : Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995 : 3-18 121 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artificial Intelligence 79 (2): 203-240 (1995) 120 Ronald Fagin , Larry J. Stockmeyer , Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP. Information and Computation 120 (1): 78-92 (1995) 119 Phokion G. Kolaitis , Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. JCSS 51 (1): 110-134 (1995) 118 Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog Programs. JLP 25 (2): 163-190 (1995) 117 Serge Abiteboul , Moshe Y. Vardi, Victor Vianu : Computing with Infinitary Logic. TCS 149 (1): 101-128 (1995) 116 Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994 : 1142-1147 115 Orna Bernholtz , Moshe Y. Vardi, Pierre Wolper : An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994 : 142-155 114 Surajit Chaudhuri , Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994 : 107-116 113 Moshe Y. Vardi: Nontraditional Applications of Automata Theory. TACS 1994 : 575-597 112 Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994 : 255-266 111 Moshe Y. Vardi, Pierre Wolper : Reasoning About Infinite Computations. Information and Computation 115 (1): 1-37 (1994) 110 Alexander Aiken , Dexter Kozen , Moshe Y. Vardi, Edward L. Wimmers : The Complexity of Set Constraints. CSL 1993 : 1-17 109 Surajit Chaudhuri , Moshe Y. Vardi: Optimization of Real Conjunctive Queries. PODS 1993 : 59-70 108 Rajeev Alur , Thomas A. Henzinger , Moshe Y. Vardi: Parametric real-time reasoning. STOC 1993 : 592-601 107 Tomás Feder , Moshe Y. Vardi: Monotone monadic SNP and constraint satisfaction. STOC 1993 : 612-622 106 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 105 Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. JACM 40 (3): 683-713 (1993) 104 Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi: Logical Query Optimization by Proff-Tree Transformation. JCSS 47 (1): 222-248 (1993) 103 Gabriel M. Kuper , Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model. TCS 116 (1&2): 33-57 (1993) 102 Gabriel M. Kuper , Moshe Y. Vardi: The Logical Data Model. TODS 18 (3): 379-413 (1993) 101 Phokion G. Kolaitis , Moshe Y. Vardi: Infinitary Logic for Computer Science. ICALP 1992 : 450-473 100 Serge Abiteboul , Moshe Y. Vardi, Victor Vianu : Computing with Infinitary Logic. ICDT 1992 : 113-123 99 Phokion G. Kolaitis , Moshe Y. Vardi: Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory. LICS 1992 : 46-57 98 Surajit Chaudhuri , Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992 : 55-66 97 Serge Abiteboul , Moshe Y. Vardi, Victor Vianu : Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992 : 156-168 96 Ronald Fagin , John Geanakoplos , Joseph Y. Halpern , Moshe Y. Vardi: The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK 1992 : 229-244 95 Moshe Y. Vardi: Automata Theory for Database Theoreticans. Theoretical Studies in Computer Science 1992 : 153-180 94 Constantin Courcoubetis , Moshe Y. Vardi, Pierre Wolper , Mihalis Yannakakis : Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1 (2/3): 275-288 (1992) 93 Phokion G. Kolaitis , Moshe Y. Vardi: Infinitary Logics and 0-1 Laws. Information and Computation 98 (2): 258-294 (1992) 92 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: What Can Machines Know? On the Properties of Knowledge in Distributed Systems. JACM 39 (2): 328-376 (1992) 91 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: What Is an Inference Rule? The Journal of Symbolic Logic 57 (3): 1018-1045 (1992) 90 Joseph Y. Halpern , Moshe Y. Vardi: Model Checking vs. Theorem Proving: A Manifesto. KR 1991 : 325-334 89 Thom W. Frühwirth , Ehud Y. Shapiro , Moshe Y. Vardi, Eyal Yardeni : Logic Programs as Types for Logic Programs. LICS 1991 : 300-309 88 Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi: Tools for Datalog Boundedness. PODS 1991 : 1-12 87 Moshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic Framework. Annals of Pure and Applied Logic 51 (1-2): 79-98 (1991) 86 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. JACM 38 (2): 382-428 (1991) 85 Moshe Y. Vardi: Database Logic Programming. JLP 10 (1/2/3&4): 179-180 (1991) 84 Costas Courcoubetis , Moshe Y. Vardi, Pierre Wolper , Mihalis Yannakakis : Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990 : 233-242 83 Moshe Y. Vardi: Global Optimization Problems for Database Logic Programs. ICLP 1990 : 767-771 82 Phokion G. Kolaitis , Moshe Y. Vardi: 0-1 Laws for Infinitary Logics (Preliminary Report). LICS 1990 : 156-167 81 David Harel , Roni Rosner , Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). LICS 1990 : 478-488 80 Phokion G. Kolaitis , Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990 : 61-71 79 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990 : 41-55 78 Moshe Y. Vardi: Endmarkers can Make a Difference. Information Processing Letters 35 (3): 145-148 (1990) 77 Phokion G. Kolaitis , Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic. Information and Computation 87 (1/2): 301-337 (1990) 76 Stavros S. Cosmadakis , Paris C. Kanellakis , Moshe Y. Vardi: Polynomial-Time Implication Problems for Unary Inclusion Dependencies. JACM 37 (1): 15-46 (1990) 75 Moshe Y. Vardi: On the Complexity of Epistemic Reasoning. LICS 1989 : 243-252 74 Yehoshua Sagiv , Moshe Y. Vardi: Safety of Datalog Queries over Infinite Databases. PODS 1989 : 160-171 73 Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi: Proof-Tree Transformation Theorems and Their Applications. PODS 1989 : 172-181 72 Moshe Y. Vardi: Automata Theory for Database Theoreticans. PODS 1989 : 83-92 71 Shmuel Safra , Moshe Y. Vardi: On omega-Automata and Temporal Logic (Preliminary Report). STOC 1989 : 127-137 70 Moshe Y. Vardi: A Note on the Reduction of Two-Way Automata to One-Way Automata. Information Processing Letters 30 (5): 261-264 (1989) 69 Joseph Y. Halpern , Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. JCSS 38 (1): 195-237 (1989) 68 Moshe Y. Vardi: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988. Morgan Kaufmann 1988 67 Moshe Y. Vardi: An Automata-Theoretic Approach to Protocol Verification (Abstract). Concurrency 1988 : 73 66 Gabriel M. Kuper , Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model (Extended Abstract). ICDT 1988 : 267-280 65 Phokion G. Kolaitis , Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic. LICS 1988 : 2-11 64 Moshe Y. Vardi: Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. PODS 1988 : 341-351 63 Jeffrey D. Ullman , Moshe Y. Vardi: The Complexity of Ordering Subgoals. PODS 1988 : 74-81 62 Moshe Y. Vardi: A Temporal Fixpoint Calculus. POPL 1988 : 250-259 61 Moshe Y. Vardi: Database Logic Programming, Deductive Databases, and Expert Database Systems. SIGMOD Conference 1988 : 7 60 Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi: Decidable Optimization Problems for Database Logic Programs (Preliminary Report). STOC 1988 : 477-490 59 Joseph Y. Halpern , Moshe Y. Vardi: Reasoning about Knowledge and Time in Asynchronous Systems. STOC 1988 : 53-65 58 Moshe Y. Vardi: The Universal-Relation Data Model for Logic Independence. IEEE Software 5 (2): 80-85 (1988) 57 Moshe Y. Vardi: Response to a Letter to the Editor. IEEE Software 5 (4): 4-6 (1988) 56 Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. LICS 1987 : 106-115 55 Moshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic Framework. LICS 1987 : 167-176 54 Phokion G. Kolaitis , Moshe Y. Vardi: The Decision Problem for the Probabilities of Higher-Order Properties. STOC 1987 : 425-435 53 Moshe Y. Vardi: Unified Verification Theory. Temporal Logic in Specification 1987 : 202-212 52 A. Prasad Sistla , Moshe Y. Vardi, Pierre Wolper : The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. TCS 49 : 217-237 (1987) 51 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986 : 428-435 50 Moshe Y. Vardi, Pierre Wolper : An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). LICS 1986 : 332-344 49 Moshe Y. Vardi: On the Integrity of Databases with Incomplete Information. PODS 1986 : 252-266 48 Constantin Courcoubetis , Moshe Y. Vardi, Pierre Wolper : Reasoning about Fair Concurrent Programs. STOC 1986 : 283-294 47 Joseph Y. Halpern , Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time: Extended Abstract. STOC 1986 : 304-315 46 Ronald Fagin , Moshe Y. Vardi: Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. TARK 1986 : 187-206 45 Moshe Y. Vardi: On Epistemic Logic and Logical Omniscience. TARK 1986 : 293-305 44 Johann A. Makowsky , Moshe Y. Vardi: On the Expressive Power of Data Dependencies. Acta Informatica 23 (3): 231-244 (1986) 43 Ronald Fagin , Gabriel M. Kuper , Jeffrey D. Ullman , Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3 : 1-18 (1986) 42 Marc H. Graham , Alberto O. Mendelzon , Moshe Y. Vardi: Notions of dependency satisfaction. JACM 33 (1): 105-129 (1986) 41 Moshe Y. Vardi, Pierre Wolper : Automata-Theoretic Techniques for Modal Logics of Programs. JCSS 32 (2): 183-221 (1986) 40 Moshe Y. Vardi: Querying Logical Databases. JCSS 33 (2): 142-160 (1986) 39 Moshe Y. Vardi: Automatic Verification of Probabilistic Concurrent Finite-State Programs. FOCS 1985 : 327-338 38 A. Prasad Sistla , Moshe Y. Vardi, Pierre Wolper : The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP 1985 : 465-474 37 Moshe Y. Vardi: A Model-Theoretic Analysis of Monotonic Knowledge. IJCAI 1985 : 509-512 36 Moshe Y. Vardi: The Taming of Converse: Reasoning about Two-way Computations. Logic of Programs 1985 : 413-423 35 Moshe Y. Vardi: Querying Logical Databases. PODS 1985 : 57-65 34 Gabriel M. Kuper , Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985 : 180-187 33 Moshe Y. Vardi, Larry J. Stockmeyer : Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report. STOC 1985 : 240-251 32 Ronald Fagin , Moshe Y. Vardi: An Internal Semantics for Modal Logic: Preliminary Report. STOC 1985 : 305-315 31 Ashok K. Chandra , Moshe Y. Vardi: The Implication Problem for Functional and Inclusion Dependencies is Undecidable. SIAM J. Comput. 14 (3): 671-677 (1985) 30 Catriel Beeri , Moshe Y. Vardi: Formal Systems for Join Dependencies. TCS 38 : 99-116 (1985) 29 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge: Preliminary Report. FOCS 1984 : 268-278 28 Ronald Fagin , Moshe Y. Vardi: The Theory of Data Dependencies - An Overview. ICALP 1984 : 1-22 27 Gabriel M. Kuper , Jeffrey D. Ullman , Moshe Y. Vardi: On the Equivalence of Logical Databases. PODS 1984 : 221-228 26 Marc H. Graham , Moshe Y. Vardi: On the Complexity and Axiomatizability of Consistent Database States. PODS 1984 : 281-289 25 Gabriel M. Kuper , Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984 : 86-96 24 Moshe Y. Vardi, Pierre Wolper : Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract). STOC 1984 : 446-456 23 Moshe Y. Vardi: A Note on Lossless Database Decompositions. Information Processing Letters 18 (5): 257-260 (1984) 22 Catriel Beeri , Moshe Y. Vardi: On Acyclic Database Decompositions. Information and Control 61 (2): 75-84 (1984) 21 Catriel Beeri , Moshe Y. Vardi: A Proof Procedure for Data Dependencies. JACM 31 (4): 718-741 (1984) 20 Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed Template Dependencies. JCSS 28 (1): 3-28 (1984) 19 Catriel Beeri , Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13 (1): 76-98 (1984) 18 David Maier , Jeffrey D. Ullman , Moshe Y. Vardi: On the Foundations of the Universal Relation Model. TODS 9 (2): 283-308 (1984) 17 Pierre Wolper , Moshe Y. Vardi, A. Prasad Sistla : Reasoning about Infinite Computation Paths (Extended Abstract). FOCS 1983 : 185-194 16 Moshe Y. Vardi, Pierre Wolper : Yet Another Process Logic (Preliminary Version). Logic of Programs 1983 : 501-512 15 David Maier , Jeffrey D. Ullman , Moshe Y. Vardi: The Revenge of the JD. PODS 1983 : 279-287 14 Ronald Fagin , Jeffrey D. Ullman , Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983 : 352-365 13 Paris C. Kanellakis , Stavros S. Cosmadakis , Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). STOC 1983 : 264-277 12 Moshe Y. Vardi: Second-Order Dependency Theory. XP1 Workshop on Database Theory 1983 11 Moshe Y. Vardi: Inferring Multivalued Dependencies From Functional and Join Dependencies. Acta Informatica 19 : 305-324 (1983) 10 Ronald Fagin , Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. Information Processing Letters 16 (1): 13-19 (1983) 9 Moshe Y. Vardi: On Decomposition of Relational Databases. FOCS 1982 : 176-185 8 Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed Template Dependencies. PODS 1982 : 230-238 7 Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982 : 137-146 6 Moshe Y. Vardi: Global Decision Problems for Relational Databases. FOCS 1981 : 198-202 5 Catriel Beeri , Moshe Y. Vardi: The Implication Problem for Data Dependencies. ICALP 1981 : 73-85 4 Moshe Y. Vardi: The Decision Problem for Database Dependencies. Information Processing Letters 12 (5): 251-254 (1981) 3 Catriel Beeri , Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Record 12 (1): 33-37 (1981) 2 Catriel Beeri , Moshe Y. Vardi: Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980 1 Catriel Beeri , Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979 : 25-71  DiSC'03 © 2003 Association for Computing Machinery |
