Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 19307 | 4592 |
h-index | 56 | 23 |
i10-indeks | 129 | 60 |
Offentlig adgang
Se alle38 artikler
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Lawrence PaulsonUniversity of CambridgeVerificeret mail på cam.ac.uk
- Gerwin KleinProofcraft and UNSWVerificeret mail på unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerificeret mail på tu-dresden.de
- Johannes HölzlVerificeret mail på in.tum.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerificeret mail på ifi.lmu.de
- Thomas HalesUniversity of PittsburghVerificeret mail på pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordVerificeret mail på maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghVerificeret mail på inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesVerificeret mail på amazon.com
- Andrei PopescuUniversity of SheffieldVerificeret mail på sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenVerificeret mail på di.ku.dk
- Peter LammichThe University of ManchesterVerificeret mail på in.tum.de
- Manuel EberlUniversity of InnsbruckVerificeret mail på uibk.ac.at
- Gregor SneltingKITVerificeret mail på kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesVerificeret mail på ost.ch
- Christian UrbanKing's College LondonVerificeret mail på kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenVerificeret mail på in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckVerificeret mail på uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyVerificeret mail på math.ac.vn
- Cezary KaliszykUniversity of InnsbruckVerificeret mail på uibk.ac.at
Følg
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Verificeret mail på in.tum.de - Startside