Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 855 | 403 |
Índice h | 16 | 12 |
Índice i10 | 21 | 13 |
Acceso público
Ver todo17 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Andrei PopescuUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHDirección de correo verificada de inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenDirección de correo verificada de di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenDirección de correo verificada de yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
- Manuel EberlUniversity of InnsbruckDirección de correo verificada de uibk.ac.at
- Mathias FleuryUniversity FreiburgDirección de correo verificada de informatik.uni-freiburg.de
- Christian SternagelDirección de correo verificada de uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyDirección de correo verificada de cs.berkeley.edu
- Mooly SagivTel Aviv UniversityDirección de correo verificada de acm.org
- Rastislav BodikUniversity of WashingtonDirección de correo verificada de cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityDirección de correo verificada de brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamDirección de correo verificada de vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenDirección de correo verificada de in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfDirección de correo verificada de hhu.de
Seguir