Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen1 Artikel
0 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Gerwin KleinProofcraft and UNSWBestätigte E-Mail-Adresse bei unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesBestätigte E-Mail-Adresse bei unsw.edu.au
- Michael NorrishAustralian National UniversityBestätigte E-Mail-Adresse bei anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Bestätigte E-Mail-Adresse bei ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesBestätigte E-Mail-Adresse bei cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftBestätigte E-Mail-Adresse bei proofcraft.systems
- David CockSenior Researcher, ETH ZurichBestätigte E-Mail-Adresse bei cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesBestätigte E-Mail-Adresse bei cse.unsw.edu.au
- Yoram MosesTechnionBestätigte E-Mail-Adresse bei ee.technion.ac.il
- Peter GammieANUBestätigte E-Mail-Adresse bei anu.edu.au
- Kaile SuIIIS, Griffith UniversityBestätigte E-Mail-Adresse bei griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneBestätigte E-Mail-Adresse bei unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyBestätigte E-Mail-Adresse bei unsw.edu.au
- Tony HoskingAustralian National UniversityBestätigte E-Mail-Adresse bei anu.edu.au
- Chenyi ZhangOracle Labs AustraliaBestätigte E-Mail-Adresse bei oracle.com
- Ralf HuuckNICTA, UNSWBestätigte E-Mail-Adresse bei cse.unsw.edu.au