Založit si vlastní profil
Veřejný přístup
Zobrazit všechny10 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Liam O'ConnorThe Australian National University and The University of EdinburghE-mailová adresa ověřena na: anu.edu.au
- Zilin ChenUNSWE-mailová adresa ověřena na: unswalumni.com
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Gabriele KellerUtrecht UniversityE-mailová adresa ověřena na: uu.nl
- Yutaka NagashimaHuawei Technologies R&D (UK)E-mailová adresa ověřena na: huawei.com
- Joachim BreitnerLean FROE-mailová adresa ověřena na: joachim-breitner.de
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Kurt MehlhornProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusE-mailová adresa ověřena na: mpi-inf.mpg.de
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyE-mailová adresa ověřena na: unsw.edu.au
- Peter ChubbUNSW, SydneyE-mailová adresa ověřena na: unsw.edu.au
- Eyad AlkassarE-mailová adresa ověřena na: wjpserver.cs.uni-saarland.de
- Yao LiPortland State UniversityE-mailová adresa ověřena na: pdx.edu
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Haris AzizUNSW Sydney - Scientia Associate ProfessorE-mailová adresa ověřena na: unsw.edu.au
- Carroll MorganProfessor, University of New South Wales and DATA61E-mailová adresa ověřena na: unsw.edu.au
- Daniel MatichukPhD Graduate, UNSWE-mailová adresa ověřena na: unswalumni.com
- Lars NoschinskiTechnische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
Sledovat
Christine Rizkallah
Senior Lecturer at the University of Melbourne
E-mailová adresa ověřena na: unimelb.edu.au - Domovská stránka