Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 87 | 43 |
Índice h | 6 | 5 |
Índice i10 | 4 | 0 |
Acesso público
Ver todos5 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mail confirmado em cwi.nl
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGE-mail confirmado em ing.com
- Nikolaos BezirgiannisE-mail confirmado em cwi.nl
- Behrooz NobakhtLIACS, CWIE-mail confirmado em liacs.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyE-mail confirmado em win.tue.nl
- Sadegh AliakbaryShahid Beheshti UniversityE-mail confirmado em sbu.ac.ir
- Raman RamsinAssistant Professor of Computer Science and Engineering, Sharif University of TechnologyE-mail confirmado em sharif.edu
- Fatemeh GolpayeganiAssistant Professor, Computer science, University College DublinE-mail confirmado em ucd.ie