Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 117 | 69 |
Índice h | 7 | 5 |
Índice i10 | 3 | 2 |
Acesso público
Ver todos3 artigos
2 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Martin OderskyEPFLE-mail confirmado em epfl.ch
- Vlad UrechePhD student, LAMP, EPFLE-mail confirmado em epfl.ch
- Aggelos BiboudisOracleE-mail confirmado em oracle.com
- Tiark RompfPurdue UniversityE-mail confirmado em purdue.edu
- Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyE-mail confirmado em b-studios.de
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mail confirmado em tudelft.nl
- Dmytro PetrashkoPhD candidateE-mail confirmado em epfl.ch