Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 258 | 68 |
Índice h | 6 | 4 |
Índice i10 | 6 | 2 |
Acesso público
Ver todos2 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Ina SchaeferKarlsruhe Institute of Technology (KIT)E-mail confirmado em kit.edu
- Dave ClarkeIndependentE-mail confirmado em storytel.com
- Peter Y. H. WongPreneticsE-mail confirmado em wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mail confirmado em cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtE-mail confirmado em cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsE-mail confirmado em ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mail confirmado em cwi.nl
- Joost WinterUniversity of WarsawE-mail confirmado em mimuw.edu.pl