Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 334 | 246 |
indeks-h | 7 | 7 |
indeks-i10 | 6 | 6 |
Akses publik
Lihat semua7 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Dave ClarkeIndependentEmail yang diverifikasi di storytel.com
- Tobias WrigstadProfessor of Computer Science, Uppsala UniversityEmail yang diverifikasi di it.uu.se
- Einar Broch JohnsenProfessor, University of OsloEmail yang diverifikasi di ifi.uio.no
- Elias CastegrenAssistant Professor, Uppsala UniversityEmail yang diverifikasi di it.uu.se
- ludovic henrioCNRSEmail yang diverifikasi di ens-lyon.fr
- Ehsan KhamespanahPostdoc, Reykjavik UniversityEmail yang diverifikasi di ru.is
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtEmail yang diverifikasi di cs.tu-darmstadt.de
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGEmail yang diverifikasi di ing.com
- Marjan SirjaniMälardalen UniversityEmail yang diverifikasi di mdh.se
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email yang diverifikasi di cwi.nl
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloEmail yang diverifikasi di ifi.uio.no
- Huu Phuc VoPhD candidate, Uppsala UniversityEmail yang diverifikasi di it.uu.se
- James NobleCreative Research & ProgrammingEmail yang diverifikasi di acm.org
- Isaac Oscar GarianoVictoria University of WellingtonEmail yang diverifikasi di ecs.vuw.ac.nz
- Sophia DrossopoulouProfessor, Imperial College LondonEmail yang diverifikasi di imperial.ac.uk
- Michael HomerVictoria University of WellingtonEmail yang diverifikasi di ecs.vuw.ac.nz