Obter o 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 tudo2 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Email confirmado em kit.edu
- Dave ClarkeIndependentEmail confirmado em storytel.com
- Peter Y. H. WongPreneticsEmail confirmado em wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtEmail confirmado em cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtEmail confirmado em cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsEmail confirmado em ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email confirmado em cwi.nl
- Joost WinterUniversity of WarsawEmail confirmado em mimuw.edu.pl