Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2065 | 482 |
h-indeks | 22 | 12 |
i10-indeks | 33 | 17 |
Dostęp publiczny
Wyświetl wszystko13 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Conor McBrideReader, University of StrathclydeZweryfikowany adres z strath.ac.uk
- Edwin BradyReader, School of Computer Science, University of St AndrewsZweryfikowany adres z st-andrews.ac.uk
- Herman GeuversRadboud University Nijmegen, the NetherlandsZweryfikowany adres z cs.ru.nl
- Jeremy GibbonsProfessor of Computing, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
- Healfdene GoguenGoogleZweryfikowany adres z google.com
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityZweryfikowany adres z st-andrews.ac.uk
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamZweryfikowany adres z cs.nott.ac.uk
- Stéphane Graham-LengrandSRI InternationalZweryfikowany adres z csl.sri.com
- Allais GuillaumeChancellor's Fellow, University of StrathclydeZweryfikowany adres z strath.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z ed.ac.uk
- Robbert KrebbersAssociate Professor, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
- Claudio Sacerdoti CoenUniversity of BolognaZweryfikowany adres z unibo.it
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityZweryfikowany adres z pps.univ-paris-diderot.fr
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghZweryfikowany adres z ed.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesZweryfikowany adres z amazon.co.uk
- Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurZweryfikowany adres z inria.fr
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHZweryfikowany adres z kerguelen.org
- Ilias GarnierPostdoc, École Normale SupérieureZweryfikowany adres z di.ens.fr