Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 989 | 381 |
indice h | 11 | 8 |
indice i10 | 11 | 8 |
Accès public
Tout afficher7 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyAdresse e-mail validée de uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceAdresse e-mail validée de cs.cmu.edu
- Tillmann RendelSAPAdresse e-mail validée de sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzAdresse e-mail validée de uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresse e-mail validée de cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityAdresse e-mail validée de informatik.uni-leipzig.de
- Marko RosenmüllerTomTomAdresse e-mail validée de rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumAdresse e-mail validée de rub.de
- Martin OderskyEPFLAdresse e-mail validée de epfl.ch
- Leo StefanescoMPI-SWSAdresse e-mail validée de mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Amin TimanyAarhus UniversityAdresse e-mail validée de cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresse e-mail validée de pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenAdresse e-mail validée de uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtAdresse e-mail validée de informatik.tu-darmstadt.de
- Aggelos BiboudisOracleAdresse e-mail validée de oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Adresse e-mail validée de ust.hk
- Ondrej LhotakComputer Science, University of WaterlooAdresse e-mail validée de uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLAdresse e-mail validée de epfl.ch
Suivre
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Adresse e-mail validée de tudelft.nl