Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 989 | 381 |
H-indeks | 11 | 8 |
i10-indeks | 11 | 8 |
Javni pristup
Prikaži sve7 članaka
1 članak
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyPotvrđena adresa e-pošte na uni-tuebingen.de
- Christian KästnerCarnegie Mellon University, School of Computer SciencePotvrđena adresa e-pošte na cs.cmu.edu
- Tillmann RendelSAPPotvrđena adresa e-pošte na sap.com
- Sebastian ErdwegProfessor of Computer Science, JGU MainzPotvrđena adresa e-pošte na uni-mainz.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusPotvrđena adresa e-pošte na cs.uni-saarland.de
- Norbert SiegmundProfessor of Computer Science, Leipzig UniversityPotvrđena adresa e-pošte na informatik.uni-leipzig.de
- Marko RosenmüllerTomTomPotvrđena adresa e-pošte na rosenmueller.de
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumPotvrđena adresa e-pošte na rub.de
- Martin OderskyEPFLPotvrđena adresa e-pošte na epfl.ch
- Leo StefanescoMPI-SWSPotvrđena adresa e-pošte na mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenPotvrđena adresa e-pošte na cs.ru.nl
- Lars BirkedalDept. of Computer Science, Aarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
- Amin TimanyAarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityPotvrđena adresa e-pošte na pps.univ-paris-diderot.fr
- Philipp SchusterUniversity of TübingenPotvrđena adresa e-pošte na uni-tuebingen.de
- Michael EichbergTechnische Universität DarmstadtPotvrđena adresa e-pošte na informatik.tu-darmstadt.de
- Aggelos BiboudisOraclePotvrđena adresa e-pošte na oracle.com
- Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Potvrđena adresa e-pošte na ust.hk
- Ondrej LhotakComputer Science, University of WaterlooPotvrđena adresa e-pošte na uwaterloo.ca
- Aleksander Boruch-GruszeckiEPFLPotvrđena adresa e-pošte na epfl.ch
Prati
Paolo G. Giarrusso
Formal Methods Engineer, Bedrock Systems Inc.
Potvrđena adresa e-pošte na tudelft.nl