Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 989 | 381 |
h-index | 11 | 8 |
i10-index | 11 | 8 |
Acces public
Afișați-le pe toate7 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyAdresă de e-mail confirmată pe uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceAdresă de e-mail confirmată pe cs.cmu.edu
- Tillmann RendelSAPAdresă de e-mail confirmată pe sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzAdresă de e-mail confirmată pe uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityAdresă de e-mail confirmată pe informatik.uni-leipzig.de
- Marko RosenmüllerTomTomAdresă de e-mail confirmată pe rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumAdresă de e-mail confirmată pe rub.de
- Martin OderskyEPFLAdresă de e-mail confirmată pe epfl.ch
- Leo StefanescoMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Amin TimanyAarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityAdresă de e-mail confirmată pe pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenAdresă de e-mail confirmată pe uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtAdresă de e-mail confirmată pe informatik.tu-darmstadt.de
- Aggelos BiboudisOracleAdresă de e-mail confirmată pe oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Adresă de e-mail confirmată pe ust.hk
- Ondrej LhotakComputer Science, University of WaterlooAdresă de e-mail confirmată pe uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLAdresă de e-mail confirmată pe epfl.ch
Urmăriți
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Adresă de e-mail confirmată pe tudelft.nl