Moshe Y. Vardi Online DBLP entries are available for Moshe Y. Vardi and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.) Moshe Y. Vardi: Reasoning about The Past with Two-Way Automata. ICALP 1998: 628-641 Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213 Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, M. Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226 Moshe Y. Vardi: Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997: 191-206 Neil Immerman, Moshe Y. Vardi: Model Checking and Transitive-Closure Logic. CAV 1997: 291-302 Orna Kupferman, Moshe Y. Vardi: Model Checking Revisited. CAV 1997: 36-47 Moshe Y. Vardi: Verification of Open Systems. FSTTCS 1997: 250-266 Kousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997: 228-235 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997) Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. JACM 44(1): 30-56 (1997) Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. JCSS 54(1): 61-78 (1997) Orna Kupferman, Moshe Y. Vardi: Verification of Fair Transisiton Systems. CAV 1996: 372-382 Orna Kupferman, Moshe Y. Vardi: Module Checking. CAV 1996: 75-86 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. ICDE 1996: 190 Orna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating Word and Tree Automata. LICS 1996: 322-332 Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Variable-Confined Logics. LICS 1996: 348-359 Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PODS 1996: 79 Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam Paris C. Kanellakis. Computing Surveys 28(1): 3-15 (1996) Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). Information and Computation 127(2): 65 (1996) Moshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995: 267-278 Moshe Y. Vardi: Alternating Automata and Program Verification. Computer Science Today 1995: 471-485 Moshe Y. Vardi: On the Complexity of Modular Model Checking. LICS 1995: 101-111 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163 Moshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artificial Intelligence 79(2): 203-240 (1995) Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP. Information and Computation 120(1): 78-92 (1995) Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. JCSS 51(1): 110-134 (1995) Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog Programs. JLP 25(2): 163-190 (1995) Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. TCS 149(1): 101-128 (1995) Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI, Vol. 2 1994: 1142-1147 Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155 Surajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116 Moshe Y. Vardi, Pierre Wolper: Reasoning About Infinite Computations. Information and Computation 115(1): 1-37 (1994) Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers: The Complexity of Set Constraints. CSL 1993: 1-17 Surajit Chaudhuri, Moshe Y. Vardi: Optimization of Real Conjunctive Queries. PODS 1993: 59-70 Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi: Parametric Real-time Reasoning. STOC 1993: 592-601 Tomás Feder, Moshe Y. Vardi: Monotone Monadic SNP and Constraint Satisfaction. STOC 1993: 612-622 Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. JACM 40(3): 683-713 (1993) Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Logical Query Optimization by Proff-Tree Transformation. JCSS 47(1): 222-248 (1993) Gabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model. TCS 116(1&2): 33-57 (1993) Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. TODS 18(3): 379-413 (1993) Phokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logic for Computer Science. ICALP 1992: 450-473 Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. ICDT 1992: 113-123 Phokion G. Kolaitis, Moshe Y. Vardi: Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory. LICS 1992: 46-57 Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66 Moshe Y. Vardi: Automata Theory for Database Theoreticans. Theoretical Studies in Computer Science 1992: 153-180 Phokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logics and 0-1 Laws. Information and Computation 98(2): 258-294 (1992) 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) Joseph Y. Halpern, Moshe Y. Vardi: Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334 Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni: Logic Programs as Types for Logic Programs. LICS 1991: 300-309 Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Tools for Datalog Boundedness. PODS 1991: 1-12 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. JACM 38(2): 382-428 (1991) Moshe Y. Vardi: Database Logic Programming. JLP 10(1/2/3&4): 179-180 (1991) Moshe Y. Vardi: Global Optimization Problems for Database Logic Programs. ICLP 1990: 767-771 Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Infinitary Logics (Preliminary Report). LICS 1990: 156-167 David Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). LICS 1990: 478-488 Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71 Moshe Y. Vardi: Endmarkers can Make a Difference. IPL 35(3): 145-148 (1990) 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) Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi: Polynomial-Time Implication Problems for Unary Inclusion Dependencies. JACM 37(1): 15-46 (1990) Moshe Y. Vardi: On the Complexity of Epistemic Reasoning. LICS 1989: 243-252 Yehoshua Sagiv, Moshe Y. Vardi: Safety of Datalog Queries over Infinite Databases. PODS 1989: 160-171 Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Proof-Tree Transformation Theorems and Their Applications. PODS 1989: 172-181 Moshe Y. Vardi: Automata Theory for Database Theoreticans. PODS 1989: 83-92 Shmuel Safra, Moshe Y. Vardi: On omega-Automata and Temporal Logic (Preliminary Report). STOC 1989: 127-137 Moshe Y. Vardi: A Note on the Reduction of Two-Way Automata to One-Way Automata. IPL 30(5): 261-264 (1989) Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. JCSS 38(1): 195-237 (1989) Gabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model (Extended Abstract). ICDT 1988: 267-280 Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic. LICS 1988: 2-11 Moshe Y. Vardi: Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. PODS 1988: 341-351 Jeffrey D. Ullman, Moshe Y. Vardi: The Complexity of Ordering Subgoals. PODS 1988: 74-81 Moshe Y. Vardi: A Temporal Fixpoint Calculus. POPL 1988: 250-259 Moshe Y. Vardi: Database Logic Programming, Deductive Databases, and Expert Database Systems. SIGMOD Conference 1988: 7 Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi: Decidable Optimization Problems for Database Logic Programs (Preliminary Report). STOC 1988: 477-490 Joseph Y. Halpern, Moshe Y. Vardi: Reasoning about Knowledge and Time in Asynchronous Systems. STOC 1988: 53-65 Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. LICS 1987: 106-115 Moshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic Framework. LICS 1987: 167-176 Phokion G. Kolaitis, Moshe Y. Vardi: The Decision Problem for the Probabilities of Higher-Order Properties. STOC 1987: 425-435 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) Ronald Fagi, Joseph Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Epistemic Properties of Machines. AAAA, Vol. 1 1986: 428-435 Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). LICS 1986: 332-344 Moshe Y. Vardi: On the Integrity of Databases with Incomplete Information. PODS 1986: 252-266 Constantin Courcoubetis, Moshe Y. Vardi, Pierre Wolper: Reasoning about Fair Concurrent Programs. STOC 1986: 283-294 Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time: Extended Abstract. STOC 1986: 304-315 Johann A. Makowsky, Moshe Y. Vardi: On the Expressive Power of Data Dependencies. Acta Informatica 23(3): 231-244 (1986) Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18 (1986) Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi: Notions of Dependency Satisfaction. JACM 33(1): 105-129 (1986) Moshe Y. Vardi, Pierre Wolper: Automata-Theoretic Techniques for Modal Logics of Programs. JCSS 32(2): 183-221 (1986) Moshe Y. Vardi: Querying Logical Databases. JCSS 33(2): 142-160 (1986) Moshe Y. Vardi: Automatic Verification of Probabilistic Concurrent Finite-State Programs. FOCS 1985: 327-338 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 Moshe Y. Vardi: A Model-Theoretic Analysis of Monotonic Knowledge. IJCAI 1985: 509-512 Moshe Y. Vardi: Querying Logical Databases. PODS 1985: 57-65 Gabriel M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187 Moshe Y. Vardi, Larry J. Stockmeyer: Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report. STOC 1985: 240-251 Ronald Fagin, Moshe Y. Vardi: An Internal Semantics for Modal Logic: Preliminary Report. STOC 1985: 305-315 Ashok K. Chandra, Moshe Y. Vardi: The Implication Problem for Functional and Inclusion Dependencies is Undecidable. SIAM J. Comput. 14(3): 671-677 (1985) Catriel Beeri, Moshe Y. Vardi: Formal Systems for Join Dependencies. TCS 38: 99-116 (1985) Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge: Preliminary Report. FOCS 1984: 268-278 Ronald Fagin, Moshe Y. Vardi: The Theory of Data Dependencies - An Overview. ICALP 1984: 1-22 Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: On the Equivalence of Logical Databases. PODS 1984: 221-228 Marc H. Graham, Moshe Y. Vardi: On the Complexity and Axiomatizability of Consistent Database States. PODS 1984: 281-289 Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96 Moshe Y. Vardi, Pierre Wolper: Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract). STOC 1984: 446-456 Moshe Y. Vardi: A Note on Lossless Database Decompositions. Information Processing Letters 18(5): 257-260 (1984) Catriel Beeri, Moshe Y. Vardi: On Acyclic Database Decompositions. Information and Control 61(2): 75-84 (1984) Catriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. JACM 31(4): 718-741 (1984) Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed Template Dependencies. JCSS 28(1): 3-28 (1984) Catriel Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98 (1984) David Maier, Jeffrey D. Ullman, Moshe Y. Vardi: On the Foundations of the Universal Relation Model. TODS 9(2): 283-308 (1984) Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla: Reasoning about Infinite Computation Paths (Extended Abstract). FOCS 1983: 185-194 David Maier, Jeffrey D. Ullman, Moshe Y. Vardi: The Revenge of the JD. PODS 1983: 279-287 Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). STOC 1983: 264-277 Moshe Y. Vardi: Inferring Multivalued Dependencies From Functional and Join Dependencies. Acta Informatica 19: 305-324 (1983) Ronald Fagin, Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. IPL 16(1): 13-19 (1983) Moshe Y. Vardi: On Decomposition of Relational Databases. FOCS 1982: 176-185 Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed Template Dependencies. PODS 1982: 230-238 Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 Moshe Y. Vardi: Global Decision Problems for Relational Databases. FOCS 1981: 198-202 Catriel Beeri, Moshe Y. Vardi: The Implication Problem for Data Dependencies. ICALP 1981: 73-85 Moshe Y. Vardi: The Decision Problem for Database Dependencies. Information Processing Letters 12(5): 251-254 (1981) Catriel Beeri, Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Records 12(1): 33-37 (1981) Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71 DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).