Search results for: Moshe Y. Vardi
Formal Methods in System Design > 2019 > 54 > 2 > 164-190
Constraints > 2019 > 24 > 3-4 > 211-233
Formal Aspects of Computing > 2018 > 30 > 2 > 193-217
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 312-331
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Plenary Talks > 3-3
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 250-266
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Invited Talks > 2-3
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Logics and Model-Checking > 528-542
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata Techniques > 591-606
Lecture Notes in Computer Science > Advances in Database Technology - EDBT 2004 > Foundations of Query Processing > 441-458
Annals of Mathematics and Artificial Intelligence > 2016 > 78 > 1 > 3-20
IEEE Transactions on Robotics > 2016 > 32 > 3 > 583 - 599