Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 258 | 68 |
h-indeks | 6 | 4 |
i10-indeks | 6 | 2 |
Dostęp publiczny
Wyświetl wszystko2 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Zweryfikowany adres z kit.edu
- Dave ClarkeIndependentZweryfikowany adres z storytel.com
- Peter Y. H. WongPreneticsZweryfikowany adres z wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtZweryfikowany adres z cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtZweryfikowany adres z cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsZweryfikowany adres z ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Joost WinterUniversity of WarsawZweryfikowany adres z mimuw.edu.pl