Λήψη του δικού μου προφίλ
Παρατίθεται από
Όλα | Από το 2019 | |
---|---|---|
Παραθέσεις | 2079 | 500 |
h-index | 22 | 13 |
i10-index | 33 | 17 |
Δημόσια πρόσβαση
Προβολή όλων13 άρθρα
0 άρθρα
διαθέσιμα
μη διαθέσιμα
Σύμφωνα με εντολές χρηματοδότησης
Συν-συγγραφείς
Conor McBrideReader, University of StrathclydeΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα strath.ac.uk
Edwin BradyReader, School of Computer Science, University of St AndrewsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα st-andrews.ac.uk
Herman GeuversRadboud University Nijmegen, the NetherlandsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ru.nl
Jeremy GibbonsProfessor of Computing, University of OxfordΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk
Perdita StevensProfessor of Mathematics of Software Engineering, LFCS, Informatics, University of EdinburghΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.ed.ac.uk
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.ed.ac.uk
Healfdene GoguenGoogleΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα google.com
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα st-andrews.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.nott.ac.uk
Stéphane Graham-LengrandSRI InternationalΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csl.sri.com
Allais GuillaumeChancellor's Fellow, University of StrathclydeΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα strath.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ed.ac.uk
Robbert KrebbersAssociate Professor, Radboud University NijmegenΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ru.nl
Claudio Sacerdoti CoenUniversity of BolognaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unibo.it
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα pps.univ-paris-diderot.fr
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ed.ac.uk
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα amazon.co.uk
Nicholas AyacheResearch Director at INRIA/ CSO of 3IA Côte d'AzurΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inria.fr
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα kerguelen.org
Ilias GarnierPostdoc, École Normale SupérieureΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα di.ens.fr
Παρακολούθηση![James McKinna](/citations/images/avatar_scholar_128.png)
![James McKinna](/citations/images/avatar_scholar_128.png)
James McKinna
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα hw.ac.uk