Crear mi propio perfil
Citado por
| Total | Desde 2020 | |
|---|---|---|
| Citas | 19867 | 4360 |
| Índice h | 59 | 23 |
| Índice i10 | 132 | 60 |
Acceso público
Ver todo40 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 Dresden, and SCADS.AI Dresden/LeipzigDirección de correo verificada de tu-dresden.de
- Johannes HölzlDirección de correo verificada de in.tum.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
- 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
- Manuel EberlUniversity of InnsbruckDirección de correo verificada de uibk.ac.at
- Andrei PopescuUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenDirección de correo verificada de di.ku.dk
- Thomas HalesUniversity of PittsburghDirección de correo verificada de pitt.edu
- 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
- 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
- Alexey SolovyevResearch Associate of Computer Science, University of UtahDirección de correo verificada de cs.utah.edu
- Thi Hoai An TaInstitute of Mathematics, Vietnam Academy of Science and TechnologyDirección de correo verificada de math.ac.vn
Seguir
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Dirección de correo verificada de in.tum.de - Página principal