Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 2602 | 603 |
h-индекс | 24 | 11 |
i10-индекс | 46 | 15 |
Общий доступ
Просмотреть все1 статья
1 статья
доступно
недоступно
На основе финансирования
Соавторы
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiПодтвержден адрес электронной почты в домене helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerПодтвержден адрес электронной почты в домене fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraПодтвержден адрес электронной почты в домене certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerПодтвержден адрес электронной почты в домене atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyПодтвержден адрес электронной почты в домене unitn.it
- Marco BozzanoFondazione Bruno KesslerПодтвержден адрес электронной почты в домене fbk.eu
- Peter van RossumПодтвержден адрес электронной почты в домене cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityПодтвержден адрес электронной почты в домене aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgПодтвержден адрес электронной почты в домене informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiПодтвержден адрес электронной почты в домене helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartПодтвержден адрес электронной почты в домене eprover.org
- Silvio RaniseFBKПодтвержден адрес электронной почты в домене fbk.eu
- Ivan PorresÅbo Akademi UniversityПодтвержден адрес электронной почты в домене abo.fi
- Martin LangeProfessor of Computer Science, University of KasselПодтвержден адрес электронной почты в домене uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyПодтвержден адрес электронной почты в домене uni-bremen.de
- Jukka KohonenAalto UniversityПодтвержден адрес электронной почты в домене aalto.fi