Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 19263 | 4540 |
Índice h | 56 | 23 |
Índice i10 | 129 | 60 |
Acesso público
Ver todos38 artigos
1 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Lawrence PaulsonUniversity of CambridgeE-mail confirmado em cam.ac.uk
- Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenE-mail confirmado em tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail confirmado em ifi.lmu.de
- Johannes HölzlE-mail confirmado em in.tum.de
- Thomas HalesUniversity of PittsburghE-mail confirmado em pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordE-mail confirmado em maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghE-mail confirmado em inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesE-mail confirmado em amazon.com
- Peter LammichThe University of ManchesterE-mail confirmado em in.tum.de
- Andrei PopescuUniversity of SheffieldE-mail confirmado em sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenE-mail confirmado em di.ku.dk
- Manuel EberlUniversity of InnsbruckE-mail confirmado em uibk.ac.at
- Gregor SneltingKITE-mail confirmado em kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesE-mail confirmado em ost.ch
- Christian UrbanKing's College LondonE-mail confirmado em kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenE-mail confirmado em in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckE-mail confirmado em uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyE-mail confirmado em math.ac.vn
- Cezary KaliszykUniversity of InnsbruckE-mail confirmado em uibk.ac.at
Seguir
Tobias Nipkow
Professor of Computer Science, Technische Universität München
E-mail confirmado em in.tum.de - Página inicial