Concepedia

Orna Kupferman

OK

Statistics

Publications

65

Citations

5.9K

H-Index

32

Active since

1996

Affiliations

Hebrew University of Jerusalem(Current)

Rice University

University of California, Berkeley

Weizmann Institute of Science

Reichman University

Orna Kupferman is an author at Hebrew University of Jerusalem specializing in computer science, computing, and formal methods.

Publications per year

1996–2022

65

Publications

65

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations

Computing, Computer Science, Formal Methods +12

An automata-theoretic approach to branching-time model checking

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper · Journal of the ACM · 2000 · 616 citations · Full text

Computing, Computer Science, Algorithms +16

Model Checking of Safety Properties

Orna Kupferman, Moshe Y. Vardi · Formal Methods in System Design · 2001 · 577 citations

Engineering, Systems Engineering, Formal Methods +12

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · 2002 · 315 citations

Computing, Computer Science, Formal Methods +12

Safraless Decision Procedures

Orna Kupferman, Moshe Y. Vardi · 2005 · 238 citations

Computing, Computer Science, Algorithms +14

1–5 of 65