Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 1430 | 303 |
h-index | 17 | 10 |
i10-indeks | 24 | 10 |
Offentlig adgang
Se alle9 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerificeret mail på unsw.edu.au
- Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteVerificeret mail på utwente.nl
- Gerwin KleinProofcraft and UNSWVerificeret mail på unsw.edu.au
- Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamVerificeret mail på cs.vu.nl
- Leonid RyzhykFelderaVerificeret mail på feldera.com
- June AndronickCEO and co-founcer, ProofcraftVerificeret mail på proofcraft.systems
- Matthew FernandezIntel LabsVerificeret mail på intel.com
- Peter ChubbUNSW, SydneyVerificeret mail på unsw.edu.au
- Henk SipsEm. Professor of Computer Science, Delft University of TechnologyVerificeret mail på tudelft.nl
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerificeret mail på isep.ipp.pt
- Kevin ElphinstoneUniversity of New South WalesVerificeret mail på cse.unsw.edu.au
- Guillaume PierreProfessor of computer science, University of RennesVerificeret mail på irisa.fr
- Anne-Marie KermarrecProfessor, EPFLVerificeret mail på epfl.ch
- Yan LiuAssociate Professor, Concordia University, CanadaVerificeret mail på concordia.ca
- Darren CoferRockwell CollinsVerificeret mail på ieee.org
- Etienne Le SueurNICTAVerificeret mail på nicta.com.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerificeret mail på unimelb.edu.au
- Adam FoltzerFastlyVerificeret mail på acfoltzer.net
- Michael W WhalenAmazon, Inc. and the University of MinnesotaVerificeret mail på cs.umn.edu
- Andrew GacekAmazon Web ServiceVerificeret mail på amazon.com