Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 19231 | 4520 |
Índice h | 56 | 23 |
Índice i10 | 129 | 60 |
Acesso público
Ver tudo38 artigos
1 artigo
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Lawrence PaulsonUniversity of CambridgeEmail confirmado em cam.ac.uk
- Gerwin KleinProofcraft and UNSWEmail confirmado em unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenEmail confirmado em tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail confirmado em ifi.lmu.de
- Johannes HölzlEmail confirmado em in.tum.de
- Thomas HalesUniversity of PittsburghEmail confirmado em pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordEmail confirmado em maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghEmail confirmado em inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesEmail confirmado em amazon.com
- Peter LammichThe University of ManchesterEmail confirmado em in.tum.de
- Andrei PopescuUniversity of SheffieldEmail confirmado em sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenEmail confirmado em di.ku.dk
- Manuel EberlUniversity of InnsbruckEmail confirmado em uibk.ac.at
- Gregor SneltingKITEmail confirmado em kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesEmail confirmado em ost.ch
- Christian UrbanKing's College LondonEmail confirmado em kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenEmail confirmado em in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckEmail confirmado em uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyEmail confirmado em math.ac.vn
- Cezary KaliszykUniversity of InnsbruckEmail confirmado em uibk.ac.at
Seguir
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Email confirmado em in.tum.de - Página inicial