自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Gernot HeiserProfessor of Computer Science, University of New South Wales確認したメール アドレス: unsw.edu.au
- Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. Twente確認したメール アドレス: utwente.nl
- Gerwin KleinProofcraft and UNSW確認したメール アドレス: unsw.edu.au
- Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, Amsterdam確認したメール アドレス: cs.vu.nl
- Leonid RyzhykFeldera確認したメール アドレス: feldera.com
- June AndronickCEO and co-founcer, Proofcraft確認したメール アドレス: proofcraft.systems
- Matthew FernandezIntel Labs確認したメール アドレス: intel.com
- Peter ChubbUNSW, Sydney確認したメール アドレス: unsw.edu.au
- Henk SipsEm. Professor of Computer Science, Delft University of Technology確認したメール アドレス: tudelft.nl
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, Portugal確認したメール アドレス: isep.ipp.pt
- Kevin ElphinstoneUniversity of New South Wales確認したメール アドレス: cse.unsw.edu.au
- Guillaume PierreProfessor of computer science, University of Rennes確認したメール アドレス: irisa.fr
- Anne-Marie KermarrecProfessor, EPFL確認したメール アドレス: epfl.ch
- Yan LiuAssociate Professor, Concordia University, Canada確認したメール アドレス: concordia.ca
- Darren CoferRockwell Collins確認したメール アドレス: ieee.org
- Etienne Le SueurNICTA確認したメール アドレス: nicta.com.au
- Toby MurraySchool of Computing and Information Systems, University of Melbourne確認したメール アドレス: unimelb.edu.au
- Adam FoltzerFastly確認したメール アドレス: acfoltzer.net
- Michael W WhalenAmazon, Inc. and the University of Minnesota確認したメール アドレス: cs.umn.edu
- Andrew GacekAmazon Web Service確認したメール アドレス: amazon.com