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. |