Skapa en profil
Offentlig åtkomst
Visa alla17 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Andrei PopescuUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHVerifierad e-postadress på inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenVerifierad e-postadress på di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifierad e-postadress på ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenVerifierad e-postadress på yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Manuel EberlUniversity of InnsbruckVerifierad e-postadress på uibk.ac.at
- Mathias FleuryUniversity FreiburgVerifierad e-postadress på informatik.uni-freiburg.de
- Christian SternagelVerifierad e-postadress på uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyVerifierad e-postadress på cs.berkeley.edu
- Mooly SagivTel Aviv UniversityVerifierad e-postadress på acm.org
- Rastislav BodikUniversity of WashingtonVerifierad e-postadress på cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityVerifierad e-postadress på brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamVerifierad e-postadress på vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenVerifierad e-postadress på in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfVerifierad e-postadress på hhu.de