Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 363 | 177 |
indice h | 9 | 4 |
indice i10 | 9 | 2 |
Accès public
Tout afficher6 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
- Stijn de GouwAssistant Professor, Open University, The NetherlandsAdresse e-mail validée de ou.nl
- Mohammad Mahdi JaghooriDockmeh, CWIAdresse e-mail validée de cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGAdresse e-mail validée de ing.com
- Chetan NagarajagowdaCWIAdresse e-mail validée de cwi.nl
- Sadegh AliakbaryShahid Beheshti UniversityAdresse e-mail validée de sbu.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl