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
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Maximilian HeisingerJohannes Kepler UniversityE-mailová adresa ověřena na: jku.at
- Haniel BarbosaUniversidade Federal de Minas GeraisE-mailová adresa ověřena na: dcc.ufmg.br
- Peter LammichThe University of ManchesterE-mailová adresa ověřena na: in.tum.de
- Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusE-mailová adresa ověřena na: mpi-inf.mpg.de
- Dmitriy TraytelUniversity of CopenhagenE-mailová adresa ověřena na: di.ku.dk
- Daniela KaufmannTU WienE-mailová adresa ověřena na: tuwien.ac.at
- Andrei PopescuUniversity of SheffieldE-mailová adresa ověřena na: sheffield.ac.uk
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceE-mailová adresa ověřena na: loria.fr
- Johannes HölzlE-mailová adresa ověřena na: in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHE-mailová adresa ověřena na: inf.ethz.ch
- Christian SternagelE-mailová adresa ověřena na: uibk.ac.at
- Shaowei CaiInstitute of Software, Chinese Academy of SciencesE-mailová adresa ověřena na: ios.ac.cn
- Xindi Zhang (张昕荻)Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)E-mailová adresa ověřena na: ios.ac.cn