Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 457 | 425 |
h-index | 12 | 12 |
i10-index | 13 | 12 |
Nyilvános hozzáférés
Összes megtekintése10 cikk
2 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Philipp SchusterUniversity of TübingenE-mail megerősítve itt: uni-tuebingen.de
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyE-mail megerősítve itt: uni-tuebingen.de
- Martin OderskyEPFLE-mail megerősítve itt: epfl.ch
- Aleksander Boruch-GruszeckiEPFLE-mail megerősítve itt: epfl.ch
- Ondrej LhotakComputer Science, University of WaterlooE-mail megerősítve itt: uwaterloo.ca
- Tillmann RendelSAPE-mail megerősítve itt: sap.com
- Ningning XieUniversity of Toronto / Google DeepMindE-mail megerősítve itt: google.com
- Daniel HillerströmSenior researcher, Huawei Zurich Research CenterE-mail megerősítve itt: ed.ac.uk
- Nicolas StuckiPhD in Computer Science at EPFLE-mail megerősítve itt: epfl.ch
- Maxime KjaerEPFLE-mail megerősítve itt: alumni.epfl.ch
- Olivier BlanvillainEPFLE-mail megerősítve itt: epfl.ch
- Matthew LutzeAarhus UniversityE-mail megerősítve itt: cs.au.dk
- Magnus MadsenAarhus UniversityE-mail megerősítve itt: cs.au.dk
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)E-mail megerősítve itt: ust.hk
- Youyou CongTokyo Institute of TechnologyE-mail megerősítve itt: c.titech.ac.jp
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mail megerősítve itt: tudelft.nl
- Jonathan Lindegaard StarupPhD Student, Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk