Crea il mio profilo
Accesso pubblico
Visualizza tutto10 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Philipp SchusterUniversity of TübingenEmail verificata su uni-tuebingen.de
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyEmail verificata su uni-tuebingen.de
- Martin OderskyEPFLEmail verificata su epfl.ch
- Aleksander Boruch-GruszeckiEPFLEmail verificata su epfl.ch
- Ondrej LhotakComputer Science, University of WaterlooEmail verificata su uwaterloo.ca
- Tillmann RendelSAPEmail verificata su sap.com
- Ningning XieUniversity of Toronto / Google DeepMindEmail verificata su google.com
- Daniel HillerströmSenior researcher, Huawei Zurich Research CenterEmail verificata su ed.ac.uk
- Nicolas StuckiPhD in Computer Science at EPFLEmail verificata su epfl.ch
- Maxime KjaerEPFLEmail verificata su alumni.epfl.ch
- Olivier BlanvillainEPFLEmail verificata su epfl.ch
- Matthew LutzeAarhus UniversityEmail verificata su cs.au.dk
- Magnus MadsenAarhus UniversityEmail verificata su cs.au.dk
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Email verificata su ust.hk
- Youyou CongTokyo Institute of TechnologyEmail verificata su c.titech.ac.jp
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Email verificata su tudelft.nl
- Jonathan Lindegaard StarupPhD Student, Computer Science, Aarhus UniversityEmail verificata su cs.au.dk