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