Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 363 | 177 |
Índice h | 9 | 4 |
Índice i10 | 9 | 2 |
Acceso público
Ver todo6 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Dirección de correo verificada de cwi.nl
- Stijn de GouwAssistant Professor, Open University, The NetherlandsDirección de correo verificada de ou.nl
- Mohammad Mahdi JaghooriDockmeh, CWIDirección de correo verificada de cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGDirección de correo verificada de ing.com
- Chetan NagarajagowdaCWIDirección de correo verificada de cwi.nl
- Sadegh AliakbaryShahid Beheshti UniversityDirección de correo verificada de sbu.ac.ir
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityDirección de correo verificada de liacs.leidenuniv.nl