Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2781 | 2110 |
Índice h | 33 | 28 |
Índice i10 | 58 | 56 |
Acesso público
Ver tudo58 artigos
1 artigo
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
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail confirmado em cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinEmail confirmado em utexas.edu
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
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail confirmado em utwente.nl
Roderick BloemGraz University of TechnologyEmail confirmado em iaik.tugraz.at
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
David ParkerProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Guillermo A. PérezAssociate Professor, University of AntwerpEmail confirmado em uantwerp.be
Seguir![Nils Jansen](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=zUavkyEAAAAJ&citpid=6)
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Email confirmado em rub.de - Página inicial