Researcher interests: Specification, verification, and synthesis of reactive systems. Modal and temporal logic. Automata on infinite objects. Concurrency. (Theoretical)
DEPARTMENT: Computer Science
Contact Business Development: Anna Pellivert

Selected Publications

denis kuperberg, Orna Kupferman, Shaull Almagor
sensing as a complexity measure (2019)| International Journal of Foundations of Computer Science| Read more
Orna Kupferman, rachel faran
a parametrized analysis of algorithms on hierarchical graphs (2019)| International Journal of Foundations of Computer Science| Read more
Orna Kupferman, sarai sheinvald
capacitated automata and systems (2019)| Information & Computation| Read more
bader abu radi, Orna Kupferman
minimizing gfg transition based automata (2019)| LIPICS - Leibniz International Proceedings in Informatics| Read more
gal vardi, Orna Kupferman
flow logic (2019)| arXiv: Logic in Computer Science| Read more
gal vardi, Orna Kupferman
perspective games (2019)| 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)| Read more
aniello murano, bastien maubert, giuseppe perelli, Orna Kupferman, nicolas markey, patricia bouyer
reasoning about quality and fuzziness of strategic behaviours (2019)| arXiv: Logic in Computer Science| Read more

Contact for more information:

Anna Pellivert
VP, BUSINESS DEVELOPMENT
+972-2-6586697
Contact ME: