Guy Avni

Orna Kupferman

Hebrew University of Jerusalem

External person

22 shared research output

Thomas A. Henzinger

Institute of Science and Technology Austria
IST

External person

16 shared research output

Shibashis Guha

Université libre de Bruxelles
Hebrew University of Jerusalem
Tata Institute of Fundamental Research

External person

8 shared research output

Tami Tamir

Reichman University

External person

6 shared research output

Ðorđe Žikelić

Institute of Science and Technology Austria

External person

5 shared research output

Shaull Almagor

Hebrew University of Jerusalem
Technion-Israel Institute of Technology

External person

3 shared research output

Suman Sadhukhan

University of Haifa

External person

3 shared research output

Rasmus Ibsen-Jensen

University of Liverpool

External person

3 shared research output

Ismäel Jecker

Institute of Science and Technology Austria
University of Warsaw

External person

2 shared research output

Pranav Ghorpade

SPIC Science Foundation
University of Sydney

External person

2 shared research output

Guillermo Rodriguez-Navas

Mälardalen University

External person

2 shared research output

Josef Tkadlec

Institute of Science and Technology Austria
Harvard University

External person

2 shared research output

Kaushik Mallik

Institute of Science and Technology Austria

External person

2 shared research output

Anna Lukina

Institute of Science and Technology Austria

External person

2 shared research output

Milad Aghajohari

Sharif University of Technology

External person

2 shared research output

Ventsislav Chonev

Max Planck Institute for Software Systems

External person

2 shared research output

Mirco Giacobbe

External person

1 shared research output

Henry Sinclair-Banks

University of Warwick

External person

1 shared research output

Guy Katz

External person

1 shared research output

Petr Novotný

Masaryk University

External person

1 shared research output

Stefan Pranger

Graz University of Technology

External person

1 shared research output

Shubham Goel

Indian Institute of Technology Bombay

External person

1 shared research output

Roderick Bloem

Graz University of Technology

External person

1 shared research output

Taylor T. Johnson

External person

1 shared research output

Krishnendu Chatterjee

Institute of Science and Technology Austria

External person

1 shared research output

Yotam Amitai

Technion-Israel Institute of Technology

External person

1 shared research output

Nina Narodytska

External person

1 shared research output

Ofra Amir

Technion-Israel Institute of Technology

External person

1 shared research output

Christian Schilling

External person

1 shared research output

Tobias Meggendorfer

Institute of Science and Technology Austria
Technical University of Munich

External person

1 shared research output

Ehsan Kafshdar Goharshady

Institute of Science and Technology Austria

External person

1 shared research output

Par Alizadeh Alamdari

Sharif University of Technology

External person

1 shared research output

Asaf Yeshurun

Technion-Israel Institute of Technology

External person

1 shared research output

Bettina Könighofer

Graz University of Technology

External person

1 shared research output

Guy Avni

Network