Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 87 | 43 |
indice h | 6 | 5 |
indice i10 | 4 | 0 |
Accès public
Tout afficher5 articles
1 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
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGAdresse e-mail validée de ing.com
- Nikolaos BezirgiannisAdresse e-mail validée de cwi.nl
- Behrooz NobakhtLIACS, CWIAdresse e-mail validée de liacs.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyAdresse e-mail validée de win.tue.nl
- Sadegh AliakbaryShahid Beheshti UniversityAdresse e-mail validée de sbu.ac.ir
- Raman RamsinAssistant Professor of Computer Science and Engineering, Sharif University of TechnologyAdresse e-mail validée de sharif.edu
- Fatemeh GolpayeganiAssistant Professor, Computer science, University College DublinAdresse e-mail validée de ucd.ie