Get my own profile

Public access

View all19 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
- Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgVerified email at uol.de
- Kevin BatzPhD Student, RWTH Aachen UniversityVerified email at rwth-aachen.de
- Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
- Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
- Philipp SchröerRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
- Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
- Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
- Linpeng ZhangPhD Student, UCLVerified email at ucl.ac.uk
- Justin HsuCornell UniversityVerified email at justinhsu.net
- Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
- Alejandro AguirrePostdoc, Aarhus UniversityVerified email at cs.au.dk
- Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
- Tobias WinklerPhD Student, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityVerified email at embedded.rwth-aachen.de
- Klaus WehrleProfessor at RWTH Aachen UniversityVerified email at comsys.rwth-aachen.de
- Carsten Weiseimbus AGVerified email at imbus.de

Follow

Benjamin Lucien Kaminski

Other namesBenjamin Kaminski

Professor of Computer Science at Saarland University and Lecturer at University College London

Verified email at cs.uni-saarland.de - Homepage