Crea il mio profilo
Accesso pubblico
Visualizza tutto17 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Andrei PopescuUniversity of SheffieldEmail verificata su sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail verificata su in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHEmail verificata su inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenEmail verificata su di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail verificata su ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenEmail verificata su yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityEmail verificata su cmu.edu
- Manuel EberlUniversity of InnsbruckEmail verificata su uibk.ac.at
- Mathias FleuryUniversity FreiburgEmail verificata su informatik.uni-freiburg.de
- Christian SternagelEmail verificata su uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyEmail verificata su cs.berkeley.edu
- Mooly SagivTel Aviv UniversityEmail verificata su acm.org
- Rastislav BodikUniversity of WashingtonEmail verificata su cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityEmail verificata su brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamEmail verificata su vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenEmail verificata su in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfEmail verificata su hhu.de