Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 3491 | 1764 |
h-indeks | 28 | 18 |
i10-indeks | 49 | 27 |
Offentlig tilgang
Vis alle22 artikler
2 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerifisert e-postadresse på inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerifisert e-postadresse på cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckVerifisert e-postadresse på uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifisert e-postadresse på in.tum.de
- Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- Gavin BiermanOracleVerifisert e-postadresse på oracle.com
- Christine TassonMaître de conférenceVerifisert e-postadresse på irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerifisert e-postadresse på st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeVerifisert e-postadresse på dpmms.cam.ac.uk
- Fahad AusafKing's College LondonVerifisert e-postadresse på kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonVerifisert e-postadresse på tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonVerifisert e-postadresse på kcl.ac.uk
- Nick BentonEngineering Manager, FacebookVerifisert e-postadresse på fb.com