Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 7830 | 1604 |
h-index | 40 | 19 |
i10-index | 67 | 33 |
Nyilvános hozzáférés
Összes megtekintése8 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKE-mail megerősítve itt: hw.ac.uk
- Ian OrtonUniversity of CambridgeE-mail megerősítve itt: cam.ac.uk
- Gavin BiermanOracleE-mail megerősítve itt: oracle.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mail megerősítve itt: ed.ac.uk
- Bas SpittersAssociate Professor, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mail megerősítve itt: dpmms.cam.ac.uk
- Christian UrbanKing's College LondonE-mail megerősítve itt: kcl.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceE-mail megerősítve itt: cl.cam.ac.uk
- S. C. SteenkampPhD student, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Dan LicataWesleyan UniversityE-mail megerősítve itt: wesleyan.edu
- Ranald CloustonLecturer, Australian National UniversityE-mail megerősítve itt: anu.edu.au
- Rasmus MøgelbergIT University of CopenhagenE-mail megerősítve itt: itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenE-mail megerősítve itt: itu.dk
- Roy CroleAssociate Professor, University of LeicesterE-mail megerősítve itt: le.ac.uk
- Matthew LakinUniversity of New MexicoE-mail megerősítve itt: cs.unm.edu
- Matthew J. ParkinsonMicrosoft ResearchE-mail megerősítve itt: microsoft.com
- Steffen LöschPhD Candidate, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
- Peter DybjerProfessor of Computer Science, Chalmers UniversityE-mail megerősítve itt: chalmers.se
- Michael FourmanSchool of Informatics, The University of EdinburghE-mail megerősítve itt: ed.ac.uk
Követés
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
E-mail megerősítve itt: cl.cam.ac.uk - Kezdőlap