Orna Kupferman is a Professor of Computer Science and former Vice Rector at the Hebrew University of Jerusalem. She was elected to the Academia Europaea...
6 KB (509 words) - 13:54, 27 August 2023
Wigderson (2017), "On the Nature and Future of ToC" (Keynote Talk) Orna Kupferman (2017), "Examining classical graph-theory problems from the viewpoint...
12 KB (1,162 words) - 18:57, 13 December 2023
(Representation and Mind Series). The MIT Press. ISBNÂ 978-0262026499. Orna Kupferman; Moshe Y. Vardi (June 1999). "Church's problem revisited". Bulletin...
9 KB (1,570 words) - 15:14, 24 November 2023
Manfred Broy Robert Lee Constable Javier Esparza Orna Grumberg David Harel Tony Hoare* Orna Kupferman Tobias Nipkow Doron Peled Amir Pnueli* Alexander...
4 KB (323 words) - 14:12, 19 October 2022
and ATL*. Linear temporal logic Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna (1997). "Alternating-time temporal logic". Proceedings of the 38th...
5 KB (520 words) - 18:56, 1 June 2023
most Israeli artists, such as Yosef Zaritsky, Moshe Gershuni and Moshe Kupferman. In recent years, the Auction house staff has volunteered to donate time...
2 KB (296 words) - 11:23, 13 March 2023
continuous-time Markov chains." (CONCUR 1999) Rajeev Alur, Thomas A. Henzinger, Orna Kupferman & Moshe Y. Vardi: "Alternating Refinement Relations" (CONCUR 1998) Ahmed...
10 KB (947 words) - 12:06, 3 November 2023
Tal Itzhaki Orna Porat Children's Theater 1985 Coffee Please Nava Zuckerman Nava Zuckerman Tal Itzhaki Tal Itzhaki Tal Itzhaki Judy Kupferman Tmu-na Theatre...
32 KB (1,237 words) - 11:38, 26 May 2024
1007/978-3-319-23021-4_1. ISBNÂ 978-3-319-23021-4. Almagor, Shaull; Boker, Udi; Kupferman, Orna (2011). "What's Decidable about Weighted Automata?". In Bultan, Tevfik;...
14 KB (1,691 words) - 19:53, 27 May 2024
Yitzchak Raphael Halevi Etzion Yokhanan (Hans) Lindner Natural sciences Orna Porat Theatre Raphael Klatchkin Theatre Tal Brody Special contribution to...
68 KB (313 words) - 09:21, 27 May 2024