Skapa en profil
Offentlig åtkomst
Visa alla10 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Philipp SchusterUniversity of TübingenVerifierad e-postadress på uni-tuebingen.de
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerifierad e-postadress på uni-tuebingen.de
- Martin OderskyEPFLVerifierad e-postadress på epfl.ch
- Aleksander Boruch-GruszeckiEPFLVerifierad e-postadress på epfl.ch
- Ondrej LhotakComputer Science, University of WaterlooVerifierad e-postadress på uwaterloo.ca
- Tillmann RendelSAPVerifierad e-postadress på sap.com
- Ningning XieUniversity of Toronto / Google DeepMindVerifierad e-postadress på google.com
- Daniel HillerströmSenior researcher, Huawei Zurich Research CenterVerifierad e-postadress på ed.ac.uk
- Nicolas StuckiPhD in Computer Science at EPFLVerifierad e-postadress på epfl.ch
- Maxime KjaerEPFLVerifierad e-postadress på alumni.epfl.ch
- Olivier BlanvillainEPFLVerifierad e-postadress på epfl.ch
- Matthew LutzeAarhus UniversityVerifierad e-postadress på cs.au.dk
- Magnus MadsenAarhus UniversityVerifierad e-postadress på cs.au.dk
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Verifierad e-postadress på ust.hk
- Youyou CongTokyo Institute of TechnologyVerifierad e-postadress på c.titech.ac.jp
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifierad e-postadress på tudelft.nl
- Jonathan Lindegaard StarupPhD Student, Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk