Orna Kupferman - Concepedia

Author

Orna Kupferman

Hebrew University of Jerusalem ORCID

Also Known As

Kupferman Orna, Kupferman, Orna, O Kupferman, O. Kupferman, ORNA KUPFERMAN, Orna Kupferman

314

Publications

9.7K

Citations

H-Index

Concepts

All Affiliations

Hebrew University of Jerusalem Rice University University of California, Berkeley Weizmann Institute of Science Reichman University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	29	52	4.7K
2	Business	7	7	328
3	Language Studies	6	6	127
4	Education	1	1	49
5	Law	1	1	49

Orna Kupferman

Publications

5.8K

Citations

H-Index

Page 1

	Year	Citations
Alternating-time temporal logic Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Journal of the ACM Computational LogicNon-classical LogicAlternating-time Temporal LogicEngineeringUniversal Quantification	2002	1.4K
An automata-theoretic approach to branching-time model checking Orna Kupferman, Moshe Y. Vardi, Pierre Wolper Journal of the ACM Tree AutomataEngineeringVerificationComputer-aided VerificationComputational Complexity	2000	613
Model Checking of Safety Properties Orna Kupferman, Moshe Y. Vardi Formal Methods in System Design	2001	571
Alternating-time temporal logic Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Non-classical LogicAlternating-time Temporal LogicImplicit Universal QuantificationUniversal QuantificationEngineering	2002	313
Safraless Decision Procedures Orna Kupferman, Moshe Y. Vardi EngineeringSafraless Decision ProceduresVerificationDecision AnalysisModel Checking	2005	237
Weak alternating automata are not that weak Orna Kupferman, Moshe Y. Vardi ACM Transactions on Computational Logic Formal SpecificationEngineeringLogical AutomatonAutomated ReasoningProgram Analysis	2001	223
Module Checking Orna Kupferman, Moshe Y. Vardi, Pierre Wolper Information and Computation	2001	185
Vacuity detection in temporal model checking Orna Kupferman, Moshe Y. Vardi International Journal on Software Tools for Technology Transfer Vacuity DetectionEngineeringAutomated ReasoningVerificationFormal Methods	2003	174
Concurrent reachability games Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman Theoretical Computer Science EngineeringReachability ProblemNetwork GameGame TheoryBusiness	2007	135
Weak alternating automata and tree automata emptiness Orna Kupferman, Moshe Y. Vardi Theory Of ComputingTree LanguageEngineeringData ScienceArticle Weak	1998	113

Page 1