Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 850 | 398 |
Índice h | 16 | 12 |
Índice i10 | 21 | 13 |
Acesso público
Ver tudo17 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Andrei PopescuUniversity of SheffieldEmail confirmado em sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail confirmado em in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHEmail confirmado em inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenEmail confirmado em di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail confirmado em ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenEmail confirmado em yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityEmail confirmado em cmu.edu
- Manuel EberlUniversity of InnsbruckEmail confirmado em uibk.ac.at
- Mathias FleuryUniversity FreiburgEmail confirmado em informatik.uni-freiburg.de
- Christian SternagelEmail confirmado em uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyEmail confirmado em cs.berkeley.edu
- Mooly SagivTel Aviv UniversityEmail confirmado em acm.org
- Rastislav BodikUniversity of WashingtonEmail confirmado em cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityEmail confirmado em brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamEmail confirmado em vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenEmail confirmado em in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfEmail confirmado em hhu.de