The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Moshe Y. Vardi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Moshe Y. Vardi
    The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP]
    STOC, 1982, pp:137-146 [Conf]
  2. David Maier, Jeffrey D. Ullman, Moshe Y. Vardi
    On the Foundations of the Universal Relation Model. [Citation Graph (62, 41)][DBLP]
    ACM Trans. Database Syst., 1984, v:9, n:2, pp:283-308 [Journal]
  3. Gabriel M. Kuper, Moshe Y. Vardi
    A New Approach to Database Logic. [Citation Graph (54, 6)][DBLP]
    PODS, 1984, pp:86-96 [Conf]
  4. Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi
    On the Semantics of Updates in Databases. [Citation Graph (50, 5)][DBLP]
    PODS, 1983, pp:352-365 [Conf]
  5. Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
    Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP]
    LICS, 1987, pp:106-115 [Conf]
  6. Moshe Y. Vardi
    Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP]
    PODS, 1988, pp:341-351 [Conf]
  7. Catriel Beeri, Moshe Y. Vardi
    A Proof Procedure for Data Dependencies. [Citation Graph (21, 0)][DBLP]
    J. ACM, 1984, v:31, n:4, pp:718-741 [Journal]
  8. Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi
    Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP]
    STOC, 1988, pp:477-490 [Conf]
  9. Catriel Beeri, Moshe Y. Vardi
    Formal Systems for Tuple and Equality Generating Dependencies. [Citation Graph (20, 0)][DBLP]
    SIAM J. Comput., 1984, v:13, n:1, pp:76-98 [Journal]
  10. Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
    Updating Logical Databases. [Citation Graph (18, 0)][DBLP]
    Advances in Computing Research, 1986, v:3, n:, pp:1-18 [Journal]
  11. Surajit Chaudhuri, Moshe Y. Vardi
    On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP]
    PODS, 1992, pp:55-66 [Conf]
  12. Surajit Chaudhuri, Moshe Y. Vardi
    Optimization of Real Conjunctive Queries. [Citation Graph (15, 12)][DBLP]
    PODS, 1993, pp:59-70 [Conf]
  13. Ashok K. Chandra, Moshe Y. Vardi
    The Implication Problem for Functional and Inclusion Dependencies is Undecidable. [Citation Graph (15, 0)][DBLP]
    SIAM J. Comput., 1985, v:14, n:3, pp:671-677 [Journal]
  14. Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi
    Proof-Tree Transformation Theorems and Their Applications. [Citation Graph (14, 12)][DBLP]
    PODS, 1989, pp:172-181 [Conf]
  15. Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi
    Notions of dependency satisfaction. [Citation Graph (14, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:105-129 [Journal]
  16. Gabriel M. Kuper, Moshe Y. Vardi
    On the Complexity of Queries in the Logical Data Model (Extended Abstract). [Citation Graph (11, 18)][DBLP]
    ICDT, 1988, pp:267-280 [Conf]
  17. Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi
    Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) [Citation Graph (11, 0)][DBLP]
    STOC, 1983, pp:264-277 [Conf]
  18. Catriel Beeri, Moshe Y. Vardi
    On the Properties of Join Dependencies. [Citation Graph (10, 0)][DBLP]
    Advances in Data Base Theory, 1979, pp:25-71 [Conf]
  19. Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
    On the Equivalence of Logical Databases. [Citation Graph (10, 3)][DBLP]
    PODS, 1984, pp:221-228 [Conf]
  20. Gabriel M. Kuper, Moshe Y. Vardi
    On the Expressive Power of the Logical Data Model (Preliminary Report). [Citation Graph (10, 14)][DBLP]
    SIGMOD Conference, 1985, pp:180-187 [Conf]
  21. Moshe Y. Vardi
    The Decision Problem for Database Dependencies. [Citation Graph (10, 0)][DBLP]
    Inf. Process. Lett., 1981, v:12, n:5, pp:251-254 [Journal]
  22. Catriel Beeri, Moshe Y. Vardi
    The Implication Problem for Data Dependencies. [Citation Graph (9, 0)][DBLP]
    ICALP, 1981, pp:73-85 [Conf]
  23. Phokion G. Kolaitis, Moshe Y. Vardi
    On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (9, 14)][DBLP]
    PODS, 1990, pp:61-71 [Conf]
  24. Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
    Undecidable Optimization Problems for Database Logic Programs. [Citation Graph (9, 0)][DBLP]
    J. ACM, 1993, v:40, n:3, pp:683-713 [Journal]
  25. Moshe Y. Vardi
    On Decomposition of Relational Databases [Citation Graph (8, 0)][DBLP]
    FOCS, 1982, pp:176-185 [Conf]
  26. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi
    Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP]
    PODS, 1991, pp:1-12 [Conf]
  27. Yehoshua Sagiv, Moshe Y. Vardi
    Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP]
    PODS, 1989, pp:160-171 [Conf]
  28. Moshe Y. Vardi
    Querying Logical Databases. [Citation Graph (8, 8)][DBLP]
    PODS, 1985, pp:57-65 [Conf]
  29. Gabriel M. Kuper, Moshe Y. Vardi
    On the Complexity of Queries in the Logical Data Model. [Citation Graph (8, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:116, n:1&2, pp:33-57 [Journal]
  30. Phokion G. Kolaitis, Moshe Y. Vardi
    0-1 Laws for Infinitary Logics (Preliminary Report) [Citation Graph (7, 0)][DBLP]
    LICS, 1990, pp:156-167 [Conf]
  31. Marc H. Graham, Moshe Y. Vardi
    On the Complexity and Axiomatizability of Consistent Database States. [Citation Graph (7, 15)][DBLP]
    PODS, 1984, pp:281-289 [Conf]
  32. David Maier, Jeffrey D. Ullman, Moshe Y. Vardi
    The Revenge of the JD. [Citation Graph (7, 23)][DBLP]
    PODS, 1983, pp:279-287 [Conf]
  33. Moshe Y. Vardi
    Automata Theory for Database Theoreticans. [Citation Graph (7, 21)][DBLP]
    PODS, 1989, pp:83-92 [Conf]
  34. Moshe Y. Vardi
    On the Complexity of Bounded-Variable Queries. [Citation Graph (7, 29)][DBLP]
    PODS, 1995, pp:266-276 [Conf]
  35. Moshe Y. Vardi
    Querying Logical Databases. [Citation Graph (7, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:33, n:2, pp:142-160 [Journal]
  36. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Rewriting of Regular Expressions and Regular Path Queries. [Citation Graph (6, 31)][DBLP]
    PODS, 1999, pp:194-204 [Conf]
  37. Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi
    On Monadic NP vs. Monadic co-NP [Citation Graph (6, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:1, pp:78-92 [Journal]
  38. Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi
    Polynomial-Time Implication Problems for Unary Inclusion Dependencies [Citation Graph (6, 0)][DBLP]
    J. ACM, 1990, v:37, n:1, pp:15-46 [Journal]
  39. Gabriel M. Kuper, Moshe Y. Vardi
    The Logical Data Model. [Citation Graph (6, 38)][DBLP]
    ACM Trans. Database Syst., 1993, v:18, n:3, pp:379-413 [Journal]
  40. Phokion G. Kolaitis, Moshe Y. Vardi
    The Decision Problem for the Probabilities of Higher-Order Properties [Citation Graph (5, 0)][DBLP]
    STOC, 1987, pp:425-435 [Conf]
  41. Phokion G. Kolaitis, Moshe Y. Vardi
    Infinitary Logics and 0-1 Laws [Citation Graph (5, 0)][DBLP]
    Inf. Comput., 1992, v:98, n:2, pp:258-294 [Journal]
  42. Ronald Fagin, Moshe Y. Vardi
    Armstrong Databases for Functional and Inclusion Dependencies. [Citation Graph (5, 0)][DBLP]
    Inf. Process. Lett., 1983, v:16, n:1, pp:13-19 [Journal]
  43. Phokion G. Kolaitis, Moshe Y. Vardi
    On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (5, 0)][DBLP]
    J. Comput. Syst. Sci., 1995, v:51, n:1, pp:110-134 [Journal]
  44. Ronald Fagin, Moshe Y. Vardi
    The Theory of Data Dependencies - An Overview. [Citation Graph (4, 0)][DBLP]
    ICALP, 1984, pp:1-22 [Conf]
  45. Tomás Feder, Moshe Y. Vardi
    Monotone monadic SNP and constraint satisfaction. [Citation Graph (4, 0)][DBLP]
    STOC, 1993, pp:612-622 [Conf]
  46. Moshe Y. Vardi
    Inferring Multivalued Dependencies From Functional and Join Dependencies. [Citation Graph (4, 0)][DBLP]
    Acta Inf., 1983, v:19, n:, pp:305-324 [Journal]
  47. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi
    Undecidable Boundedness Problems for Datalog Programs. [Citation Graph (4, 0)][DBLP]
    J. Log. Program., 1995, v:25, n:2, pp:163-190 [Journal]
  48. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Answering Regular Path Queries Using Views. [Citation Graph (3, 0)][DBLP]
    ICDE, 2000, pp:389-398 [Conf]
  49. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Computing with Infinitary Logic. [Citation Graph (3, 15)][DBLP]
    ICDT, 1992, pp:113-123 [Conf]
  50. Phokion G. Kolaitis, Moshe Y. Vardi
    0-1 Laws and Decision Problems for Fragments of Second-Order Logic [Citation Graph (3, 0)][DBLP]
    LICS, 1988, pp:2-11 [Conf]
  51. Phokion G. Kolaitis, Moshe Y. Vardi
    Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory [Citation Graph (3, 0)][DBLP]
    LICS, 1992, pp:46-57 [Conf]
  52. Moshe Y. Vardi, Pierre Wolper
    An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) [Citation Graph (3, 0)][DBLP]
    LICS, 1986, pp:332-344 [Conf]
  53. Phokion G. Kolaitis, Moshe Y. Vardi
    Conjunctive-Query Containment and Constraint Satisfaction. [Citation Graph (3, 22)][DBLP]
    PODS, 1998, pp:205-213 [Conf]
  54. Moshe Y. Vardi
    The Implication and Finite Implication Problems for Typed Template Dependencies. [Citation Graph (3, 16)][DBLP]
    PODS, 1982, pp:230-238 [Conf]
  55. Moshe Y. Vardi
    A Temporal Fixpoint Calculus. [Citation Graph (3, 0)][DBLP]
    POPL, 1988, pp:250-259 [Conf]
  56. Moshe Y. Vardi, Pierre Wolper
    Automata-Theoretic Techniques for Modal Logics of Programs. [Citation Graph (3, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:32, n:2, pp:183-221 [Journal]
  57. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Fixpoint Logics, Relational Machines, and Computational Complexity. [Citation Graph (2, 0)][DBLP]
    Structure in Complexity Theory Conference, 1992, pp:156-168 [Conf]
  58. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Processing for Regular Path Queries with Inverse. [Citation Graph (2, 31)][DBLP]
    PODS, 2000, pp:58-66 [Conf]
  59. Surajit Chaudhuri, Moshe Y. Vardi
    On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. [Citation Graph (2, 23)][DBLP]
    PODS, 1994, pp:107-116 [Conf]
  60. Jeffrey D. Ullman, Moshe Y. Vardi
    The Complexity of Ordering Subgoals. [Citation Graph (2, 8)][DBLP]
    PODS, 1988, pp:74-81 [Conf]
  61. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Query Answering Using Views for Data Integration over the Web. [Citation Graph (2, 0)][DBLP]
    WebDB (Informal Proceedings), 1999, pp:73-78 [Conf]
  62. Phokion G. Kolaitis, Moshe Y. Vardi
    0-1 Laws and Decision Problems for Fragments of Second-Order Logic [Citation Graph (2, 0)][DBLP]
    Inf. Comput., 1990, v:87, n:1/2, pp:301-337 [Journal]
  63. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Fixpoint logics, relational machines, and computational complexity. [Citation Graph (2, 0)][DBLP]
    J. ACM, 1997, v:44, n:1, pp:30-56 [Journal]
  64. Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi
    Logical Query Optimization by Proff-Tree Transformation. [Citation Graph (2, 0)][DBLP]
    J. Comput. Syst. Sci., 1993, v:47, n:1, pp:222-248 [Journal]
  65. Moshe Y. Vardi
    The Universal-Relation Data Model for Logic Independence. [Citation Graph (2, 0)][DBLP]
    IEEE Software, 1988, v:5, n:2, pp:80-85 [Journal]
  66. Neil Immerman, Moshe Y. Vardi
    Model Checking and Transitive-Closure Logic. [Citation Graph (1, 0)][DBLP]
    CAV, 1997, pp:291-302 [Conf]
  67. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Model-Theoretic Analysis of Knowledge: Preliminary Report [Citation Graph (1, 0)][DBLP]
    FOCS, 1984, pp:268-278 [Conf]
  68. Moshe Y. Vardi
    Global Decision Problems for Relational Databases [Citation Graph (1, 0)][DBLP]
    FOCS, 1981, pp:198-202 [Conf]
  69. Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla
    Reasoning about Infinite Computation Paths (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    FOCS, 1983, pp:185-194 [Conf]
  70. Phokion G. Kolaitis, Moshe Y. Vardi
    Infinitary Logic for Computer Science. [Citation Graph (1, 0)][DBLP]
    ICALP, 1992, pp:450-473 [Conf]
  71. 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. [Citation Graph (1, 0)][DBLP]
    ICDE, 1996, pp:190- [Conf]
  72. Joseph Y. Halpern, Moshe Y. Vardi
    Model Checking vs. Theorem Proving: A Manifesto. [Citation Graph (1, 0)][DBLP]
    KR, 1991, pp:325-334 [Conf]
  73. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    What is View-Based Query Rewriting? [Citation Graph (1, 0)][DBLP]
    KRDB, 2000, pp:17-27 [Conf]
  74. Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni
    Logic Programs as Types for Logic Programs [Citation Graph (1, 0)][DBLP]
    LICS, 1991, pp:300-309 [Conf]
  75. Phokion G. Kolaitis, Moshe Y. Vardi
    On the Expressive Power of Variable-Confined Logics. [Citation Graph (1, 0)][DBLP]
    LICS, 1996, pp:348-359 [Conf]
  76. Moshe Y. Vardi
    On the Integrity of Databases with Incomplete Information. [Citation Graph (1, 23)][DBLP]
    PODS, 1986, pp:252-266 [Conf]
  77. Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
    Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). [Citation Graph (1, 0)][DBLP]
    STACS, 1998, pp:216-226 [Conf]
  78. Moshe Y. Vardi, Larry J. Stockmeyer
    Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report [Citation Graph (1, 0)][DBLP]
    STOC, 1985, pp:240-251 [Conf]
  79. Johann A. Makowsky, Moshe Y. Vardi
    On the Expressive Power of Data Dependencies. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1986, v:23, n:3, pp:231-244 [Journal]
  80. Catriel Beeri, Moshe Y. Vardi
    On Acyclic Database Decompositions [Citation Graph (1, 0)][DBLP]
    Information and Control, 1984, v:61, n:2, pp:75-84 [Journal]
  81. Moshe Y. Vardi
    A Note on the Reduction of Two-Way Automata to One-Way Automata. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1989, v:30, n:5, pp:261-264 [Journal]
  82. Moshe Y. Vardi
    A Note on Lossless Database Decompositions. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1984, v:18, n:5, pp:257-260 [Journal]
  83. Catriel Beeri, Moshe Y. Vardi
    A Note on Decompositions of Relational Databases. [Citation Graph (1, 0)][DBLP]
    SIGMOD Record, 1981, v:12, n:1, pp:33-37 [Journal]
  84. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
    Computing with Infinitary Logic. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:1, pp:101-128 [Journal]
  85. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    What Can Machines Know? On the Epistemic Properties of Machines. [Citation Graph (0, 0)][DBLP]
    AAAI, 1986, pp:428-435 [Conf]
  86. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    An Operational Semantics for Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:1142-1147 [Conf]
  87. Phokion G. Kolaitis, Moshe Y. Vardi
    A Game-Theoretic Approach to Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:175-181 [Conf]
  88. Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi
    A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. [Citation Graph (0, 0)][DBLP]
    APPROX-RANDOM, 2005, pp:414-425 [Conf]
  89. Moshe Y. Vardi
    Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:265-276 [Conf]
  90. Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi
    Büchi Complementation Made Tighter. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:64-78 [Conf]
  91. Moshe Y. Vardi
    An Automata-Theoretic Approach to Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Banff Higher Order Workshop, 1995, pp:238-266 [Conf]
  92. Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi
    In Memoriam: Paris C. Kanellakis. [Citation Graph (0, 0)][DBLP]
    PCK50, 2003, pp:1-8 [Conf]
  93. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Fair Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:702-732 [Conf]
  94. Moshe Y. Vardi
    A Call to Regularity. [Citation Graph (0, 0)][DBLP]
    PCK50, 2003, pp:11- [Conf]
  95. Moshe Y. Vardi
    Automata Theory for Database Theoreticans. [Citation Graph (0, 0)][DBLP]
    Theoretical Studies in Computer Science, 1992, pp:153-180 [Conf]
  96. Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi
    The Complexity of the Graded µ-Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:423-437 [Conf]
  97. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
    BDD-Based Decision Procedures for K. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:16-30 [Conf]
  98. Guoqiang Pan, Moshe Y. Vardi
    Optimizing a BDD-Based Modal Solver. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:75-89 [Conf]
  99. Ulrike Sattler, Moshe Y. Vardi
    The Hybrid µ-Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:76-91 [Conf]
  100. Moshe Y. Vardi
    Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:191-206 [Conf]
  101. Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
    An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:142-155 [Conf]
  102. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
    Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:368-380 [Conf]
  103. Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
    Formal Verification of Backward Compatibility of Microcode. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:185-198 [Conf]
  104. Doron Bustan, Sasha Rubin, Moshe Y. Vardi
    Verifying omega-Regular Properties of Markov Chains. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:189-201 [Conf]
  105. Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
    A Practical Approach to Coverage in Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:66-78 [Conf]
  106. Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
    Benefits of Bounded Model Checking at an Industrial Setting. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:436-453 [Conf]
  107. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
    Memory Efficient Algorithms for the Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:233-242 [Conf]
  108. Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi
    Improved Automata Generation for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:249-260 [Conf]
  109. Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
    Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:389-402 [Conf]
  110. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Model Checking Linear Properties of Prefix-Recognizable Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:371-385 [Conf]
  111. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Safraless Compositional Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:31-44 [Conf]
  112. Orna Kupferman, Moshe Y. Vardi
    An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:36-52 [Conf]
  113. Orna Kupferman, Moshe Y. Vardi
    Module Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:75-86 [Conf]
  114. Orna Kupferman, Moshe Y. Vardi
    Verification of Fair Transisiton Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:372-382 [Conf]
  115. Orna Kupferman, Moshe Y. Vardi
    Model Checking Revisited. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:36-47 [Conf]
  116. Orna Kupferman, Moshe Y. Vardi
    Model Checking of Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:172-183 [Conf]
  117. Nir Piterman, Moshe Y. Vardi
    Global Model-Checking of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:387-400 [Conf]
  118. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    GSTE Is Partitioned Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:229-241 [Conf]
  119. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:350-363 [Conf]
  120. Moshe Y. Vardi
    An Automata-Theoretic Approach to Fair Realizability and Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:267-278 [Conf]
  121. Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi
    On Complementing Nondeterministic Büchi Automata. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:96-110 [Conf]
  122. Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
    Regular Vacuity. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:191-206 [Conf]
  123. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
    Coverage Metrics for Formal Verification. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:111-125 [Conf]
  124. Orna Kupferman, Moshe Y. Vardi
    Vacuity Detection in Temporal Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:82-96 [Conf]
  125. Kathi Fisler, Moshe Y. Vardi
    Bisimulation and Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:338-341 [Conf]
  126. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    What is Query Rewriting? [Citation Graph (0, 0)][DBLP]
    CIA, 2000, pp:51-59 [Conf]
  127. Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi
    On Monadic NP vs. Monadic co-NP (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Structure in Complexity Theory Conference, 1993, pp:19-30 [Conf]
  128. Orna Kupferman, Moshe Y. Vardi
    Modular Model Checking. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:381-401 [Conf]
  129. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
    Alternating Refinement Relations. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:163-178 [Conf]
  130. David Harel, Orna Kupferman, Moshe Y. Vardi
    On the Complexity of Verifying Concurrent Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:258-272 [Conf]
  131. Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
    A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:514-529 [Conf]
  132. Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi
    Open Systems in Reactive Environments: Control and Synthesis. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:92-107 [Conf]
  133. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Extended Temporal Logic Revisited. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:519-535 [Conf]
  134. Orna Kupferman, Moshe Y. Vardi
    On the Complexity of Branching Modular Model Checking (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:408-422 [Conf]
  135. Orna Kupferman, Moshe Y. Vardi
    Robust Satisfaction. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:383-398 [Conf]
  136. Ron van der Meyden, Moshe Y. Vardi
    Synthesis from Knowledge-Based Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:34-49 [Conf]
  137. Moshe Y. Vardi
    An Automata-Theoretic Approach to Protocol Verification (Abstract). [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:73- [Conf]
  138. Moshe Y. Vardi
    Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:1-17 [Conf]
  139. Alfonso San Miguel Aguirre, Moshe Y. Vardi
    Random 3-SAT and BDDs: The Plot Thickens Further. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:121-136 [Conf]
  140. Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi
    Constraint Propagation as a Proof System. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:77-91 [Conf]
  141. Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi
    Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:310-326 [Conf]
  142. Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi
    Random 3-SAT: The Plot Thickens. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:143-159 [Conf]
  143. Guoqiang Pan, Moshe Y. Vardi
    Symbolic Decision Procedures for QBF. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:453-467 [Conf]
  144. Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers
    The Complexity of Set Constraints. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:1-17 [Conf]
  145. Moshe Y. Vardi
    Automated Verification = Graphs, Automata, and Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:139- [Conf]
  146. Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
    05241 Executive Summary - Synthesis and Planning. [Citation Graph (0, 0)][DBLP]
    Synthesis and Planning, 2005, pp:- [Conf]
  147. Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
    05241 Abstracts Collection - Synthesis and Planning. [Citation Graph (0, 0)][DBLP]
    Synthesis and Planning, 2005, pp:- [Conf]
  148. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Answering and Query Containment over Semistructured Data. [Citation Graph (0, 0)][DBLP]
    DBPL, 2001, pp:40-61 [Conf]
  149. Moshe Y. Vardi
    Why is Modal Logic So Robustly Decidable? [Citation Graph (0, 0)][DBLP]
    Descriptive Complexity and Finite Models, 1996, pp:149-184 [Conf]
  150. Marco Daniele, Paolo Traverso, Moshe Y. Vardi
    Strong Cyclic Planning Revisited. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:35-48 [Conf]
  151. Giuseppe De Giacomo, Moshe Y. Vardi
    Automata-Theoretic Approach to Planning for Temporally Extended Goals. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:226-238 [Conf]
  152. Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi
    Projection Pushing Revisited. [Citation Graph (0, 0)][DBLP]
    EDBT, 2004, pp:441-458 [Conf]
  153. Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
    Deterministic Dynamic Monitors for Linear-Time Assertions. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:163-177 [Conf]
  154. Kathi Fisler, Moshe Y. Vardi
    Bisimulation Minimization in an Automata-Theoretic Verification Framework. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:115-132 [Conf]
  155. Orna Kupferman, Moshe Y. Vardi
    Safraless Decision Procedures. [Citation Graph (0, 0)][DBLP]
    FOCS, 2005, pp:531-542 [Conf]
  156. Moshe Y. Vardi
    Automatic Verification of Probabilistic Concurrent Finite-State Programs [Citation Graph (0, 0)][DBLP]
    FOCS, 1985, pp:327-338 [Conf]
  157. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
    Black Box Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:225-240 [Conf]
  158. Valerie King, Orna Kupferman, Moshe Y. Vardi
    On the Complexity of Parity Word Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:276-286 [Conf]
  159. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Fair Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:151-163 [Conf]
  160. Moshe Y. Vardi
    Verification of Open Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:250-266 [Conf]
  161. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
    The Complexity of Enriched µ-Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:540-551 [Conf]
  162. Orna Kupferman, Moshe Y. Vardi
    Pi2 cap Sigma2 equiv AFMC. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:697-713 [Conf]
  163. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
    The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:465-474 [Conf]
  164. Moshe Y. Vardi
    Logic and Automata: A Match Made in Heaven. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:64-65 [Conf]
  165. Moshe Y. Vardi
    Reasoning about The Past with Two-Way Automata. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:628-641 [Conf]
  166. Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi
    Efficient LTL compilation for SAT-based model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2005, pp:877-884 [Conf]
  167. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:321-336 [Conf]
  168. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
    Decidable Containment of Recursive Queries. [Citation Graph (0, 0)][DBLP]
    ICDT, 2003, pp:327-342 [Conf]
  169. Moshe Y. Vardi
    Model Checking for Database Theoreticians. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:1-16 [Conf]
  170. Moshe Y. Vardi
    Global Optimization Problems for Database Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:767-771 [Conf]
  171. Moshe Y. Vardi
    Automated Verification: Graphs, Logic, and Automata. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1603-1606 [Conf]
  172. Moshe Y. Vardi
    A Model-Theoretic Analysis of Monotonic Knowledge. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:509-512 [Conf]
  173. Orna Kupferman, Moshe Y. Vardi
    Weak Alternating Automata Are Not That Weak. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1997, pp:147-158 [Conf]
  174. Moshe Y. Vardi
    Alternation. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:565- [Conf]
  175. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Containment of Conjunctive Regular Path Queries with Inverse. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:176-185 [Conf]
  176. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
    Reasoning about Actions and Planning in LTL Action Theories. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:593-602 [Conf]
  177. Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi
    Eliminating Incoherence from Subjective Estimates of Chance. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:353-364 [Conf]
  178. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Processing and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:361-371 [Conf]
  179. Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
    First-Order Logic with Two Variables and Unary Temporal Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:228-235 [Conf]
  180. Tomás Feder, Moshe Y. Vardi
    Homomorphism Closed vs. Existential Positive. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:311-320 [Conf]
  181. David Harel, Roni Rosner, Moshe Y. Vardi
    On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:478-488 [Conf]
  182. Orna Kupferman, Shmuel Safra, Moshe Y. Vardi
    Relating Word and Tree Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:322-332 [Conf]
  183. Orna Kupferman, Moshe Y. Vardi
    Synthesizing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:- [Conf]
  184. Orna Kupferman, Moshe Y. Vardi
    Memoryful Branching-Time Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:265-274 [Conf]
  185. Orna Kupferman, Moshe Y. Vardi
    Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:81-92 [Conf]
  186. Guoqiang Pan, Moshe Y. Vardi
    Fixed-Parameter Hierarchies inside PSPACE. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:27-36 [Conf]
  187. Marco Pistore, Moshe Y. Vardi
    The Planning Spectrum - One, Two, Three, Infinity. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:234-243 [Conf]
  188. Nir Piterman, Moshe Y. Vardi
    Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:381-0 [Conf]
  189. Moshe Y. Vardi
    Verification of Concurrent Programs: The Automata-Theoretic Framework [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:167-176 [Conf]
  190. Moshe Y. Vardi
    On the Complexity of Epistemic Reasoning [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:243-252 [Conf]
  191. Moshe Y. Vardi
    On the Complexity of Modular Model Checking [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:101-111 [Conf]
  192. Moshe Y. Vardi
    Linear vs. Branching Time: A Complexity-Theoretic Perspective. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:394-405 [Conf]
  193. Moshe Y. Vardi
    The Taming of Converse: Reasoning about Two-way Computations. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:413-423 [Conf]
  194. Moshe Y. Vardi, Pierre Wolper
    Yet Another Process Logic (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:501-512 [Conf]
  195. Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi
    Treewidth in Verification: Local vs. Global. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:489-503 [Conf]
  196. Orna Kupferman, Yoad Lustig, Moshe Y. Vardi
    On Locally Checkable Properties. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:302-316 [Conf]
  197. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    Pushdown Specifications. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:262-277 [Conf]
  198. Orna Kupferman, Moshe Y. Vardi
    On Bounded Specifications. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:24-38 [Conf]
  199. Deian Tabakov, Moshe Y. Vardi
    Experimental Evaluation of Classical Automata Constructions. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:396-411 [Conf]
  200. Phokion G. Kolaitis, Moshe Y. Vardi
    0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:84-98 [Conf]
  201. Orna Kupferman, Moshe Y. Vardi
    µ-Calculus Synthesis. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:497-507 [Conf]
  202. Nir Piterman, Moshe Y. Vardi
    From Bidirectionality to Alternation. [Citation Graph (0, 0)][DBLP]
    MFCS, 2001, pp:598-610 [Conf]
  203. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    PODC, 1995, pp:153-163 [Conf]
  204. Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi
    In Memoriam: Paris C. Kanellakis. [Citation Graph (0, 0)][DBLP]
    PODS, 1996, pp:79- [Conf]
  205. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Lossless Regular Views. [Citation Graph (0, 0)][DBLP]
    PODS, 2002, pp:247-258 [Conf]
  206. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-based query containment. [Citation Graph (0, 0)][DBLP]
    PODS, 2003, pp:56-67 [Conf]
  207. Moshe Y. Vardi
    Constraint Satisfaction and Database Theory: a Tutorial. [Citation Graph (0, 45)][DBLP]
    PODS, 2000, pp:76-85 [Conf]
  208. Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi
    Proving that programs eventually do something good. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:265-276 [Conf]
  209. Orna Kupferman, Moshe Y. Vardi
    Relating linear and branching model checking. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:304-326 [Conf]
  210. Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper
    Simple on-the-fly automatic verification of linear temporal logic. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:3-18 [Conf]
  211. Guoqiang Pan, Moshe Y. Vardi
    Search vs. Symbolic Techniques in Satisfiability Solving. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  212. Guoqiang Pan, Moshe Y. Vardi
    Search vs. Symbolic Techniques in Satisfiability Solving. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:235-250 [Conf]
  213. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Query Containment Using Views. [Citation Graph (0, 0)][DBLP]
    SEBD, 2003, pp:467-474 [Conf]
  214. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Rewriting of Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    SEBD, 1999, pp:213-224 [Conf]
  215. Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi
    Panel: logic in the computer science curriculum. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1998, pp:376-377 [Conf]
  216. M. Armoni, S. Rodger, Moshe Y. Vardi, R. Verma
    Automata theory: its relevance to computer science students and course contents. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2006, pp:197-198 [Conf]
  217. William Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben
    educational response to offshore outsourcing. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2006, pp:330-331 [Conf]
  218. Moshe Y. Vardi
    Database Logic Programming, Deductive Databases, and Expert Database Systems. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 1988, pp:7- [Conf]
  219. Doron Bustan, Orna Kupferman, Moshe Y. Vardi
    A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. [Citation Graph (0, 0)][DBLP]
    STACS, 2004, pp:522-533 [Conf]
  220. Orna Kupferman, Moshe Y. Vardi
    The Weakness of Self-Complementation. [Citation Graph (0, 0)][DBLP]
    STACS, 1999, pp:455-466 [Conf]
  221. Moshe Y. Vardi
    The Büchi Complementation Saga. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:12-22 [Conf]
  222. Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi
    Parametric real-time reasoning. [Citation Graph (0, 0)][DBLP]
    STOC, 1993, pp:592-601 [Conf]
  223. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper
    Reasoning about Fair Concurrent Programs [Citation Graph (0, 0)][DBLP]
    STOC, 1986, pp:283-294 [Conf]
  224. Ronald Fagin, Moshe Y. Vardi
    An Internal Semantics for Modal Logic: Preliminary Report [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:305-315 [Conf]
  225. Joseph Y. Halpern, Moshe Y. Vardi
    The Complexity of Reasoning about Knowledge and Time: Extended Abstract [Citation Graph (0, 0)][DBLP]
    STOC, 1986, pp:304-315 [Conf]
  226. Joseph Y. Halpern, Moshe Y. Vardi
    Reasoning about Knowledge and Time in Asynchronous Systems [Citation Graph (0, 0)][DBLP]
    STOC, 1988, pp:53-65 [Conf]
  227. Orna Kupferman, Moshe Y. Vardi
    Weak Alternating Automata and Tree Automata Emptiness. [Citation Graph (0, 0)][DBLP]
    STOC, 1998, pp:224-233 [Conf]
  228. Shmuel Safra, Moshe Y. Vardi
    On omega-Automata and Temporal Logic (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1989, pp:127-137 [Conf]
  229. Moshe Y. Vardi, Pierre Wolper
    Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:446-456 [Conf]
  230. Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi
    Resets vs. Aborts in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:65-80 [Conf]
  231. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:296-211 [Conf]
  232. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
    Coverage Metrics for Temporal Logic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:528-542 [Conf]
  233. Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
    Is There a Best Symbolic Cycle-Detection Algorithm? [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:420-434 [Conf]
  234. Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
    Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:176-191 [Conf]
  235. Orna Kupferman, Moshe Y. Vardi
    From Complementation to Certification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:591-606 [Conf]
  236. Orna Kupferman, Moshe Y. Vardi
    Complementation Constructions for Nondeterministic Automata on Infinite Words. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:206-221 [Conf]
  237. Moshe Y. Vardi
    Branching vs. Linear Time: Final Showdown. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:1-22 [Conf]
  238. Moshe Y. Vardi
    Nontraditional Applications of Automata Theory. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:575-597 [Conf]
  239. Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:255-266 [Conf]
  240. Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi
    The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1992, pp:229-244 [Conf]
  241. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:283-298 [Conf]
  242. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Nonstandard Approach to the Logical Omniscience Problem. [Citation Graph (0, 0)][DBLP]
    TARK, 1990, pp:41-55 [Conf]
  243. Ronald Fagin, Moshe Y. Vardi
    Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:187-206 [Conf]
  244. Moshe Y. Vardi
    On Epistemic Logic and Logical Omniscience. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:293-305 [Conf]
  245. Moshe Y. Vardi
    Implementing Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:15-30 [Conf]
  246. Moshe Y. Vardi
    Unified Verification Theory. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:202-212 [Conf]
  247. Catriel Beeri, Moshe Y. Vardi
    Decision Problems for Data Dependencies. [Citation Graph (0, 0)][DBLP]
    XP1 Workshop on Database Theory, 1980, pp:- [Conf]
  248. Moshe Y. Vardi
    Second-Order Dependency Theory. [Citation Graph (0, 0)][DBLP]
    XP4.5 Workshop on Database Theory, 1983, pp:- [Conf]
  249. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Nonstandard Approach to the Logical Omniscience Problem. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:79, n:2, pp:203-240 [Journal]
  250. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Common Knowledge Revisited. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:89-105 [Journal]
  251. Orna Kupferman, Shmuel Safra, Moshe Y. Vardi
    Relating word and tree automata. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:138, n:1-3, pp:126-146 [Journal]
  252. Moshe Y. Vardi
    Verification of Concurrent Programs: The Automata-Theoretic Framework. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:51, n:1-2, pp:79-98 [Journal]
  253. Orna Kupferman, Moshe Y. Vardi
    Church's problem revisited. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1999, v:5, n:2, pp:245-263 [Journal]
  254. Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi
    On the decision problem for two-variable first-order logic. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1997, v:3, n:1, pp:53-69 [Journal]
  255. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
    On the unusual effectiveness of logic in computer science. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:213-236 [Journal]
  256. Ken Kennedy, Moshe Y. Vardi
    A Rice University perspective on software engineering licensing. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:11, pp:94-95 [Journal]
  257. Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
    The Complexity of Problems on Graphs Represented as OBDDs. [Citation Graph (0, 0)][DBLP]
    Chicago J. Theor. Comput. Sci., 1999, v:1999, n:, pp:- [Journal]
  258. Orna Kupferman, Moshe Y. Vardi
    Verification of Fair Transition Systems. [Citation Graph (0, 0)][DBLP]
    Chicago J. Theor. Comput. Sci., 1998, v:1998, n:, pp:- [Journal]
  259. Moshe Y. Vardi
    Rank Predicates vs. Progress Measures in Concurrent-Program Verification. [Citation Graph (0, 0)][DBLP]
    Chicago J. Theor. Comput. Sci., 1996, v:1996, n:, pp:- [Journal]
  260. Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi
    Random 3-SAT: The Plot Thickens. [Citation Graph (0, 0)][DBLP]
    Constraints, 2003, v:8, n:3, pp:243-261 [Journal]
  261. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
    Complete Axiomatizations for Reasoning About Knowledge and Time [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  262. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Common knowledge revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  263. Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi
    In Memoriam Paris C. Kanellakis. [Citation Graph (0, 32)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:1, pp:3-15 [Journal]
  264. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
    Knowledge-Based Programs. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1997, v:10, n:4, pp:199-225 [Journal]
  265. Haim Gaifman, Moshe Y. Vardi
    A simple proof that connectivity of finite graphs is not first-order definable. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1985, v:26, n:, pp:43-44 [Journal]
  266. Moshe Y. Vardi
    A responce to "A complete axiomatisation for full join dependencies in relations". [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1985, v:26, n:, pp:65-66 [Journal]
  267. Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
    SAT-based Induction for Temporal Safety Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:3-16 [Journal]
  268. Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
    Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  269. Moshe Y. Vardi
    Model Checking: A Complexity-Theoretic Perspective (invited talk). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  270. R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi
    A New Heuristic for Bad Cycle Detection Using BDDs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:2, pp:131-140 [Journal]
  271. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
    Memory-Efficient Algorithms for the Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1992, v:1, n:2/3, pp:275-288 [Journal]
  272. Kathi Fisler, Moshe Y. Vardi
    Bisimulation Minimization and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:1, pp:39-78 [Journal]
  273. Orna Kupferman, Moshe Y. Vardi
    Model Checking of Safety Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:3, pp:291-314 [Journal]
  274. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
    Coverage metrics for temporal logic model checking*. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:3, pp:189-212 [Journal]
  275. Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
    First-Order Logic with Two Variables and Unary Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:279-295 [Journal]
  276. David Harel, Orna Kupferman, Moshe Y. Vardi
    On the Complexity of Verifying Concurrent Transition Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:2, pp:143-161 [Journal]
  277. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
    Module Checking. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:164, n:2, pp:322-344 [Journal]
  278. Moshe Y. Vardi
    In Memoriam: Paris C. Kanellakis (1953-1995). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:127, n:2, pp:65- [Journal]
  279. Moshe Y. Vardi, Pierre Wolper
    Reasoning About Infinite Computations [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:115, n:1, pp:1-37 [Journal]
  280. Moshe Y. Vardi
    Computational Model Theory: An Overview. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:4, pp:601-623 [Journal]
  281. Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi
    Büchi Complementation Made Tighter. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:851-868 [Journal]
  282. Moshe Y. Vardi
    Endmarkers can Make a Difference. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:35, n:3, pp:145-148 [Journal]
  283. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    A Model-Theoretic Analysis of Knowledge. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1991, v:38, n:2, pp:382-428 [Journal]
  284. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    What Can Machines Know? On the Properties of Knowledge in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1992, v:39, n:2, pp:328-376 [Journal]
  285. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
    An automata-theoretic approach to branching-time model checking. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:2, pp:312-360 [Journal]
  286. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
    Black Box Checking. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2002, v:7, n:2, pp:225-246 [Journal]
  287. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
    BDD-based decision procedures for the modal logic K. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2006, v:16, n:1-2, pp:169-208 [Journal]
  288. Guoqiang Pan, Moshe Y. Vardi
    Symbolic Techniques in Satisfiability Solving. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:25-50 [Journal]
  289. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Rewriting of Regular Expressions and Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:3, pp:443-465 [Journal]
  290. Surajit Chaudhuri, Moshe Y. Vardi
    On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1997, v:54, n:1, pp:61-78 [Journal]
  291. Joseph Y. Halpern, Moshe Y. Vardi
    The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1989, v:38, n:1, pp:195-237 [Journal]
  292. Yonit Kesten, Amir Pnueli, Moshe Y. Vardi
    Verification by Augmented Abstraction: The Automata-Theoretic View. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2001, v:62, n:4, pp:668-690 [Journal]
  293. Phokion G. Kolaitis, Moshe Y. Vardi
    Conjunctive-Query Containment and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2000, v:61, n:2, pp:302-332 [Journal]
  294. Moshe Y. Vardi
    The Implication and Finite Implication Problems for Typed Template Dependencies. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1984, v:28, n:1, pp:3-28 [Journal]
  295. Moshe Y. Vardi
    Database Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1991, v:10, n:1/2/3&4, pp:179-180 [Journal]
  296. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    What Is an Inference Rule? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1018-1045 [Journal]
  297. Moshe Y. Vardi
    Special Selection in Logic in Computer Science. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:608- [Journal]
  298. Tomás Feder, Moshe Y. Vardi
    The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1998, v:28, n:1, pp:57-104 [Journal]
  299. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
    Complete Axiomatizations for Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2004, v:33, n:3, pp:674-703 [Journal]
  300. Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi
    In memory of Seymour Ginsburg 1928 - 2004. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2005, v:34, n:1, pp:5-12 [Journal]
  301. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Reasoning on regular path queries. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2003, v:32, n:4, pp:83-92 [Journal]
  302. Kenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, Moshe Y. Vardi
    Reminiscences on Influential Papers. [Citation Graph (0, 5)][DBLP]
    SIGMOD Record, 1999, v:28, n:4, pp:39-41 [Journal]
  303. Moshe Y. Vardi
    Response to a Letter to the Editor. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1988, v:5, n:4, pp:4-6 [Journal]
  304. Orna Kupferman, Moshe Y. Vardi
    Vacuity detection in temporal model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:224-233 [Journal]
  305. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
    Coverage metrics for formal verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:373-386 [Journal]
  306. Catriel Beeri, Moshe Y. Vardi
    Formal Systems for Join Dependencies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:38, n:, pp:99-116 [Journal]
  307. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
    Decidable containment of recursive queries. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:1, pp:33-56 [Journal]
  308. Orna Kupferman, Moshe Y. Vardi
    From complementation to certification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:83-100 [Journal]
  309. Nir Piterman, Moshe Y. Vardi
    From bidirectionality to alternation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:, pp:295-321 [Journal]
  310. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
    The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:217-237 [Journal]
  311. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-based query processing: On the relationship between rewriting, answering and losslessness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:371, n:3, pp:169-182 [Journal]
  312. Orna Kupferman, Moshe Y. Vardi
    Weak alternating automata are not that weak. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:3, pp:408-429 [Journal]
  313. Orna Kupferman, Moshe Y. Vardi
    From linear time to branching time. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:2, pp:273-294 [Journal]
  314. Orna Kupferman, Moshe Y. Vardi
    An automata-theortetic approach to modular model checking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:87-128 [Journal]
  315. Sumit Nain, Moshe Y. Vardi
    Branching vs. Linear Time: Semantical Perspective. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:19-34 [Conf]
  316. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
    Hybrid Systems: From Verification to Falsification. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:463-476 [Conf]
  317. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
    From Liveness to Promptness. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:406-419 [Conf]
  318. Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
    Pushdown Module Checking with Imperfect Information. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:460-475 [Conf]
  319. Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi
    An Analysis of Slow Convergence in Interval Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:790-797 [Conf]
  320. Moshe Y. Vardi
    Formal Techniques for SystemC Verification; Position Paper. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:188-192 [Conf]
  321. Pietro Babighian, Gila Kamhi, Moshe Y. Vardi
    Interactive presentation: PowerQuest: trace driven data mining for power optimization. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:1078-1083 [Conf]
  322. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
    A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. [Citation Graph (0, 0)][DBLP]
    ICRA, 2007, pp:692-697 [Conf]
  323. Kristin Y. Rozier, Moshe Y. Vardi
    LTL Satisfiability Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:149-167 [Conf]
  324. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
    Property-Driven Partitioning for Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:389-404 [Conf]
  325. Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis
    Multi-objective Model Checking of Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:50-65 [Conf]
  326. Moshe Y. Vardi
    Linear-Time Model Checking: Automata Theory in Practice. [Citation Graph (0, 0)][DBLP]
    CIAA, 2007, pp:5-10 [Conf]
  327. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    GSTE is partitioned model checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:31, n:2, pp:177-196 [Journal]

  328. Node Selection Query Languages for Trees. [Citation Graph (, )][DBLP]


  329. From Automated Verification to Automated Design. [Citation Graph (, )][DBLP]


  330. Deeper Bound in BMC by Combining Constant Propagation and Abstraction. [Citation Graph (, )][DBLP]


  331. From Monadic Logic to PSL. [Citation Graph (, )][DBLP]


  332. An Automata-Theoretic Approach to Infinite-State Systems. [Citation Graph (, )][DBLP]


  333. 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. [Citation Graph (, )][DBLP]


  334. 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. [Citation Graph (, )][DBLP]


  335. A Logical Approach to Constraint Satisfaction. [Citation Graph (, )][DBLP]


  336. An Automata-Theoretic Approach to Regular XPath. [Citation Graph (, )][DBLP]


  337. A Temporal Language for SystemC. [Citation Graph (, )][DBLP]


  338. Synthesis from Component Libraries. [Citation Graph (, )][DBLP]


  339. Automata-Theoretic Model Checking Revisited. [Citation Graph (, )][DBLP]


  340. A Framework for Inherent Vacuity. [Citation Graph (, )][DBLP]


  341. Open Implication. [Citation Graph (, )][DBLP]


  342. Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. [Citation Graph (, )][DBLP]


  343. Sampling-based motion planning with temporal goals. [Citation Graph (, )][DBLP]


  344. Trace Semantics is Fully Abstract. [Citation Graph (, )][DBLP]


  345. Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. [Citation Graph (, )][DBLP]


  346. Symbolic Techniques in Propositional Satisfiability Solving. [Citation Graph (, )][DBLP]


  347. From Church and Prior to PSL. [Citation Graph (, )][DBLP]


  348. Büchi Complementation and Size-Change Termination. [Citation Graph (, )][DBLP]


  349. Falsification of LTL Safety Properties in Hybrid Systems. [Citation Graph (, )][DBLP]


  350. Efficient Büchi Universality Checking. [Citation Graph (, )][DBLP]


  351. Constraints, Graphs, Algebra, Logic, and Complexity. [Citation Graph (, )][DBLP]


  352. Automata-Theoretic Model Checking Revisited. [Citation Graph (, )][DBLP]


  353. Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. [Citation Graph (, )][DBLP]


  354. From Verification to Synthesis. [Citation Graph (, )][DBLP]


  355. From Philosophical to Industrial Logics. [Citation Graph (, )][DBLP]


  356. Model Checking as A Reachability Problem. [Citation Graph (, )][DBLP]


  357. CACM: past, present, and future. [Citation Graph (, )][DBLP]


  358. "Where do you come from? and where are you going?". [Citation Graph (, )][DBLP]


  359. Let us---together---make CACM exciting. [Citation Graph (, )][DBLP]


  360. How are we doing? [Citation Graph (, )][DBLP]


  361. "Yes, it can be done". [Citation Graph (, )][DBLP]


  362. Conferences vs. journals in computing research. [Citation Graph (, )][DBLP]


  363. Open, closed, or clopen access? [Citation Graph (, )][DBLP]


  364. The financial meltdown and computing. [Citation Graph (, )][DBLP]


  365. Is the image crisis over? [Citation Graph (, )][DBLP]


  366. Revisiting the publication culture in computing research. [Citation Graph (, )][DBLP]


  367. More debate, please! [Citation Graph (, )][DBLP]


  368. Globalization and Offshoring of Software revisited. [Citation Graph (, )][DBLP]


  369. Hypercriticality. [Citation Graph (, )][DBLP]


  370. The Complexity of Enriched Mu-Calculi [Citation Graph (, )][DBLP]


  371. Multi-Objective Model Checking of Markov Decision Processes [Citation Graph (, )][DBLP]


  372. View Synthesis from Schema Mappings [Citation Graph (, )][DBLP]


Search in 0.127secs, Finished in 0.145secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002