Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 989 | 381 |
Índice h | 11 | 8 |
Índice i10 | 11 | 8 |
Acceso público
Ver todo7 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyDirección de correo verificada de uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceDirección de correo verificada de cs.cmu.edu
- Tillmann RendelSAPDirección de correo verificada de sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzDirección de correo verificada de uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityDirección de correo verificada de informatik.uni-leipzig.de
- Marko RosenmüllerTomTomDirección de correo verificada de rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumDirección de correo verificada de rub.de
- Martin OderskyEPFLDirección de correo verificada de epfl.ch
- Leo StefanescoMPI-SWSDirección de correo verificada de mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenDirección de correo verificada de cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Amin TimanyAarhus UniversityDirección de correo verificada de cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityDirección de correo verificada de pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenDirección de correo verificada de uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtDirección de correo verificada de informatik.tu-darmstadt.de
- Aggelos BiboudisOracleDirección de correo verificada de oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Dirección de correo verificada de ust.hk
- Ondrej LhotakComputer Science, University of WaterlooDirección de correo verificada de uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLDirección de correo verificada de epfl.ch
Seguir
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Dirección de correo verificada de tudelft.nl