Is this you? Create Your Porfile
Avatar

Leonid Ryzhyk

Samsung

Collaboration
Hierarchy
Hierarchy
[Coming Soon]
 Tree
Tree
[Coming Soon]
 Net
Net
[Coming Soon]
Top Co-Authors
Avatar

Adam Walker

NICTA

View shared research outputs
Top Co-Authors
Avatar

Alexander Legg

NICTA

View shared research outputs
Top Co-Authors
Avatar

Nina Narodytska

University of Toronto

View shared research outputs
Top Co-Authors
Avatar

Pavol Černý

University of Colorado Boulder

View shared research outputs
Top Co-Authors
Avatar

Arjun Radhakrishna

Institute of Science and Technology Austria

View shared research outputs
Top Co-Authors
Avatar

Thomas A. Henzinger

Institute of Science and Technology Austria

View shared research outputs
Top Co-Authors
Avatar

Thorsten Tarrach

Institute of Science and Technology Austria

View shared research outputs
Top Co-Authors
Avatar

Arun Raghunath

Intel

View shared research outputs
Top Co-Authors
Avatar

Edmund M. Clarke

Carnegie Mellon University

View shared research outputs
Top Co-Authors
Avatar

John Keys

Intel

View shared research outputs
Researchain Logo
Decentralizing Knowledge