Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 199 | 174 |
h-indeks | 8 | 7 |
i10-indeks | 6 | 6 |
Dostęp publiczny
Wyświetl wszystko13 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
- Tim NiemuellerIntrinsic InnovationZweryfikowany adres z intrinsic.ai
- Alexander FerreinProfessor of Robotics, Mobile Autonomous Systems & Cognitive Robotics Institute, FH AachenZweryfikowany adres z fh-aachen.de
- Tarik ViehmannPhD student at RWTH Aachen UniversityZweryfikowany adres z rwth-aachen.de
- Jens ClaßenRoskilde UniversityZweryfikowany adres z ruc.dk
- Stefan SchifferResearcher, RWTH Aachen University & FH Aachen University of Applied SciencesZweryfikowany adres z cs.rwth-aachen.de
- Vaishak BelleUniversity of EdinburghZweryfikowany adres z ed.ac.uk
- Tobias NeumannZweryfikowany adres z neumann-web.eu
- Daniel Maximilian SwobodaComputer Science Graduate Student, RWTH Aachen UniversityZweryfikowany adres z rwth-aachen.de
- Hector GeffnerRWTH Aachen UniversityZweryfikowany adres z upf.edu
- Stefan SchuppFormal Verification @Apple