Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2022 | 836 |
Índice h | 20 | 13 |
Índice i10 | 32 | 16 |
Acesso público
Ver todos14 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mail confirmado em cs.tu-darmstadt.de
- Richard BubelDepartment of Computer Science, TU DarmstadtE-mail confirmado em cs.tu-darmstadt.de
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgE-mail confirmado em cse.gu.se
- Gordon J. PaceDepartment of Computer Science, University of MaltaE-mail confirmado em um.edu.mt
- Wojciech MostowskiHalmstad UniversityE-mail confirmado em hh.se
- Andreas RothSAP SEE-mail confirmado em sap.com
- Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mail confirmado em ur.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mail confirmado em cwi.nl
- Peter BaumgartnerData61|CSIROE-mail confirmado em data61.csiro.au
- Silvio RaniseFBKE-mail confirmado em fbk.eu
Seguir
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
E-mail confirmado em chalmers.se