Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2526 | 1939 |
Índice h | 32 | 27 |
Índice i10 | 55 | 53 |
Acesso público
Ver tudo57 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail confirmado em cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail confirmado em ru.nl
- Ufuk TopcuThe University of Texas at AustinEmail confirmado em utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail confirmado em cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyEmail confirmado em informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgEmail confirmado em informatik.uni-freiburg.de
- Murat CubuktepeUniversity of Texas at AustinEmail confirmado em utexas.edu
- Christian DehnertRWTH Aachen UniversityEmail confirmado em cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud UniversityEmail confirmado em ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail confirmado em tue.nl
- Steven CarrUniversity of Texas at AustinEmail confirmado em utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityEmail confirmado em science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonEmail confirmado em cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyEmail confirmado em iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail confirmado em utwente.nl
- Federico OlmedoUniversity of ChileEmail confirmado em dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail confirmado em cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichEmail confirmado em fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpEmail confirmado em uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Seguir
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Email confirmado em rub.de - Página inicial