Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1048 | 221 |
Índice h | 17 | 7 |
Índice i10 | 18 | 7 |
Acesso público
Ver todos3 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Jeremy GibbonsProfessor of Computing, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Einar Broch JohnsenProfessor, University of OsloE-mail confirmado em ifi.uio.no
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mail confirmado em cs.tu-darmstadt.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mail confirmado em cwi.nl
- Elvira AlbertComplutense University of SpainE-mail confirmado em sip.ucm.es
- Ina SchaeferKarlsruhe Institute of Technology (KIT)E-mail confirmado em kit.edu
- Stijn de GouwAssistant Professor, Open University, The NetherlandsE-mail confirmado em ou.nl
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloE-mail confirmado em ifi.uio.no
- Radu MuscheviciTU DarmstadtE-mail confirmado em cs.tu-darmstadt.de
- Dave ClarkeIndependentE-mail confirmado em storytel.com
- Muddassar Azam SindhuAssociate Professor, Computer Science Department, Quaid i Azam University, IslamabadE-mail confirmado em qau.edu.pk
- Karl MeinkeProfessor of Computer Science KTH Royal Institute of TechnologyE-mail confirmado em kth.se
- Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridE-mail confirmado em fdi.ucm.es
- Michiel HelvensteijnSoftware Engineer at MetaE-mail confirmado em meta.com
- Jose ProencaCISTER - ISEPE-mail confirmado em proenca.org
- carlo augusto graziaTenure-Track Assistant Professor, University of Modena and Reggio EmiliaE-mail confirmado em unimore.it
- Cosimo LaneveProfessor of Computer Science, University of BolognaE-mail confirmado em unibo.it
- Lei FengAssociate Professor, KTH Royal Institute of TechnologyE-mail confirmado em kth.se
- Puri ArenasAssociate ProfessorE-mail confirmado em sip.ucm.es
- Richard BubelDepartment of Computer Science, TU DarmstadtE-mail confirmado em cs.tu-darmstadt.de