Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 555 | 387 |
Índice h | 13 | 11 |
Índice i10 | 16 | 13 |
Acceso público
Ver todo20 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
- Goran FrehseProfessor of Computer Science, ENSTA ParisDirección de correo verificada de ensta-paris.fr
- Anne RemkeUniversität MünsterDirección de correo verificada de wwu.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenDirección de correo verificada de ru.nl
- Xin ChenUniversity of New MexicoDirección de correo verificada de unm.edu
- Gereon KremerCertora LtdDirección de correo verificada de cs.stanford.edu
- Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityDirección de correo verificada de embedded.rwth-aachen.de
- Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderDirección de correo verificada de colorado.edu
- Carina da SilvaResearcher, University of MünsterDirección de correo verificada de uni-muenster.de
Seguir
Stefan Schupp
Formal Verification @Apple
No hay ninguna dirección de correo electrónico verificada. - Página principal