Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 989 | 381 |
h-index | 11 | 8 |
i10-index | 11 | 8 |
Nyilvános hozzáférés
Összes megtekintése7 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyE-mail megerősítve itt: uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceE-mail megerősítve itt: cs.cmu.edu
- Tillmann RendelSAPE-mail megerősítve itt: sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzE-mail megerősítve itt: uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail megerősítve itt: cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityE-mail megerősítve itt: informatik.uni-leipzig.de
- Marko RosenmüllerTomTomE-mail megerősítve itt: rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumE-mail megerősítve itt: rub.de
- Martin OderskyEPFLE-mail megerősítve itt: epfl.ch
- Leo StefanescoMPI-SWSE-mail megerősítve itt: mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mail megerősítve itt: cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
- Amin TimanyAarhus UniversityE-mail megerősítve itt: cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityE-mail megerősítve itt: pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenE-mail megerősítve itt: uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtE-mail megerősítve itt: informatik.tu-darmstadt.de
- Aggelos BiboudisOracleE-mail megerősítve itt: oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)E-mail megerősítve itt: ust.hk
- Ondrej LhotakComputer Science, University of WaterlooE-mail megerősítve itt: uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLE-mail megerősítve itt: epfl.ch
Követés
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
E-mail megerősítve itt: tudelft.nl