Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2781 | 2110 |
Índice h | 33 | 28 |
Índice i10 | 58 | 56 |
Acceso público
Ver todo58 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenDirección de correo verificada de ru.nl
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinDirección de correo verificada de utexas.edu
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyDirección de correo verificada de informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Murat CubuktepeUniversity of Texas at AustinDirección de correo verificada de utexas.edu
Christian DehnertRWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
Thom BadingsPhD Candidate, Radboud UniversityDirección de correo verificada de ru.nl
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Steven CarrUniversity of Texas at AustinDirección de correo verificada de utexas.edu
Marnix SuilenPhD Candidate, Radboud UniversityDirección de correo verificada de science.ru.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonDirección de correo verificada de cs.uni-saarland.de
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteDirección de correo verificada de utwente.nl
Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Federico OlmedoUniversity of ChileDirección de correo verificada de dcc.uchile.cl
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichDirección de correo verificada de fi.muni.cz
David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Guillermo A. PérezAssociate Professor, University of AntwerpDirección de correo verificada de 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
Dirección de correo verificada de rub.de - Página principal