Crea el meu perfil
Accés públic
Mostra-ho tot9 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Gernot HeiserProfessor of Computer Science, University of New South WalesCorreu electrònic verificat a unsw.edu.au
- Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteCorreu electrònic verificat a utwente.nl
- Gerwin KleinProofcraft and UNSWCorreu electrònic verificat a unsw.edu.au
- Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamCorreu electrònic verificat a cs.vu.nl
- Leonid RyzhykFelderaCorreu electrònic verificat a feldera.com
- June AndronickCEO and co-founcer, ProofcraftCorreu electrònic verificat a proofcraft.systems
- Matthew FernandezIntel LabsCorreu electrònic verificat a intel.com
- Peter ChubbUNSW, SydneyCorreu electrònic verificat a unsw.edu.au
- Henk SipsEm. Professor of Computer Science, Delft University of TechnologyCorreu electrònic verificat a tudelft.nl
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalCorreu electrònic verificat a isep.ipp.pt
- Kevin ElphinstoneUniversity of New South WalesCorreu electrònic verificat a cse.unsw.edu.au
- Guillaume PierreProfessor of computer science, University of RennesCorreu electrònic verificat a irisa.fr
- Anne-Marie KermarrecProfessor, EPFLCorreu electrònic verificat a epfl.ch
- Yan LiuAssociate Professor, Concordia University, CanadaCorreu electrònic verificat a concordia.ca
- Darren CoferRockwell CollinsCorreu electrònic verificat a ieee.org
- Etienne Le SueurNICTACorreu electrònic verificat a nicta.com.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneCorreu electrònic verificat a unimelb.edu.au
- Adam FoltzerFastlyCorreu electrònic verificat a acfoltzer.net
- Michael W WhalenAmazon, Inc. and the University of MinnesotaCorreu electrònic verificat a cs.umn.edu
- Andrew GacekAmazon Web ServiceCorreu electrònic verificat a amazon.com