Orna Kupferman
Hebrew University of Jerusalem(IL)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, semigroups and automata theory, Software Testing and Debugging Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Alternating-time temporal logic(2002)1,399 cited
- → An automata-theoretic approach to branching-time model checking(2000)613 cited
- → Model Checking of Safety Properties(2001)571 cited
- → Alternating refinement relations(1998)295 cited
- → Safraless Decision Procedures(2005)237 cited
- → Weak alternating automata are not that weak(2001)223 cited
- → Module Checking(2001)185 cited