Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2602 | 603 |
indice h | 24 | 11 |
indice i10 | 46 | 15 |
Accès public
Tout afficher1 article
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiAdresse e-mail validée de helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerAdresse e-mail validée de fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraAdresse e-mail validée de certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerAdresse e-mail validée de atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyAdresse e-mail validée de unitn.it
- Marco BozzanoFondazione Bruno KesslerAdresse e-mail validée de fbk.eu
- Peter van RossumAdresse e-mail validée de cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityAdresse e-mail validée de aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiAdresse e-mail validée de helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartAdresse e-mail validée de eprover.org
- Silvio RaniseFBKAdresse e-mail validée de fbk.eu
- Ivan PorresÅbo Akademi UniversityAdresse e-mail validée de abo.fi
- Martin LangeProfessor of Computer Science, University of KasselAdresse e-mail validée de uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyAdresse e-mail validée de uni-bremen.de
- Jukka KohonenAalto UniversityAdresse e-mail validée de aalto.fi