Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 19357 | 4713 |
H-indeks | 57 | 23 |
i10-indeks | 131 | 62 |
Javni pristup
Prikaži sve41 članak
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
Manuel EberlUniversity of InnsbruckPotvrđena adresa e-pošte na uibk.ac.at
Dmitriy TraytelUniversity of CopenhagenPotvrđena adresa e-pošte na di.ku.dk
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 MelbournePotvrđena adresa e-pošte na unimelb.edu.au
Prati![Tobias Nipkow](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=lv19c_cAAAAJ&citpid=2)
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Potvrđena adresa e-pošte na in.tum.de - Početna stranica