Crear mi propio perfil
Citado por
| Total | Desde 2019 | |
|---|---|---|
| Citas | 2903 | 2227 |
| Índice h | 34 | 29 |
| Índice i10 | 59 | 56 |
Acceso público
Ver todo59 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
- Ufuk TopcuThe University of Texas at AustinDirección de correo verificada de utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyDirecció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
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteDirección de correo verificada de utwente.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
- Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
- Federico OlmedoUniversity of ChileDirección de correo verificada de dcc.uchile.cl
- 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
- Licio RomaoPostdoctoral Researcher, Stanford UniversityDirección de correo verificada de stanford.edu
Seguir
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Dirección de correo verificada de rub.de - Página principal