AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem - Jerusalem / Israel
Engineering & Technology / Computer Science
AD Scientific Index ID: 411145
האוניברסיטה העברית בירושלים
person_outline Orna Kupferman's MOST POPULAR ARTICLES
1-) Alternating-time temporal logic Journal of the ACM (JACM) 49 (5), 672-713, 2002
2-) Model checking of safety properties Formal methods in system design 19 (3), 291-314, 2001
3-) An automata-theoretic approach to branching-time model checking Journal of the ACM (JACM) 47 (2), 312-360, 2000
4-) Alternating refinement relations International Conference on Concurrency Theory, 163-178, 1998
5-) Weak alternating automata are not that weak ACM Transactions on Computational Logic (TOCL) 2 (3), 408-429, 2001