Crear mi propio perfil
Citado por
| Total | Desde 2020 | |
|---|---|---|
| Citas | 30382 | 9968 |
| Índice h | 78 | 39 |
| Índice i10 | 263 | 153 |
Acceso público
Ver todo128 artículos
3 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de- Christel BaierTU DresdenDirección de correo verificada de tu-dresden.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenDirección de correo verificada de ru.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumDirección de correo verificada de rub.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonDirección de correo verificada de cs.uni-saarland.de
- Boudewijn R. HaverkortUniversity of TwenteDirección de correo verificada de utwente.nl
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
- Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgDirección de correo verificada de uol.de
- Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETDirección de correo verificada de famaf.unc.edu.ar
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyDirección de correo verificada de informatik.uni-freiburg.de
- Martin LeuckerProfessor of Computer Science, University of LübeckDirección de correo verificada de isp.uni-luebeck.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
- Diego LatellaSenior Researcher - CNR-ISTI Pisa (ret.)Dirección de correo verificada de cnr.it
- Tim QuatmannRWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
- Thomas NollRWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
- Ed BrinksmaHoogleraar informatica, Universiteit TwenteDirección de correo verificada de utwente.nl
- Christian DehnertRWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
- Viet Yen NguyenCTO at HypefactorsDirección de correo verificada de hypefactors.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteDirección de correo verificada de utwente.nl
Seguir
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Dirección de correo verificada de cs.rwth-aachen.de - Página principal