Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 117 | 69 |
h-index | 7 | 5 |
i10-index | 3 | 2 |
Acces public
Afișați-le pe toate3 articole
2 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Martin OderskyEPFLAdresă de e-mail confirmată pe epfl.ch
- Vlad UrechePhD student, LAMP, EPFLAdresă de e-mail confirmată pe epfl.ch
- Aggelos BiboudisOracleAdresă de e-mail confirmată pe oracle.com
- Tiark RompfPurdue UniversityAdresă de e-mail confirmată pe purdue.edu
- Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyAdresă de e-mail confirmată pe b-studios.de
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Adresă de e-mail confirmată pe tudelft.nl
- Dmytro PetrashkoPhD candidateAdresă de e-mail confirmată pe epfl.ch