Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1375 | 407 |
h-indeks | 14 | 9 |
i10-indeks | 16 | 9 |
Dostęp publiczny
Wyświetl wszystko5 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyZweryfikowany adres z uni-tuebingen.de
- Sebastian ErdwegProfessor of Computer Science, JGU MainzZweryfikowany adres z uni-mainz.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceZweryfikowany adres z cs.cmu.edu
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Zweryfikowany adres z tudelft.nl
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumZweryfikowany adres z rub.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyZweryfikowany adres z tudelft.nl
- Eric WalkingshawElemental CognitionZweryfikowany adres z ec.ai