Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 117 | 69 |
h-index | 7 | 5 |
i10-index | 3 | 2 |
Nyilvános hozzáférés
Összes megtekintése3 cikk
2 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Martin OderskyEPFLE-mail megerősítve itt: epfl.ch
- Vlad UrechePhD student, LAMP, EPFLE-mail megerősítve itt: epfl.ch
- Aggelos BiboudisOracleE-mail megerősítve itt: oracle.com
- Tiark RompfPurdue UniversityE-mail megerősítve itt: purdue.edu
- Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyE-mail megerősítve itt: b-studios.de
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mail megerősítve itt: tudelft.nl
- Dmytro PetrashkoPhD candidateE-mail megerősítve itt: epfl.ch