Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Liam O'ConnorThe Australian National University and The University of EdinburghVerified email at anu.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Christine RizkallahSenior Lecturer at the University of MelbourneVerified email at unimelb.edu.au
Thomas SewellLecturer, University of New South WalesVerified email at unsw.edu.au
Zilin ChenUNSWVerified email at unswalumni.com
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Julian ParsertRPTU KaiserslauternVerified email at cs.rptu.de
Steffen BorgwardtUniversity of Colorado DenverVerified email at ucdenver.edu
Alexander MalkisGuest Researcher, TUMVerified email at daad-alumni.de
Follow
Yutaka Nagashima
Institute of Computer Science, the Czech Academy of Sciences
Verified email at cs.cas.cz - Homepage