Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 333 | 244 |
h-indeks | 7 | 7 |
i10-indeks | 6 | 6 |
Dostęp publiczny
Wyświetl wszystko7 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Dave ClarkeIndependentZweryfikowany adres z storytel.com
- Tobias WrigstadProfessor of Computer Science, Uppsala UniversityZweryfikowany adres z it.uu.se
- Einar Broch JohnsenProfessor, University of OsloZweryfikowany adres z ifi.uio.no
- Elias CastegrenAssistant Professor, Uppsala UniversityZweryfikowany adres z it.uu.se
- ludovic henrioCNRSZweryfikowany adres z ens-lyon.fr
- Ehsan KhamespanahPostdoc, Reykjavik UniversityZweryfikowany adres z ru.is
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtZweryfikowany adres z cs.tu-darmstadt.de
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGZweryfikowany adres z ing.com
- Marjan SirjaniMälardalen UniversityZweryfikowany adres z mdh.se
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloZweryfikowany adres z ifi.uio.no
- Huu Phuc VoPhD candidate, Uppsala UniversityZweryfikowany adres z it.uu.se
- Sophia DrossopoulouProfessor, Imperial College LondonZweryfikowany adres z imperial.ac.uk
- James NobleCreative Research & ProgrammingZweryfikowany adres z acm.org
- Isaac Oscar GarianoVictoria University of WellingtonZweryfikowany adres z ecs.vuw.ac.nz
- Michael HomerVictoria University of WellingtonZweryfikowany adres z ecs.vuw.ac.nz