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