Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2602 | 603 |
h-indeks | 24 | 11 |
i10-indeks | 46 | 15 |
Dostęp publiczny
Wyświetl wszystko1 artykuł
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiZweryfikowany adres z helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerZweryfikowany adres z fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraZweryfikowany adres z certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerZweryfikowany adres z atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyZweryfikowany adres z unitn.it
- Marco BozzanoFondazione Bruno KesslerZweryfikowany adres z fbk.eu
- Peter van RossumZweryfikowany adres z cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityZweryfikowany adres z aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiZweryfikowany adres z helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartZweryfikowany adres z eprover.org
- Silvio RaniseFBKZweryfikowany adres z fbk.eu
- Ivan PorresÅbo Akademi UniversityZweryfikowany adres z abo.fi
- Martin LangeProfessor of Computer Science, University of KasselZweryfikowany adres z uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyZweryfikowany adres z uni-bremen.de
- Jukka KohonenAalto UniversityZweryfikowany adres z aalto.fi