Search results for: Orna Kupferman
Autonomous Agents and Multi-Agent Systems > 2019 > 33 > 6 > 798-820
Acta Informatica > 2018 > 55 > 8 > 703-732
Formal Methods in System Design > 2018 > 52 > 2 > 117-146
Discrete Event Dynamic Systems > 2017 > 27 > 3 > 547-572
Information and Computation > 2016 > 251 > C > 165-178
Lecture Notes in Computer Science > Randomization and Approximation Techniques in Computer Science > 26-38
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 67-81
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 312-331
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 316-330
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 482-491
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 110-124
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 > Logic for Programming, Artificial Intelligence, and Reasoning > 194-208
Annals of Mathematics and Artificial Intelligence > 2016 > 78 > 1 > 3-20
Lecture Notes in Computer Science > Static Analysis > 263-279