Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 2606 | 607 |
indeks-h | 24 | 11 |
indeks-i10 | 46 | 16 |
Akses publik
Lihat semua1 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraEmail yang diverifikasi di certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerEmail yang diverifikasi di atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyEmail yang diverifikasi di unitn.it
- Marco BozzanoFondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Peter van RossumEmail yang diverifikasi di cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityEmail yang diverifikasi di aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiEmail yang diverifikasi di helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartEmail yang diverifikasi di eprover.org
- Silvio RaniseFBKEmail yang diverifikasi di fbk.eu
- Ivan PorresÅbo Akademi UniversityEmail yang diverifikasi di abo.fi
- Martin LangeProfessor of Computer Science, University of KasselEmail yang diverifikasi di uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyEmail yang diverifikasi di uni-bremen.de