Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2602 | 603 |
h-index | 24 | 11 |
i10-index | 46 | 15 |
Nyilvános hozzáférés
Összes megtekintése1 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiE-mail megerősítve itt: helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerE-mail megerősítve itt: fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mail megerősítve itt: certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerE-mail megerősítve itt: atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyE-mail megerősítve itt: unitn.it
- Marco BozzanoFondazione Bruno KesslerE-mail megerősítve itt: fbk.eu
- Peter van RossumE-mail megerősítve itt: cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityE-mail megerősítve itt: aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgE-mail megerősítve itt: informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiE-mail megerősítve itt: helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartE-mail megerősítve itt: eprover.org
- Silvio RaniseFBKE-mail megerősítve itt: fbk.eu
- Ivan PorresÅbo Akademi UniversityE-mail megerősítve itt: abo.fi
- Martin LangeProfessor of Computer Science, University of KasselE-mail megerősítve itt: uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyE-mail megerősítve itt: uni-bremen.de
- Jukka KohonenAalto UniversityE-mail megerősítve itt: aalto.fi