Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 987 | 379 |
Índice h | 11 | 8 |
Índice i10 | 11 | 8 |
Acesso público
Ver todos7 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyE-mail confirmado em uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceE-mail confirmado em cs.cmu.edu
- Tillmann RendelSAPE-mail confirmado em sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzE-mail confirmado em uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail confirmado em cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityE-mail confirmado em informatik.uni-leipzig.de
- Marko RosenmüllerTomTomE-mail confirmado em rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumE-mail confirmado em rub.de
- Martin OderskyEPFLE-mail confirmado em epfl.ch
- Leo StefanescoMPI-SWSE-mail confirmado em mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail confirmado em cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Amin TimanyAarhus UniversityE-mail confirmado em cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mail confirmado em pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenE-mail confirmado em uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtE-mail confirmado em informatik.tu-darmstadt.de
- Aggelos BiboudisOracleE-mail confirmado em oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)E-mail confirmado em ust.hk
- Ondrej LhotakComputer Science, University of WaterlooE-mail confirmado em uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLE-mail confirmado em epfl.ch
Seguir
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
E-mail confirmado em tudelft.nl