Moshe Y. Vardi
Affiliations: | Computer Science | Rice University, Houston, TX |
Area:
Computer Science, Computer Engineering, Applied MathematicsGoogle:
"Moshe Vardi"Children
Sign in to add trainee| Guoqiang Pan | grad student | 2007 | Rice University |
| Deian Tabakov | grad student | 2010 | Rice University |
| Seth Fogarty | grad student | 2012 | Rice University |
| Kristin Y. Rozier | grad student | 2012 | Rice University |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Li J, Pu G, Zhang Y, et al. (2020) SAT-based Explicit LTLf Satisfiability Checking Artificial Intelligence. 103369 |
| Paredes R, Dueñas-Osorio L, Meel KS, et al. (2019) Principled network reliability approximation: A counting-based approach Reliability Engineering & System Safety. 191: 106472 |
| Meel KS, Shrotri AA, Vardi MY. (2019) Not all FPRASs are equal: demystifying FPRASs for DNF-counting Constraints - An International Journal. 24: 211-233 |
| Li J, Zhang L, Zhu S, et al. (2018) An explicit transition system construction approach to LTL satisfiability checking Formal Aspects of Computing. 30: 193-217 |
| Barceló P, Romero M, Vardi MY. (2016) Semantic Acyclicity on Graph Databases Siam Journal On Computing. 45: 1339-1376 |
| Ivrii A, Malik S, Meel KS, et al. (2016) On computing minimal independent support and its applications to sampling and counting Constraints. 21: 41-58 |
| Reutter JL, Romero M, Vardi MY. (2016) Regular Queries on Graph Databases Theory of Computing Systems. 1-53 |
| Fogarty S, Kupferman O, Vardi MY, et al. (2015) Profile trees for Büchi word automata, with application to determinization Information and Computation. 245: 136-151 |
| Tsai M, Fogarty S, Vardi MY, et al. (2014) State of Büchi Complementation Logical Methods in Computer Science. 10 |
| Fogarty SJ, Kupferman O, Wilke T, et al. (2013) Unifying Büchi Complementation Constructions Logical Methods in Computer Science. 9: 1-26 |