Crear mi propio perfil
Citado por
| Total | Desde 2019 | |
|---|---|---|
| Citas | 19584 | 4894 |
| Índice h | 57 | 24 |
| Índice i10 | 132 | 63 |
Acceso público
Ver todo41 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Lawrence PaulsonUniversity of CambridgeDirección de correo verificada de cam.ac.uk- Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenDirección de correo verificada de tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
- Johannes HölzlDirección de correo verificada de in.tum.de
- Thomas HalesUniversity of PittsburghDirección de correo verificada de pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordDirección de correo verificada de maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghDirección de correo verificada de inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesDirección de correo verificada de amazon.com
- Peter LammichThe University of ManchesterDirección de correo verificada de in.tum.de
- Andrei PopescuUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
- Manuel EberlUniversity of InnsbruckDirección de correo verificada de uibk.ac.at
- Dmitriy TraytelUniversity of CopenhagenDirección de correo verificada de di.ku.dk
- Gregor SneltingKITDirección de correo verificada de kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesDirección de correo verificada de ost.ch
- Christian UrbanKing's College LondonDirección de correo verificada de kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenDirección de correo verificada de in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckDirección de correo verificada de uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyDirección de correo verificada de math.ac.vn
- Cezary KaliszykUniversity of MelbourneDirección de correo verificada de unimelb.edu.au
Seguir
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Dirección de correo verificada de in.tum.de - Página principal