Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 19232 | 4515 |
indice h | 56 | 23 |
indice i10 | 129 | 60 |
Accès public
Tout afficher38 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Lawrence PaulsonUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenAdresse e-mail validée de tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresse e-mail validée de ifi.lmu.de
- Johannes HölzlAdresse e-mail validée de in.tum.de
- Thomas HalesUniversity of PittsburghAdresse e-mail validée de pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordAdresse e-mail validée de maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghAdresse e-mail validée de inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesAdresse e-mail validée de amazon.com
- Peter LammichThe University of ManchesterAdresse e-mail validée de in.tum.de
- Andrei PopescuUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenAdresse e-mail validée de di.ku.dk
- Manuel EberlUniversity of InnsbruckAdresse e-mail validée de uibk.ac.at
- Gregor SneltingKITAdresse e-mail validée de kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesAdresse e-mail validée de ost.ch
- Christian UrbanKing's College LondonAdresse e-mail validée de kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenAdresse e-mail validée de in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckAdresse e-mail validée de uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyAdresse e-mail validée de math.ac.vn
- Cezary KaliszykUniversity of InnsbruckAdresse e-mail validée de uibk.ac.at
Suivre
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Adresse e-mail validée de in.tum.de - Page d'accueil