Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1105 | 290 |
h-indeks | 19 | 10 |
i10-indeks | 29 | 10 |
Dostęp publiczny
Wyświetl wszystko5 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Lennart BeringerPrinceton UniversityZweryfikowany adres z cs.princeton.edu
- Amy FeltyProfessor of Computer Science, University of OttawaZweryfikowany adres z eecs.uottawa.ca
- Camillo FiorentiniUniversita degli Studi di MilanoZweryfikowany adres z di.unimi.it
- Brigitte PientkaMcGill UniversityZweryfikowany adres z cs.mcgill.ca
- Roy CroleAssociate Professor, University of LeicesterZweryfikowany adres z le.ac.uk
- David AspinallProfessor in Computer Science, University of EdinburghZweryfikowany adres z ed.ac.uk
- Alwen TiuSchool of Computing, The Australian National UniversityZweryfikowany adres z anu.edu.au
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
- Mauro FerrariFull Professor of Mathematical Logic, Università degli Studi dell'InsubriaZweryfikowany adres z uninsubria.it
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueZweryfikowany adres z inria.fr
- Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityZweryfikowany adres z gu.se
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Donald SannellaProfessor of Computer Science, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z ed.ac.uk
- Kathrin StarkAssistant Professor, Heriot-Watt UniversityZweryfikowany adres z hw.ac.uk
- Steven SchäferPhD student at the Programming Systems Lab, Saarland UniversityZweryfikowany adres z ps.uni-saarland.de
- Allais GuillaumeChancellor's Fellow, University of StrathclydeZweryfikowany adres z strath.ac.uk
- Aliya HameerMcGill UniversityZweryfikowany adres z mail.mcgill.ca
- David ThibodeauPhD graduate, McGill UniversityZweryfikowany adres z mail.mcgill.ca
- Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghZweryfikowany adres z inf.ed.ac.uk