Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2602 | 603 |
Índice h | 24 | 11 |
Índice i10 | 46 | 15 |
Acesso público
Ver todos1 artigo
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiE-mail confirmado em helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerE-mail confirmado em fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mail confirmado em certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerE-mail confirmado em atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyE-mail confirmado em unitn.it
- Marco BozzanoFondazione Bruno KesslerE-mail confirmado em fbk.eu
- Peter van RossumE-mail confirmado em cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityE-mail confirmado em aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgE-mail confirmado em informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiE-mail confirmado em helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartE-mail confirmado em eprover.org
- Silvio RaniseFBKE-mail confirmado em fbk.eu
- Ivan PorresÅbo Akademi UniversityE-mail confirmado em abo.fi
- Martin LangeProfessor of Computer Science, University of KasselE-mail confirmado em uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyE-mail confirmado em uni-bremen.de
- Jukka KohonenAalto UniversityE-mail confirmado em aalto.fi