Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 854 | 402 |
h-index | 16 | 12 |
i10-index | 21 | 13 |
Nyilvános hozzáférés
Összes megtekintése17 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Andrei PopescuUniversity of SheffieldE-mail megerősítve itt: sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail megerősítve itt: in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHE-mail megerősítve itt: inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenE-mail megerősítve itt: di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail megerősítve itt: ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenE-mail megerősítve itt: yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityE-mail megerősítve itt: cmu.edu
- Manuel EberlUniversity of InnsbruckE-mail megerősítve itt: uibk.ac.at
- Mathias FleuryUniversity FreiburgE-mail megerősítve itt: informatik.uni-freiburg.de
- Christian SternagelE-mail megerősítve itt: uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyE-mail megerősítve itt: cs.berkeley.edu
- Mooly SagivTel Aviv UniversityE-mail megerősítve itt: acm.org
- Rastislav BodikUniversity of WashingtonE-mail megerősítve itt: cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityE-mail megerősítve itt: brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamE-mail megerősítve itt: vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenE-mail megerősítve itt: in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfE-mail megerősítve itt: hhu.de