Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2602 | 603 |
Índice h | 24 | 11 |
Índice i10 | 46 | 15 |
Acceso público
Ver todo1 artículo
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiDirección de correo verificada de helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerDirección de correo verificada de fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraDirección de correo verificada de certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerDirección de correo verificada de atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyDirección de correo verificada de unitn.it
- Marco BozzanoFondazione Bruno KesslerDirección de correo verificada de fbk.eu
- Peter van RossumDirección de correo verificada de cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityDirección de correo verificada de aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiDirección de correo verificada de helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartDirección de correo verificada de eprover.org
- Silvio RaniseFBKDirección de correo verificada de fbk.eu
- Ivan PorresÅbo Akademi UniversityDirección de correo verificada de abo.fi
- Martin LangeProfessor of Computer Science, University of KasselDirección de correo verificada de uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyDirección de correo verificada de uni-bremen.de
- Jukka KohonenAalto UniversityDirección de correo verificada de aalto.fi