Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 989 | 381 |
h-indeks | 11 | 8 |
i10-indeks | 11 | 8 |
Dostęp publiczny
Wyświetl wszystko7 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyZweryfikowany adres z uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceZweryfikowany adres z cs.cmu.edu
- Tillmann RendelSAPZweryfikowany adres z sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzZweryfikowany adres z uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityZweryfikowany adres z informatik.uni-leipzig.de
- Marko RosenmüllerTomTomZweryfikowany adres z rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumZweryfikowany adres z rub.de
- Martin OderskyEPFLZweryfikowany adres z epfl.ch
- Leo StefanescoMPI-SWSZweryfikowany adres z mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Amin TimanyAarhus UniversityZweryfikowany adres z cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityZweryfikowany adres z pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenZweryfikowany adres z uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtZweryfikowany adres z informatik.tu-darmstadt.de
- Aggelos BiboudisOracleZweryfikowany adres z oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Zweryfikowany adres z ust.hk
- Ondrej LhotakComputer Science, University of WaterlooZweryfikowany adres z uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLZweryfikowany adres z epfl.ch
Obserwuj
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Zweryfikowany adres z tudelft.nl