Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 852 | 400 |
indice h | 16 | 12 |
indice i10 | 21 | 13 |
Accès public
Tout afficher17 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Andrei PopescuUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresse e-mail validée de in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHAdresse e-mail validée de inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenAdresse e-mail validée de di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresse e-mail validée de ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenAdresse e-mail validée de yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityAdresse e-mail validée de cmu.edu
- Manuel EberlUniversity of InnsbruckAdresse e-mail validée de uibk.ac.at
- Mathias FleuryUniversity FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
- Christian SternagelAdresse e-mail validée de uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyAdresse e-mail validée de cs.berkeley.edu
- Mooly SagivTel Aviv UniversityAdresse e-mail validée de acm.org
- Rastislav BodikUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityAdresse e-mail validée de brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamAdresse e-mail validée de vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenAdresse e-mail validée de in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfAdresse e-mail validée de hhu.de