| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Moshe Y. Vardi Benjamin J. McMahan , Guoqiang Pan , Patrick Porter , Moshe Y. Vardi: Projection Pushing Revisited. EDBT 2004 : 441-458 Doron Bustan , Orna Kupferman , Moshe Y. Vardi: A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004 : 522-533 Orna Kupferman , Moshe Y. Vardi: From Complementation to Certification. TACAS 2004 : 591-606 Moshe Y. Vardi, Andrei Voronkov : Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings Springer 2003 Guoqiang Pan , Moshe Y. Vardi: Optimizing a BDD-Based Modal Solver. CADE 2003 : 75-89 Roy Armoni , Limor Fix , Alon Flaisher , Orna Grumberg , Nir Piterman , Andreas Tiemeyer , Moshe Y. Vardi: Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003 : 368-380 Hana Chockler , Orna Kupferman , Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003 : 111-125 Sankar Gurumurthy , Orna Kupferman , Fabio Somenzi , Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003 : 96-110 Moshe Y. Vardi: Logic and Automata: A Match Made in Heaven. ICALP 2003 : 64-65 Orna Kupferman , Moshe Y. Vardi: Pi 2 cap Sigma 2 equiv AFMC. ICALP 2003 : 697-713 Diego Calvanese , Giuseppe De Giacomo , Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003 : 330-345 Moshe Y. Vardi: Automated Verification: Graphs, Logic, and Automata. IJCAI 2003 : 1603-1606 Marco Pistore , Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003 : 234-243 Tomás Feder , Moshe Y. Vardi: Homomorphism Closed vs. Existential Positive. LICS 2003 : 311-320 Nir Piterman , Moshe Y. Vardi: Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003 : 381- Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: View-based query containment. PODS 2003 : 56-67 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Query Containment Using Views. SEBD 2003 : 467-474 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 Roy Armoni , Doron Bustan , Orna Kupferman , Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003 : 65-80 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Fair Equivalence Relations. Verification: Theory and Practice 2003 : 702-732 Cristian Coarfa , Demetrios D. Demopoulos , Alfonso San Miguel Aguirre , Devika Subramanian , Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. Constraints 8 (3): 243-261 (2003) Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32 (4): 83-92 (2003) Orna Kupferman , Moshe Y. Vardi: Vacuity detection in temporal model checking. STTT 4 (2): 224-233 (2003) Nir Piterman , Moshe Y. Vardi: From bidirectionality to alternation. Theor. Comput. Sci. 1-3 : 295-321 (2003) 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 Guoqiang Pan , Ulrike Sattler , Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002 : 16-30 Orna Kupferman , Ulrike Sattler , Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002 : 423-437 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002 : 371-385 Víctor Dalmau , Phokion G. Kolaitis , Moshe Y. Vardi: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002 : 310-326 Moshe Y. Vardi: Alternation. JELIA 2002 : 565 Randy Batsell , Lyle Brenner , Daniel N. Osherson , Spyros Tsavachidis , Moshe Y. Vardi: Eliminating Incoherence from Subjective Estimates of Chance. KR 2002 : 353-364 Diego Calvanese , Giuseppe De Giacomo , Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002 : 593-602 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Pushdown Specifications. LPAR 2002 : 262-277 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Lossless Regular Views. PODS 2002 : 247-258 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 Ken Kennedy , Moshe Y. Vardi: A Rice University perspective on software engineering licensing. Commun. ACM 45 (11): 94-95 (2002) Moshe Y. Vardi: Model Checking: A Complexity-Theoretic Perspective (invited talk). Electr. Notes Theor. Comput. Sci. 68 (4): (2002) Kathi Fisler , Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. Formal Methods in System Design 21 (1): 39-78 (2002) David Harel , Orna Kupferman , Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173 (2): 143-161 (2002) Kousha Etessami , Moshe Y. Vardi, Thomas Wilke : First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179 (2): 279-295 (2002) Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64 (3): 443-465 (2002) Doron Peled , Moshe Y. Vardi, Mihalis Yannakakis : Black Box Checking. Journal of Automata, Languages and Combinatorics 7 (2): 225-246 (2002) 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 Hana Chockler , Orna Kupferman , Robert P. Kurshan , Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001 : 66-78 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001 : 519-535 Alfonso San Miguel Aguirre , Moshe Y. Vardi: Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001 : 121-136 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001 : 40-61 Valerie King , Orna Kupferman , Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001 : 276-286 Ulrike Sattler , Moshe Y. Vardi: The Hybrid µ-Calculus. IJCAR 2001 : 76-91 Orna Kupferman , Moshe Y. Vardi: Synthesizing Distributed Systems. LICS 2001 Orna Kupferman , Moshe Y. Vardi: On Bounded Specifications. LPAR 2001 : 24-38 Nir Piterman , Moshe Y. Vardi: From Bidirectionality to Alternation. MFCS 2001 : 598-610 Moshe Y. Vardi: Branching vs. Linear Time: Final Showdown. TACAS 2001 : 1-22 Kathi Fisler , Ranan Fraer , Gila Kamhi , Moshe Y. Vardi, Zijiang Yang : Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001 : 420-434 Hana Chockler , Orna Kupferman , Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001 : 528-542 Orna Kupferman , Moshe Y. Vardi: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2 (3): 408-429 (2001) 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) Orna Kupferman , Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19 (3): 291-314 (2001) Orna Kupferman , Moshe Y. Vardi, Pierre Wolper : Module Checking. Inf. Comput. 164 (2): 322-344 (2001) Yonit Kesten , Amir Pnueli , Moshe Y. Vardi: Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62 (4): 668-690 (2001) Phokion G. Kolaitis , Moshe Y. Vardi: A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000 : 175-181 Orna Kupferman , Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000 : 36-52 Ranan Fraer , Gila Kamhi , Barukh Ziv , Moshe Y. Vardi, Limor Fix : Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000 : 389-402 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: What is Query Rewriting? CIA 2000 : 51-59 Orna Kupferman , P. Madhusudan , P. S. Thiagarajan , Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000 : 92-107 Cristian Coarfa , Demetrios D. Demopoulos , Alfonso San Miguel Aguirre , Devika Subramanian , Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. CP 2000 : 143-159 Moshe Y. Vardi: Automated Verification = Graphs, Automata, and Logic. CSL 2000 : 139 Orna Kupferman , Nir Piterman , Moshe Y. Vardi: Fair Equivalence Relations. FSTTCS 2000 : 151-163 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000 : 17-27 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 Orna Kupferman , Moshe Y. Vardi: µ-Calculus Synthesis. MFCS 2000 : 497-507 Phokion G. Kolaitis , Moshe Y. Vardi: 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000 : 84-98 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 Moshe Y. Vardi: Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000 : 76-85 Orna Kupferman , Moshe Y. Vardi: An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22 (1): 87-128 (2000) Orna Kupferman , Moshe Y. Vardi, Pierre Wolper : An automata-theoretic approach to branching-time model checking. J. ACM 47 (2): 312-360 (2000) Phokion G. Kolaitis , Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61 (2): 302-332 (2000) Moshe Y. Vardi: Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999 : 265-276 Orna Kupferman , Moshe Y. Vardi: Model Checking of Safety Properties. CAV 1999 : 172-183 Marco Daniele , Fausto Giunchiglia , Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999 : 249-260 Kathi Fisler , Moshe Y. Vardi: Bisimulation and Model Checking. CHARME 1999 : 338-341 Orna Kupferman , Moshe Y. Vardi: Vacuity Detection in Temporal Model Checking. CHARME 1999 : 82-96 Orna Kupferman , Moshe Y. Vardi: Robust Satisfaction. CONCUR 1999 : 383-398 Giuseppe De Giacomo , Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999 : 226-238 Marco Daniele , Paolo Traverso , Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999 : 35-48 Doron Peled , Moshe Y. Vardi, Mihalis Yannakakis : Black Box Checking. FORTE 1999 : 225-240 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999 : 213-224 Orna Kupferman , Moshe Y. Vardi: The Weakness of Self-Complementation. STACS 1999 : 455-466 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 Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96 (1-3): 89-105 (1999) Ranan Fraer , Gila Kamhi , Limor Fix , Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23 (2): (1999) 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) 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 Moshe Y. Vardi: Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998 : 1-17 Rajeev Alur , Thomas A. Henzinger , Orna Kupferman , Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998 : 163-178 Ron van der Meyden , Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998 : 34-49 Kathi Fisler , Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998 : 115-132 Moshe Y. Vardi: Reasoning about The Past with Two-Way Automata. ICALP 1998 : 628-641 Moshe Y. Vardi: Linear vs. Branching Time: A Complexity-Theoretic Perspective. LICS 1998 : 394-405 Orna Kupferman , Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998 : 81-92 Phokion G. Kolaitis , Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998 : 205-213 Orna Kupferman , Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998 : 304-326 Joan Feigenbaum , Sampath Kannan , Moshe Y. Vardi, Mahesh Viswanathan : Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998 : 216-226 Orna Kupferman , Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998 : 224-233 Moshe Y. Vardi: Computational Model Theory: An Overview. Logic Journal of the IGPL 6 (4): 601-623 (1998) 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) 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 Orna Kupferman , Moshe Y. Vardi: Modular Model Checking. COMPOS 1997 : 381-401 David Harel , Orna Kupferman , Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997 : 258-272 Moshe Y. Vardi: Verification of Open Systems. FSTTCS 1997 : 250-266 Orna Kupferman , Moshe Y. Vardi: Weak Alternating Automata Are Not That Weak. ISTCS 1997 : 147-158 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. J. ACM 44 (1): 30-56 (1997) Surajit Chaudhuri , Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci. 54 (1): 61-78 (1997) Moshe Y. Vardi: Special Selection in Logic in Computer Science. J. Symb. Log. 62 (2): 608 (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 Thomas A. Henzinger , Orna Kupferman , Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996 : 514-529 Moshe Y. Vardi: Why is Modal Logic So Robustly Decidable? Descriptive Complexity and Finite Models 1996 : 149-184 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 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 Moshe Y. Vardi: Implementing Knowledge-Based Programs. TARK 1996 : 15-30 Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996 : 283-298 Serge Abiteboul , Gabriel M. Kuper , Harry G. Mairson , Alexander A. Shvartsman , Moshe Y. Vardi: In Memoriam Paris C. Kanellakis. ACM Comput. Surv. 28 (1): 3-15 (1996) Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). Inf. Comput. 127 (2): 65 (1996) Georg Gottlob , Moshe Y. Vardi: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings Springer 1995 Moshe Y. Vardi: An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop 1995 : 238-266 Moshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995 : 267-278 Orna Kupferman , Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995 : 408-422 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 Rob Gerth , Doron Peled , Moshe Y. Vardi, Pierre Wolper : Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995 : 3-18 Moshe Y. Vardi: Alternating Automata and Program Verification. Computer Science Today 1995 : 471-485 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79 (2): 203-240 (1995) Ronald Fagin , Larry J. Stockmeyer , Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP Inf. Comput. 120 (1): 78-92 (1995) Phokion G. Kolaitis , Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. J. Comput. Syst. Sci. 51 (1): 110-134 (1995) Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog Programs. J. Log. Program. 25 (2): 163-190 (1995) Serge Abiteboul , Moshe Y. Vardi, Victor Vianu : Computing with Infinitary Logic. Theor. Comput. Sci. 149 (1): 101-128 (1995) Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 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: Nontraditional Applications of Automata Theory. TACS 1994 : 575-597 Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994 : 255-266 Moshe Y. Vardi, Pierre Wolper : Reasoning About Infinite Computations Inf. Comput. 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 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 Gabriel M. Kuper , Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18 (3): 379-413 (1993) Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40 (3): 683-713 (1993) Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi: Logical Query Optimization by Proff-Tree Transformation. J. Comput. Syst. Sci. 47 (1): 222-248 (1993) Gabriel M. Kuper , Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model. Theor. Comput. Sci. 116 (1&2): 33-57 (1993) 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 Serge Abiteboul , Moshe Y. Vardi, Victor Vianu : Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992 : 156-168 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 Moshe Y. Vardi: Automata Theory for Database Theoreticans. Theoretical Studies in Computer Science 1992 : 153-180 Costas 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) Phokion G. Kolaitis , Moshe Y. Vardi: Infinitary Logics and 0-1 Laws Inf. Comput. 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. J. ACM 39 (2): 328-376 (1992) Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: What Is an Inference Rule? J. Symb. Log. 57 (3): 1018-1045 (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 Moshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic Framework. Ann. Pure Appl. Logic 51 (1-2): 79-98 (1991) Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. J. ACM 38 (2): 382-428 (1991) Moshe Y. Vardi: Database Logic Programming. J. Log. Program. 10 (1/2/3&4): 179-180 (1991) Costas Courcoubetis , Moshe Y. Vardi, Pierre Wolper , Mihalis Yannakakis : Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990 : 233-242 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 Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990 : 41-55 Phokion G. Kolaitis , Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic Inf. Comput. 87 (1/2): 301-337 (1990) Moshe Y. Vardi: Endmarkers can Make a Difference. Inf. Process. Lett. 35 (3): 145-148 (1990) Stavros S. Cosmadakis , Paris C. Kanellakis , Moshe Y. Vardi: Polynomial-Time Implication Problems for Unary Inclusion Dependencies J. ACM 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. Inf. Process. Lett. 30 (5): 261-264 (1989) Joseph Y. Halpern , Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. 38 (1): 195-237 (1989) Moshe Y. Vardi: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988 Morgan Kaufmann 1988 Moshe Y. Vardi: An Automata-Theoretic Approach to Protocol Verification (Abstract). Concurrency 1988 : 73 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 Moshe Y. Vardi: The Universal-Relation Data Model for Logic Independence. IEEE Software 5 (2): 80-85 (1988) Moshe Y. Vardi: Response to a Letter to the Editor. IEEE Software 5 (4): 4-6 (1988) 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 Moshe Y. Vardi: Unified Verification Theory. Temporal Logic in Specification 1987 : 202-212 A. Prasad Sistla , Moshe Y. Vardi, Pierre Wolper : The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. 49 : 217-237 (1987) Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi: What Can Machines Know? On the Epistemic Properties of Machines. AAAI 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 Costas 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 Ronald Fagin , Moshe Y. Vardi: Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. TARK 1986 : 187-206 Moshe Y. Vardi: On Epistemic Logic and Logical Omniscience. TARK 1986 : 293-305 Johann A. Makowsky , Moshe Y. Vardi: On the Expressive Power of Data Dependencies. Acta Inf. 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. J. ACM 33 (1): 105-129 (1986) Moshe Y. Vardi, Pierre Wolper : Automata-Theoretic Techniques for Modal Logics of Programs. J. Comput. Syst. Sci. 32 (2): 183-221 (1986) Moshe Y. Vardi: Querying Logical Databases. J. Comput. Syst. Sci. 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: The Taming of Converse: Reasoning about Two-way Computations. Logic of Programs 1985 : 413-423 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 Haim Gaifman , Moshe Y. Vardi: A simple proof that connectivity of finite graphs is not first-order definable. Bulletin of the EATCS 26 : 43-44 (1985) Moshe Y. Vardi: A responce to "A complete axiomatisation for full join dependencies in relations". Bulletin of the EATCS 26 : 65-66 (1985) 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. Theor. Comput. Sci. 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 David Maier , Jeffrey D. Ullman , Moshe Y. Vardi: On the Foundations of the Universal Relation Model. ACM Trans. Database Syst. 9 (2): 283-308 (1984) Moshe Y. Vardi: A Note on Lossless Database Decompositions. Inf. Process. Lett. 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. J. ACM 31 (4): 718-741 (1984) Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed Template Dependencies. J. Comput. Syst. Sci. 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) Pierre Wolper , Moshe Y. Vardi, A. Prasad Sistla : Reasoning about Infinite Computation Paths (Extended Abstract) FOCS 1983 : 185-194 Moshe Y. Vardi, Pierre Wolper : Yet Another Process Logic (Preliminary Version). Logic of Programs 1983 : 501-512 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: Second-Order Dependency Theory. XP4.5 Workshop on Database Theory 1983 Moshe Y. Vardi: Inferring Multivalued Dependencies From Functional and Join Dependencies. Acta Inf. 19 : 305-324 (1983) Ronald Fagin , Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. 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. Inf. Process. Lett. 12 (5): 251-254 (1981) Catriel Beeri , Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Record 12 (1): 33-37 (1981) Catriel Beeri , Moshe Y. Vardi: Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980 Catriel Beeri , Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979 : 25-71 1 [ 99 ] [ 102 ] [ 119 ] [ 134 ] [ 137 ] [ 147 ] 2 [ 200 ] [ 220 ] [ 245 ] 3 [ 112 ] 4 [ 110 ] [ 168 ] 5 [ 231 ] [ 247 ] [ 260 ] 6 [ 235 ] 7 [ 1 ] [ 2 ] [ 3 ] [ 5 ] [ 18 ] [ 20 ] [ 21 ] [ 30 ] 8 [ 117 ] 9 [ 235 ] 10 [ 171 ] 11 [ 247 ] [ 264 ] 12 [ 174 ] [ 176 ] [ 177 ] [ 191 ] [ 194 ] [ 195 ] [ 196 ] [ 197 ] [ 202 ] [ 219 ] [ 225 ] [ 232 ] [ 234 ] [ 244 ] [ 249 ] [ 250 ] [ 255 ] 13 [ 31 ] [ 140 ] 14 [ 100 ] [ 111 ] [ 116 ] [ 140 ] [ 146 ] [ 171 ] 15 [ 211 ] [ 222 ] [ 259 ] 16 [ 200 ] [ 245 ] 17 [ 223 ] 18 [ 13 ] [ 62 ] [ 78 ] 19 [ 50 ] [ 86 ] [ 96 ] 20 [ 237 ] 21 [ 179 ] [ 184 ] 22 [ 140 ] 23 [ 200 ] [ 245 ] 24 [ 149 ] [ 226 ] 25 [ 10 ] [ 14 ] [ 28 ] [ 29 ] [ 34 ] [ 45 ] [ 48 ] [ 53 ] [ 81 ] [ 88 ] [ 93 ] [ 94 ] [ 98 ] [ 108 ] [ 118 ] [ 122 ] [ 123 ] [ 127 ] [ 135 ] [ 148 ] [ 173 ] 26 [ 109 ] [ 157 ] [ 252 ] 27 [ 160 ] 28 [ 166 ] [ 183 ] [ 212 ] [ 228 ] 29 [ 172 ] [ 203 ] [ 223 ] [ 231 ] [ 260 ] 30 [ 231 ] [ 260 ] 31 [ 172 ] [ 203 ] [ 212 ] [ 223 ] [ 248 ] 32 [ 91 ] 33 [ 33 ] [ 58 ] [ 62 ] [ 106 ] 34 [ 98 ] 35 [ 125 ] [ 231 ] 36 [ 174 ] [ 176 ] [ 177 ] [ 180 ] [ 191 ] [ 194 ] [ 195 ] [ 196 ] [ 197 ] [ 202 ] [ 219 ] [ 225 ] [ 232 ] [ 234 ] [ 244 ] [ 249 ] [ 250 ] [ 255 ] 37 [ 231 ] 38 [ 223 ] 39 [ 184 ] 40 [ 248 ] 41 [ 132 ] 42 [ 26 ] [ 44 ] 43 [ 171 ] 44 [ 140 ] 45 [ 260 ] 46 [ 258 ] 47 [ 29 ] [ 49 ] [ 53 ] [ 61 ] [ 71 ] [ 81 ] [ 88 ] [ 92 ] [ 93 ] [ 94 ] [ 98 ] [ 114 ] [ 118 ] [ 123 ] [ 127 ] [ 135 ] [ 148 ] [ 173 ] 48 [ 209 ] 49 [ 83 ] [ 152 ] [ 227 ] 50 [ 110 ] [ 142 ] [ 168 ] 51 [ 90 ] [ 120 ] 52 [ 170 ] 53 [ 155 ] 54 [ 171 ] 55 [ 172 ] [ 203 ] [ 212 ] [ 223 ] [ 248 ] 56 [ 13 ] [ 62 ] [ 78 ] [ 90 ] [ 120 ] 57 [ 160 ] 58 [ 231 ] 59 [ 230 ] 60 [ 206 ] 61 [ 218 ] 62 [ 56 ] [ 67 ] [ 80 ] [ 82 ] [ 84 ] [ 95 ] [ 101 ] [ 103 ] [ 121 ] [ 138 ] [ 162 ] [ 187 ] [ 192 ] [ 205 ] [ 237 ] 63 [ 112 ] 64 [ 25 ] [ 27 ] [ 36 ] [ 45 ] [ 68 ] [ 104 ] [ 107 ] [ 134 ] [ 137 ] 65 [ 129 ] [ 139 ] [ 142 ] [ 143 ] [ 144 ] [ 150 ] [ 152 ] [ 153 ] [ 154 ] [ 159 ] [ 161 ] [ 163 ] [ 168 ] [ 175 ] [ 181 ] [ 182 ] [ 185 ] [ 188 ] [ 189 ] [ 193 ] [ 198 ] [ 201 ] [ 204 ] [ 207 ] [ 208 ] [ 210 ] [ 211 ] [ 215 ] [ 216 ] [ 218 ] [ 221 ] [ 222 ] [ 227 ] [ 233 ] [ 238 ] [ 239 ] [ 243 ] [ 246 ] [ 247 ] [ 256 ] [ 258 ] [ 259 ] [ 263 ] [ 264 ] 66 [ 209 ] [ 222 ] 67 [ 231 ] 68 [ 174 ] [ 176 ] [ 177 ] [ 191 ] [ 194 ] [ 195 ] [ 196 ] [ 197 ] [ 202 ] [ 219 ] [ 225 ] [ 232 ] [ 244 ] [ 249 ] [ 250 ] 69 [ 201 ] 70 [ 231 ] [ 248 ] 71 [ 15 ] [ 23 ] 72 [ 58 ] [ 90 ] [ 106 ] [ 120 ] [ 134 ] 73 [ 46 ] 74 [ 265 ] 75 [ 44 ] 76 [ 167 ] 77 [ 114 ] [ 118 ] [ 127 ] [ 135 ] [ 148 ] [ 173 ] 78 [ 235 ] 79 [ 240 ] [ 261 ] [ 265 ] 80 [ 137 ] 81 [ 125 ] [ 178 ] [ 224 ] [ 241 ] 82 [ 253 ] 83 [ 198 ] [ 214 ] [ 221 ] [ 233 ] [ 238 ] [ 242 ] [ 246 ] [ 251 ] [ 260 ] 84 [ 206 ] 85 [ 265 ] 86 [ 75 ] [ 105 ] 87 [ 83 ] 88 [ 171 ] 89 [ 73 ] [ 139 ] 90 [ 58 ] [ 75 ] [ 76 ] [ 105 ] [ 106 ] 91 [ 217 ] [ 239 ] [ 240 ] 92 [ 91 ] 93 [ 209 ] 94 [ 134 ] 95 [ 231 ] 96 [ 17 ] [ 40 ] [ 54 ] 97 [ 258 ] 98 [ 35 ] [ 108 ] [ 122 ] 99 [ 140 ] 100 [ 200 ] [ 245 ] 101 [ 223 ] 102 [ 201 ] 103 [ 231 ] [ 260 ] 104 [ 179 ] 105 [ 235 ] 106 [ 14 ] [ 15 ] [ 23 ] [ 27 ] [ 45 ] [ 65 ] [ 75 ] [ 105 ] 107 [ 99 ] [ 102 ] [ 119 ] [ 147 ] 108 [ 160 ] 109 [ 262 ] 110 [ 140 ] 111 [ 149 ] [ 226 ] 112 [ 112 ] 113 [ 16 ] [ 17 ] [ 24 ] [ 40 ] [ 43 ] [ 50 ] [ 52 ] [ 54 ] [ 86 ] [ 96 ] [ 113 ] [ 117 ] [ 125 ] [ 188 ] [ 207 ] 114 [ 212 ] 115 [ 86 ] [ 96 ] [ 178 ] [ 224 ] 116 [ 91 ] 117 [ 231 ] 118 [ 203 ]  ©2004 Association for Computing Machinery |
