Get my own profile
Public access
View all12 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Alexandra SilvaCornell UniversityVerified email at cornell.edu
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk
Gerco van HeerdtUniversity College LondonVerified email at ucl.ac.uk
Rick SmetsersASMLVerified email at asml.com
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Sicco VerwerDelft University of TechnologyVerified email at tudelft.nl
Mikołaj BojańczykUniwersytet WarszawskiVerified email at mimuw.edu.pl
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Linus HeckPhD student, Radboud UniversityVerified email at rwth-aachen.de
Tobias WinklerPhD Candidate, Software Modeling and Verification Group, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Kevin BatzPostDoc, University College LondonVerified email at rwth-aachen.de
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Thorsten WißmannFriedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de