Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2025 | 838 |
h-indeks | 20 | 13 |
i10-indeks | 32 | 16 |
Dostęp publiczny
Wyświetl wszystko14 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtZweryfikowany adres z cs.tu-darmstadt.de
- Richard BubelDepartment of Computer Science, TU DarmstadtZweryfikowany adres z cs.tu-darmstadt.de
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgZweryfikowany adres z cse.gu.se
- Gordon J. PaceDepartment of Computer Science, University of MaltaZweryfikowany adres z um.edu.mt
- Wojciech MostowskiHalmstad UniversityZweryfikowany adres z hh.se
- Andreas RothSAP SEZweryfikowany adres z sap.com
- Philipp RuemmerProfessor in Computer Science, University of RegensburgZweryfikowany adres z ur.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Peter BaumgartnerData61|CSIROZweryfikowany adres z data61.csiro.au
- Silvio RaniseFBKZweryfikowany adres z fbk.eu
Obserwuj
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
Zweryfikowany adres z chalmers.se