Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 3479 | 1752 |
H-indeks | 28 | 18 |
i10-indeks | 49 | 27 |
Javni pristup
Prikaži sve22 članka
2 članka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghPotvrđena adresa e-pošte na inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgePotvrđena adresa e-pošte na cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckPotvrđena adresa e-pošte na uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenPotvrđena adresa e-pošte na in.tum.de
- Michael NorrishAustralian National UniversityPotvrđena adresa e-pošte na anu.edu.au
- Gavin BiermanOraclePotvrđena adresa e-pošte na oracle.com
- Christine TassonMaître de conférencePotvrđena adresa e-pošte na irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityPotvrđena adresa e-pošte na st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgePotvrđena adresa e-pošte na dpmms.cam.ac.uk
- Fahad AusafKing's College LondonPotvrđena adresa e-pošte na kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonPotvrđena adresa e-pošte na tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonPotvrđena adresa e-pošte na kcl.ac.uk
- Nick BentonEngineering Manager, FacebookPotvrđena adresa e-pošte na fb.com