Založit si vlastní profil
Veřejný přístup
Zobrazit všechny17 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Andrei PopescuUniversity of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHE-mailová adresa ověřena na: inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenE-mailová adresa ověřena na: di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenE-mailová adresa ověřena na: yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityE-mailová adresa ověřena na: cmu.edu
- Manuel EberlUniversity of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
- Mathias FleuryUniversity FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Christian SternagelE-mailová adresa ověřena na: uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyE-mailová adresa ověřena na: cs.berkeley.edu
- Mooly SagivTel Aviv UniversityE-mailová adresa ověřena na: acm.org
- Rastislav BodikUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityE-mailová adresa ověřena na: brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamE-mailová adresa ověřena na: vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfE-mailová adresa ověřena na: hhu.de