Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 19255 | 4538 |
H-indeks | 56 | 23 |
i10-indeks | 129 | 60 |
Javni pristup
Prikaži sve38 članaka
1 članak
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Lawrence PaulsonUniversity of CambridgePotvrđena adresa e-pošte na cam.ac.uk
- Gerwin KleinProofcraft and UNSWPotvrđena adresa e-pošte na unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenPotvrđena adresa e-pošte na tu-dresden.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenPotvrđena adresa e-pošte na ifi.lmu.de
- Johannes HölzlPotvrđena adresa e-pošte na in.tum.de
- Thomas HalesUniversity of PittsburghPotvrđena adresa e-pošte na pitt.edu
- Ursula MartinUniversity of Edinburgh; University of OxfordPotvrđena adresa e-pošte na maths.ox.ac.uk
- Steven ObuaUniversity of EdinburghPotvrđena adresa e-pošte na inf.ed.ac.uk
- John R HarrisonAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
- Peter LammichThe University of ManchesterPotvrđena adresa e-pošte na in.tum.de
- Andrei PopescuUniversity of SheffieldPotvrđena adresa e-pošte na sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenPotvrđena adresa e-pošte na di.ku.dk
- Manuel EberlUniversity of InnsbruckPotvrđena adresa e-pošte na uibk.ac.at
- Gregor SneltingKITPotvrđena adresa e-pošte na kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesPotvrđena adresa e-pošte na ost.ch
- Christian UrbanKing's College LondonPotvrđena adresa e-pošte na kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenPotvrđena adresa e-pošte na in.tum.de
- Max W. HaslbeckPhD Student, University of InnsbruckPotvrđena adresa e-pošte na uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and TechnologyPotvrđena adresa e-pošte na math.ac.vn
- Cezary KaliszykUniversity of InnsbruckPotvrđena adresa e-pošte na uibk.ac.at
Prati
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Potvrđena adresa e-pošte na in.tum.de - Početna stranica