☰

Moshe Y. Vardi - Publications

Affiliations: 
Computer Science Rice University, Houston, TX 
Area:
Computer Science, Computer Engineering, Applied Mathematics
Tree Info Similar researchers PubMed Report error

62 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Li J, Pu G, Zhang Y, Vardi MY, Rozier KY. SAT-based Explicit LTLf Satisfiability Checking Artificial Intelligence. 103369. DOI: 10.1016/J.Artint.2020.103369  0.725
2019 Paredes R, Dueñas-Osorio L, Meel KS, Vardi MY. Principled network reliability approximation: A counting-based approach Reliability Engineering & System Safety. 191: 106472. DOI: 10.1016/J.Ress.2019.04.025  0.304
2019 Meel KS, Shrotri AA, Vardi MY. Not all FPRASs are equal: demystifying FPRASs for DNF-counting Constraints - An International Journal. 24: 211-233. DOI: 10.1007/S10601-018-9301-X  0.333
2018 Li J, Zhang L, Zhu S, Pu G, Vardi MY, He J. An explicit transition system construction approach to LTL satisfiability checking Formal Aspects of Computing. 30: 193-217. DOI: 10.1007/S00165-017-0442-2  0.364
2016 Barceló P, Romero M, Vardi MY. Semantic Acyclicity on Graph Databases Siam Journal On Computing. 45: 1339-1376. DOI: 10.1137/15M1034714  0.312
2016 Ivrii A, Malik S, Meel KS, Vardi MY. On computing minimal independent support and its applications to sampling and counting Constraints. 21: 41-58. DOI: 10.1007/S10601-015-9204-Z  0.332
2016 Reutter JL, Romero M, Vardi MY. Regular Queries on Graph Databases Theory of Computing Systems. 1-53. DOI: 10.1007/S00224-016-9676-2  0.325
2015 Fogarty S, Kupferman O, Vardi MY, Wilke T. Profile trees for Büchi word automata, with application to determinization Information and Computation. 245: 136-151. DOI: 10.1016/J.Ic.2014.12.021  0.624
2014 Tsai M, Fogarty S, Vardi MY, Tsay Y. State of Büchi Complementation Logical Methods in Computer Science. 10. DOI: 10.2168/Lmcs-10(4:13)2014  0.628
2013 Fogarty SJ, Kupferman O, Wilke T, Vardi MY. Unifying Büchi Complementation Constructions Logical Methods in Computer Science. 9: 1-26. DOI: 10.2168/Lmcs-9(1:13)2013  0.346
2013 Plaku E, Kavraki LE, Vardi MY. Falsification of LTL safety properties in hybrid systems International Journal On Software Tools For Technology Transfer. 15: 305-320. DOI: 10.1007/S10009-012-0233-2  0.311
2013 Rozier KY, Vardi MY. Deterministic compilation of temporal safety properties in explicit state model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7857: 243-259. DOI: 10.1007/978-3-642-39611-3-23  0.734
2012 Tabakov D, Vardi MY. Automatic aspectization of SystemC Miss'12 - Proceedings of the 2012 Workshop On Modularity in Systems Software. 9-13. DOI: 10.1145/2162024.2162029  0.697
2012 Kupferman O, Pnueli A, Vardi MY. Once and for all Journal of Computer and System Sciences. 78: 981-996. DOI: 10.1016/J.Jcss.2011.08.006  0.315
2011 Bordeaux L, Katsirelos G, Narodytska N, Vardi MY. The complexity of integer bound propagation Journal of Artificial Intelligence Research. 40: 657-676. DOI: 10.1613/Jair.3248  0.323
2011 Vardi MY. Solving the unsolvable Communications of the Acm. 54: 5. DOI: 10.1145/1965724.1965725  0.331
2011 Sebastiani R, Tonetta S, Vardi MY. Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking International Journal On Software Tools For Technology Transfer. 13: 319-335. DOI: 10.1007/S10009-010-0168-4  0.339
2011 Rozier KY, Vardi MY. A multi-encoding approach for LTL symbolic satisfiability checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6664: 417-431. DOI: 10.1007/978-3-642-21437-0_31  0.71
2010 Tabakov D, Vardi MY. Monitoring temporal systemc properties 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 123-132. DOI: 10.1109/MEMCOD.2010.5558640  0.712
2010 Tabakov D, Vardi MY. Optimized temporal monitors for SystemC Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6418: 436-451. DOI: 10.1007/978-3-642-16612-9_33  0.717
2010 Fogarty S, Vardi MY. Efficient Büchi universality checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6015: 205-220. DOI: 10.1007/978-3-642-12002-2_17  0.62
2009 Fogarty S, Vardi MY. Büchi complementation and size-change termination Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5505: 16-30. DOI: 10.2168/Lmcs-8(1:13)2012  0.633
2008 Etessami K, Kwiatkowska M, Vardi MY, Yannakakis M. Multi-objective model checking of Markov decision processes Logical Methods in Computer Science. 4. DOI: 10.2168/Lmcs-4(4:8)2008  0.322
2008 Bonatti PA, Lutz C, Murano A, Vardi MY. The Complexity of Enriched Mu-Calculi Logical Methods in Computer Science. 4. DOI: 10.2168/Lmcs-4(3:11)2008  0.35
2007 Pistore M, Vardi MY. The planning spectrum: one, two, three, infinity Journal of Artificial Intelligence Research. 30: 101-132. DOI: 10.1613/Jair.1909  0.344
2007 Calvanese D, Giacomo GD, Lenzerini M, Vardi MY. View-based query processing: On the relationship between rewriting, answering and losslessness Theoretical Computer Science. 371: 169-182. DOI: 10.1016/J.Tcs.2006.11.006  0.351
2007 Rozier KY, Vardi MY. LTL satisfiability checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4595: 149-167. DOI: 10.1007/S10009-010-0140-3  0.744
2007 Rozier KY, Vardi MY. LTL satisfiability checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4595: 149-167. DOI: 10.1007/s10009-010-0140-3  0.732
2006 Pan G, Sattler U, Vardi MY. BDD-based decision procedures for the modal logic K ★ Journal of Applied Non-Classical Logics. 16: 169-207. DOI: 10.3166/Jancl.16.169-207  0.555
2005 Kupferman O, Vardi MY. From linear time to branching time Acm Transactions On Computational Logic. 6: 273-294. DOI: 10.1145/1055686.1055689  0.334
2005 Calvanese D, Giacomo GD, Vardi MY. Decidable containment of recursive queries Theoretical Computer Science. 336: 33-56. DOI: 10.1016/J.Tcs.2004.10.031  0.317
2005 Armoni R, Fix L, Fraer R, Huddleston S, Piterman N, Vardi MY. SAT-based Induction for Temporal Safety Properties Electronic Notes in Theoretical Computer Science. 119: 3-16. DOI: 10.1016/J.Entcs.2004.12.021  0.338
2005 Pan G, Vardi MY. Symbolic techniques in satisfiability solving Journal of Automated Reasoning. 35: 25-50. DOI: 10.1007/S10817-005-9009-7  0.571
2005 Tabakov D, Vardi MY. Experimental evaluation of classical automata constructions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3835: 396-411. DOI: 10.1007/11591191_28  0.685
2003 Chockler H, Kupferman O, Vardi MY. Coverage Metrics for Formal Verification Lecture Notes in Computer Science. 111-125. DOI: 10.1007/978-3-540-39724-3_11  0.326
2002 Vardi MY. Model Checking: A Complexity-Theoretic Perspective: (invited talk) Electronic Notes in Theoretical Computer Science. 68: 484. DOI: 10.1016/S1571-0661(05)80386-X  0.329
2001 Kupferman O, Vardi MY. Weak alternating automata are not that weak Acm Transactions On Computational Logic. 2: 408-429. DOI: 10.1145/377978.377993  0.328
2001 Fraer R, Kamhi G, Fix L, Vardi MY. Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting Electronic Notes in Theoretical Computer Science. 23: 11-22. DOI: 10.1016/S1571-0661(04)80665-0  0.303
2001 Giunchiglia E, Narizzano M, Tacchella A, Vardi MY. Towards an Efficient Library for SAT: a Manifesto Electronic Notes in Discrete Mathematics. 9: 290-310. DOI: 10.1016/S1571-0653(04)00329-4  0.328
2001 Kesten Y, Pnueli A, Vardi MY. Verification by augmented abstraction: The automata-theoretic view Journal of Computer and System Sciences. 62: 668-690. DOI: 10.1006/Jcss.2000.1744  0.327
2000 Kupferman O, Vardi MY. An automata-theoretic approach to modular model checking Acm Transactions On Programming Languages and Systems. 22: 87-128. DOI: 10.1145/345099.345104  0.379
2000 Kupferman O, Vardi MY, Wolper P. An automata-theoretic approach to branching-time model checking Journal of the Acm. 47: 312-360. DOI: 10.1145/333979.333987  0.375
1999 Fagin R, Geanakoplos J, Halpern JY, Vardi MY. The hierarchical approach to modeling knowledge and common knowledge International Journal of Game Theory. 28: 331-365. DOI: 10.1007/S001820050114  0.3
1999 Kupferman O, Vardi MY. Vacuity detection in temporal model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1703: 82-98. DOI: 10.1007/3-540-48153-2_8  0.337
1999 Fisler K, Vardi MY. Bisimulation and model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1703: 338-342. DOI: 10.1007/3-540-48153-2_29  0.352
1999 Giacomo GD, Vardi MY. Automata-Theoretic Approach to Planning for Temporally Extended Goals Lecture Notes in Computer Science. 226-238. DOI: 10.1007/10720246_18  0.342
1998 Vardi MY. Computational model theory: an overview Logic Journal of the Igpl. 6: 601-624. DOI: 10.1093/Jigpal/6.4.601  0.314
1997 Etessami K, Vardi MY, Wilke T. First-Order Logic with Two Variables and Unary Temporal Logic Brics Report Series. 4. DOI: 10.7146/Brics.V4I5.18784  0.326
1997 Grädel E, Kolaitis PG, Vardi MY. On the decision problem for two-variable first-order logic Bulletin of Symbolic Logic. 3: 53-69. DOI: 10.2307/421196  0.324
1997 Harel D, Kupferman O, Vardi MY. On the complexity of verifying concurrent transition systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1243: 258-272. DOI: 10.1006/Inco.2001.2920  0.331
1996 Kupferman O, Vardi MY. Module checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1102: 75-86. DOI: 10.1006/Inco.2000.2893  0.336
1995 Fagin R, Halpern JY, Vardi MY. A nonstandard approach to the logical omniscience problem Artificial Intelligence. 79: 203-240. DOI: 10.1016/0004-3702(94)00060-3  0.345
1994 Vardi MY, Wolper P. Reasoning about Infinite Computations Information and Computation. 115: 1-37. DOI: 10.1006/Inco.1994.1092  0.303
1993 Kuper GM, Vardi MY. The logical data model Acm Transactions On Database Systems (Tods). 18: 379-413. DOI: 10.1145/155271.155274  0.311
1992 Fagin R, Halpern JY, Vardi MY. What is an Inference Rule Journal of Symbolic Logic. 57: 1018-1045. DOI: 10.2307/2275447  0.337
1991 Fagin R, Halpern JY, Vardi MY. A Model-Theoretic Analysis of Knowledge Journal of the Acm (Jacm). 38: 382-428. DOI: 10.1145/103516.128680  0.308
1990 Cosmadakis SS, Kanellakis PC, Vardi MY. Polynomial-time implication problems for unary inclusion dependencies Journal of the Acm. 37: 15-46. DOI: 10.1145/78935.78937  0.302
1988 Vardi MY. The Universal-Relation Data Model for Logical Independence Ieee Software. 5: 80-85. DOI: 10.1109/52.2015  0.304
1987 Sistla AP, Vardi MY, Wolper P. The complementation problem for Bu¨chi automata with applications to temporal logic Theoretical Computer Science. 49: 217-237. DOI: 10.1016/0304-3975(87)90008-9  0.335
1986 Graham MH, Mendelzon AO, Vardi MY. Notions of dependency satisfaction Journal of the Acm (Jacm). 33: 105-129. DOI: 10.1145/4904.4798  0.332
1986 Vardi MY. Querying logical databases Journal of Computer and System Sciences. 33: 142-160. DOI: 10.1016/0022-0000(86)90016-4  0.307
1984 Maier D, Ullman JD, Vardi MY. ON THE FOUNDATIONS OF THE UNIVERSAL RELATION MODEL Acm Transactions On Database Systems. 9: 283-308. DOI: 10.1145/329.318580  0.319
Show low-probability matches.