Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen30 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
June AndronickCEO and co-founcer, ProofcraftBestätigte E-Mail-Adresse bei proofcraft.systems
Gernot HeiserProfessor of Computer Science, University of New South WalesBestätigte E-Mail-Adresse bei unsw.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneBestätigte E-Mail-Adresse bei unimelb.edu.au
Kevin ElphinstoneUniversity of New South WalesBestätigte E-Mail-Adresse bei cse.unsw.edu.au
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenBestätigte E-Mail-Adresse bei in.tum.de
Michael NorrishAustralian National UniversityBestätigte E-Mail-Adresse bei anu.edu.au
David CockSenior Researcher, ETH ZurichBestätigte E-Mail-Adresse bei cse.unsw.edu.au
Ihor KuzPrincipal OS Engineer, Kry10 LtdBestätigte E-Mail-Adresse bei ikuz.org
Liam O'ConnorThe Australian National University and The University of EdinburghBestätigte E-Mail-Adresse bei anu.edu.au
Gabriele KellerUtrecht UniversityBestätigte E-Mail-Adresse bei uu.nl
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Bestätigte E-Mail-Adresse bei ce.pdn.ac.lk
Christine RizkallahSenior Lecturer at the University of MelbourneBestätigte E-Mail-Adresse bei unimelb.edu.au
Kai Engelhardtn.a.Bestätigte E-Mail-Adresse bei acm.org
Peter GammieANUBestätigte E-Mail-Adresse bei anu.edu.au
Daniel MatichukPhD Graduate, UNSWBestätigte E-Mail-Adresse bei unswalumni.com
Matthew FernandezIntel LabsBestätigte E-Mail-Adresse bei intel.com
Yutaka NagashimaInstitute of Computer Science, the Czech Academy of SciencesBestätigte E-Mail-Adresse bei cs.cas.cz
Mark StaplesData61, CSIROBestätigte E-Mail-Adresse bei data61.csiro.au
David GreenawayNICTA and School of Computer Science, University of New South WalesBestätigte E-Mail-Adresse bei cse.unsw.edu.au
R JefferyUNSWBestätigte E-Mail-Adresse bei cse.unsw.edu.au