Mijn eigen profiel maken
Openbare toegang
Alles bekijken17 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Andrei PopescuUniversity of SheffieldGeverifieerd e-mailadres voor sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenGeverifieerd e-mailadres voor in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHGeverifieerd e-mailadres voor inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenGeverifieerd e-mailadres voor di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenGeverifieerd e-mailadres voor ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenGeverifieerd e-mailadres voor yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
- Manuel EberlUniversity of InnsbruckGeverifieerd e-mailadres voor uibk.ac.at
- Mathias FleuryUniversity FreiburgGeverifieerd e-mailadres voor informatik.uni-freiburg.de
- Christian SternagelGeverifieerd e-mailadres voor uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyGeverifieerd e-mailadres voor cs.berkeley.edu
- Mooly SagivTel Aviv UniversityGeverifieerd e-mailadres voor acm.org
- Rastislav BodikUniversity of WashingtonGeverifieerd e-mailadres voor cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityGeverifieerd e-mailadres voor brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamGeverifieerd e-mailadres voor vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenGeverifieerd e-mailadres voor in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfGeverifieerd e-mailadres voor hhu.de