Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 827 | 286 |
indice h | 16 | 6 |
indice i10 | 23 | 2 |
Accès public
Tout afficher3 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresse e-mail validée de cwi.nl
- Marjan SirjaniMälardalen UniversityAdresse e-mail validée de mdh.se
- Silvia OlabarriagaAmsterdam University Medical Centers, University of AmsterdamAdresse e-mail validée de amc.uva.nl
- Boris BleijlevensGenmab UtrechtAdresse e-mail validée de genmab.com
- Tom ChothiaUniversity of BirminghamAdresse e-mail validée de cs.bham.ac.uk
- Shayan ShahandAcademic Medical Center, University of AmsterdamAdresse e-mail validée de amc.uva.nl
- Amin ShaliUniversity of Texas, AustinAdresse e-mail validée de cs.utexas.edu
- Wang YiProfessor of Embedded Systems, Uppsala UniversityAdresse e-mail validée de it.uu.se
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonAdresse e-mail validée de kcl.ac.uk
- Christel BaierTU DresdenAdresse e-mail validée de tu-dresden.de
- Einar Broch JohnsenProfessor, University of OsloAdresse e-mail validée de ifi.uio.no
- Behrooz NobakhtLIACS, CWIAdresse e-mail validée de liacs.nl
- Farhad ArbabProfessor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it
- Andreas GriesmayerImperial College LondonAdresse e-mail validée de arm.com
- Ramtin KhosraviAssistant Prof., University of TehranAdresse e-mail validée de ut.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl