Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 856 | 404 |
h-index | 16 | 12 |
i10-indeks | 21 | 13 |
Offentlig adgang
Se alle17 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Andrei PopescuUniversity of SheffieldVerificeret mail på sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerificeret mail på in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHVerificeret mail på inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenVerificeret mail på di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerificeret mail på ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenVerificeret mail på yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerificeret mail på cmu.edu
- Manuel EberlUniversity of InnsbruckVerificeret mail på uibk.ac.at
- Mathias FleuryUniversity FreiburgVerificeret mail på informatik.uni-freiburg.de
- Christian SternagelVerificeret mail på uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyVerificeret mail på cs.berkeley.edu
- Mooly SagivTel Aviv UniversityVerificeret mail på acm.org
- Rastislav BodikUniversity of WashingtonVerificeret mail på cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityVerificeret mail på brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamVerificeret mail på vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenVerificeret mail på in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfVerificeret mail på hhu.de