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