Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 3475 | 1748 |
h-index | 28 | 18 |
i10-index | 49 | 27 |
Nyilvános hozzáférés
Összes megtekintése21 cikk
2 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mail megerősítve itt: inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckE-mail megerősítve itt: uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail megerősítve itt: in.tum.de
- Michael NorrishAustralian National UniversityE-mail megerősítve itt: anu.edu.au
- Gavin BiermanOracleE-mail megerősítve itt: oracle.com
- Christine TassonMaître de conférenceE-mail megerősítve itt: irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityE-mail megerősítve itt: st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mail megerősítve itt: dpmms.cam.ac.uk
- Fahad AusafKing's College LondonE-mail megerősítve itt: kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonE-mail megerősítve itt: tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonE-mail megerősítve itt: kcl.ac.uk
- Nick BentonEngineering Manager, FacebookE-mail megerősítve itt: fb.com