Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 363 | 177 |
h-index | 9 | 4 |
i10-index | 9 | 2 |
Acces public
Afișați-le pe toate6 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresă de e-mail confirmată pe cwi.nl
- Stijn de GouwAssistant Professor, Open University, The NetherlandsAdresă de e-mail confirmată pe ou.nl
- Mohammad Mahdi JaghooriDockmeh, CWIAdresă de e-mail confirmată pe cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGAdresă de e-mail confirmată pe ing.com
- Chetan NagarajagowdaCWIAdresă de e-mail confirmată pe cwi.nl
- Sadegh AliakbaryShahid Beheshti UniversityAdresă de e-mail confirmată pe sbu.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityAdresă de e-mail confirmată pe liacs.leidenuniv.nl