Creați-vã propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 855 | 403 |
h-index | 16 | 12 |
i10-index | 21 | 13 |
Acces public
Afișați-le pe toate17 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Andrei PopescuUniversity of SheffieldAdresã de e-mail confirmatã pe sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresã de e-mail confirmatã pe in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHAdresã de e-mail confirmatã pe inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenAdresã de e-mail confirmatã pe di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresã de e-mail confirmatã pe ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenAdresã de e-mail confirmatã pe yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityAdresã de e-mail confirmatã pe cmu.edu
- Manuel EberlUniversity of InnsbruckAdresã de e-mail confirmatã pe uibk.ac.at
- Mathias FleuryUniversity FreiburgAdresã de e-mail confirmatã pe informatik.uni-freiburg.de
- Christian SternagelAdresã de e-mail confirmatã pe uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyAdresã de e-mail confirmatã pe cs.berkeley.edu
- Mooly SagivTel Aviv UniversityAdresã de e-mail confirmatã pe acm.org
- Rastislav BodikUniversity of WashingtonAdresã de e-mail confirmatã pe cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityAdresã de e-mail confirmatã pe brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamAdresã de e-mail confirmatã pe vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenAdresã de e-mail confirmatã pe in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfAdresã de e-mail confirmatã pe hhu.de
Urmãriți