Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 989 | 381 |
h-индекс | 11 | 8 |
i10-индекс | 11 | 8 |
Публичен достъп
Преглед на всички7 статии
1 статия
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyПотвърден имейл адрес: uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceПотвърден имейл адрес: cs.cmu.edu
- Tillmann RendelSAPПотвърден имейл адрес: sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzПотвърден имейл адрес: uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusПотвърден имейл адрес: cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityПотвърден имейл адрес: informatik.uni-leipzig.de
- Marko RosenmüllerTomTomПотвърден имейл адрес: rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumПотвърден имейл адрес: rub.de
- Martin OderskyEPFLПотвърден имейл адрес: epfl.ch
- Leo StefanescoMPI-SWSПотвърден имейл адрес: mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenПотвърден имейл адрес: cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityПотвърден имейл адрес: cs.au.dk
- Amin TimanyAarhus UniversityПотвърден имейл адрес: cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityПотвърден имейл адрес: pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenПотвърден имейл адрес: uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtПотвърден имейл адрес: informatik.tu-darmstadt.de
- Aggelos BiboudisOracleПотвърден имейл адрес: oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Потвърден имейл адрес: ust.hk
- Ondrej LhotakComputer Science, University of WaterlooПотвърден имейл адрес: uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLПотвърден имейл адрес: epfl.ch
Следене
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Потвърден имейл адрес: tudelft.nl