الحصول على ملفك الشخصي الخاص
عدد المنشورات المتاحة للجميع
عرض المجموعة جميعها35 مقالة
0 مقالة
المقالات البحثية المتاحة للجميع
المقالات البحثية غير المتاحة للجميع
تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل
المؤلفون المشاركون
- Kevin ElphinstoneUniversity of New South Walesبريد إلكتروني تم التحقق منه على cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWبريد إلكتروني تم التحقق منه على unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, Chinaبريد إلكتروني تم التحقق منه على gpvsim.org
- June AndronickCEO and co-founcer, Proofcraftبريد إلكتروني تم التحقق منه على proofcraft.systems
- Prof Armin ABERLENational University of Singaporeبريد إلكتروني تم التحقق منه على nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 Ltdبريد إلكتروني تم التحقق منه على ikuz.org
- Peter ChubbUNSW, Sydneyبريد إلكتروني تم التحقق منه على unsw.edu.au
- David CockSenior Researcher, ETH Zurichبريد إلكتروني تم التحقق منه على cse.unsw.edu.au
- Leonid RyzhykFelderaبريد إلكتروني تم التحقق منه على feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, Portugalبريد إلكتروني تم التحقق منه على isep.ipp.pt
- Michael NorrishAustralian National Universityبريد إلكتروني تم التحقق منه على anu.edu.au
- Aaron CarrollAppleبريد إلكتروني تم التحقق منه على apple.com
- Bernard Blackhamبريد إلكتروني تم التحقق منه على largestprime.net
متابعة
Gernot Heiser
Professor of Computer Science, University of New South Wales
بريد إلكتروني تم التحقق منه على unsw.edu.au - الصفحة الرئيسية