Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 989 | 381 |
h-indeks | 11 | 8 |
i10-indeks | 11 | 8 |
Offentlig tilgang
Vis alle7 artikler
1 artikkel
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerifisert e-postadresse på uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceVerifisert e-postadresse på cs.cmu.edu
- Tillmann RendelSAPVerifisert e-postadresse på sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzVerifisert e-postadresse på uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifisert e-postadresse på cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityVerifisert e-postadresse på informatik.uni-leipzig.de
- Marko RosenmüllerTomTomVerifisert e-postadresse på rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerifisert e-postadresse på rub.de
- Martin OderskyEPFLVerifisert e-postadresse på epfl.ch
- Leo StefanescoMPI-SWSVerifisert e-postadresse på mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifisert e-postadresse på cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifisert e-postadresse på cs.au.dk
- Amin TimanyAarhus UniversityVerifisert e-postadresse på cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerifisert e-postadresse på pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenVerifisert e-postadresse på uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtVerifisert e-postadresse på informatik.tu-darmstadt.de
- Aggelos BiboudisOracleVerifisert e-postadresse på oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Verifisert e-postadresse på ust.hk
- Ondrej LhotakComputer Science, University of WaterlooVerifisert e-postadresse på uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLVerifisert e-postadresse på epfl.ch
Følg
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Verifisert e-postadresse på tudelft.nl