Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 855 | 403 |
h-indeks | 16 | 12 |
i10-indeks | 21 | 13 |
Offentlig tilgang
Vis alle17 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Andrei PopescuUniversity of SheffieldVerifisert e-postadresse på sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifisert e-postadresse på in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHVerifisert e-postadresse på inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenVerifisert e-postadresse på di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifisert e-postadresse på ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenVerifisert e-postadresse på yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerifisert e-postadresse på cmu.edu
- Manuel EberlUniversity of InnsbruckVerifisert e-postadresse på uibk.ac.at
- Mathias FleuryUniversity FreiburgVerifisert e-postadresse på informatik.uni-freiburg.de
- Christian SternagelVerifisert e-postadresse på uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyVerifisert e-postadresse på cs.berkeley.edu
- Mooly SagivTel Aviv UniversityVerifisert e-postadresse på acm.org
- Rastislav BodikUniversity of WashingtonVerifisert e-postadresse på cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityVerifisert e-postadresse på brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamVerifisert e-postadresse på vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenVerifisert e-postadresse på in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfVerifisert e-postadresse på hhu.de