Obter o 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 tudo1 artigo
1 artigo
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiEmail confirmado em helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerEmail confirmado em fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraEmail confirmado em certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerEmail confirmado em atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyEmail confirmado em unitn.it
- Marco BozzanoFondazione Bruno KesslerEmail confirmado em fbk.eu
- Peter van RossumEmail confirmado em cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityEmail confirmado em aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgEmail confirmado em informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiEmail confirmado em helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartEmail confirmado em eprover.org
- Silvio RaniseFBKEmail confirmado em fbk.eu
- Ivan PorresÅbo Akademi UniversityEmail confirmado em abo.fi
- Martin LangeProfessor of Computer Science, University of KasselEmail confirmado em uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyEmail confirmado em uni-bremen.de
- Jukka KohonenAalto UniversityEmail confirmado em aalto.fi