Crea il mio profilo
Accesso pubblico
Visualizza tutto17 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail verificata su ifi.lmu.de
- Armin BiereProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
- Maximilian HeisingerJohannes Kepler UniversityEmail verificata su jku.at
- Haniel BarbosaUniversidade Federal de Minas GeraisEmail verificata su dcc.ufmg.br
- Peter LammichThe University of ManchesterEmail verificata su in.tum.de
- Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusEmail verificata su mpi-inf.mpg.de
- Dmitriy TraytelUniversity of CopenhagenEmail verificata su di.ku.dk
- Daniela KaufmannTU WienEmail verificata su tuwien.ac.at
- Andrei PopescuUniversity of SheffieldEmail verificata su sheffield.ac.uk
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceEmail verificata su loria.fr
- Johannes HölzlEmail verificata su in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHEmail verificata su inf.ethz.ch
- Christian SternagelEmail verificata su uibk.ac.at
- Shaowei CaiInstitute of Software, Chinese Academy of SciencesEmail verificata su ios.ac.cn
- Xindi Zhang (张昕荻)Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)Email verificata su ios.ac.cn