Crea il mio profilo
Accesso pubblico
Visualizza tutto9 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail verificata su unsw.edu.au
- Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteEmail verificata su utwente.nl
- Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
- Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamEmail verificata su cs.vu.nl
- Leonid RyzhykFelderaEmail verificata su feldera.com
- June AndronickCEO and co-founcer, ProofcraftEmail verificata su proofcraft.systems
- Matthew FernandezIntel LabsEmail verificata su intel.com
- Peter ChubbUNSW, SydneyEmail verificata su unsw.edu.au
- Henk SipsEm. Professor of Computer Science, Delft University of TechnologyEmail verificata su tudelft.nl
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalEmail verificata su isep.ipp.pt
- Kevin ElphinstoneUniversity of New South WalesEmail verificata su cse.unsw.edu.au
- Guillaume PierreProfessor of computer science, University of RennesEmail verificata su irisa.fr
- Anne-Marie KermarrecProfessor, EPFLEmail verificata su epfl.ch
- Yan LiuAssociate Professor, Concordia University, CanadaEmail verificata su concordia.ca
- Darren CoferRockwell CollinsEmail verificata su ieee.org
- Etienne Le SueurNICTAEmail verificata su nicta.com.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail verificata su unimelb.edu.au
- Adam FoltzerFastlyEmail verificata su acfoltzer.net
- Michael W WhalenAmazon, Inc. and the University of MinnesotaEmail verificata su cs.umn.edu
- Andrew GacekAmazon Web ServiceEmail verificata su amazon.com