Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 2064 | 481 |
h-rodyklė | 22 | 12 |
i10-rodyklė | 33 | 17 |
Viešas pasiekiamumas
Peržiūrėti viską13 straipsnių
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Conor McBrideReader, University of StrathclydePatvirtintas el. paštas strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsPatvirtintas el. paštas st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsPatvirtintas el. paštas cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghPatvirtintas el. paštas inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghPatvirtintas el. paštas inf.ed.ac.uk
- Healfdene GoguenGooglePatvirtintas el. paštas google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityPatvirtintas el. paštas st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamPatvirtintas el. paštas cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalPatvirtintas el. paštas csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydePatvirtintas el. paštas strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghPatvirtintas el. paštas ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenPatvirtintas el. paštas cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaPatvirtintas el. paštas unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityPatvirtintas el. paštas pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghPatvirtintas el. paštas ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesPatvirtintas el. paštas amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurPatvirtintas el. paštas inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHPatvirtintas el. paštas kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieurePatvirtintas el. paštas di.ens.fr