Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteE-mailová adresa ověřena na: utwente.nl
Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamE-mailová adresa ověřena na: cs.vu.nl
Leonid RyzhykFelderaE-mailová adresa ověřena na: feldera.com
June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
Matthew FernandezIntel LabsE-mailová adresa ověřena na: intel.com
Peter ChubbUNSW, SydneyE-mailová adresa ověřena na: unsw.edu.au
Henk SipsEm. Professor of Computer Science, Delft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalE-mailová adresa ověřena na: isep.ipp.pt
Kevin ElphinstoneUniversity of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
Guillaume PierreProfessor of computer science, University of RennesE-mailová adresa ověřena na: irisa.fr
Anne-Marie KermarrecProfessor, EPFLE-mailová adresa ověřena na: epfl.ch
Yan LiuProfessor, Concordia University, CanadaE-mailová adresa ověřena na: concordia.ca
Darren CoferRockwell CollinsE-mailová adresa ověřena na: ieee.org
Etienne Le SueurNICTAE-mailová adresa ověřena na: nicta.com.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
Adam FoltzerFastlyE-mailová adresa ověřena na: acfoltzer.net
Michael W WhalenAmazon, Inc. and the University of MinnesotaE-mailová adresa ověřena na: cs.umn.edu
Andrew GacekAmazon Web ServiceE-mailová adresa ověřena na: amazon.com
Sledovat![Ihor Kuz](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=UhqF_xAAAAAJ&citpid=2)