Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 992 | 384 |
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