Get my own profile
Co-authors
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Thomas NägeleResearcher, TNO-ESIVerified email at tno.nl
Marcel VerhoefEuropean Space AgencyVerified email at xs4all.nl
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
peter van der stokvanderstok consultancyVerified email at bbhmail.nl
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Mannes PoelAssociate Professor of Computer Science, University of TwenteVerified email at utwente.nl
Follow![Jozef Hooman](https://usercontent.cljtscd.com/citations?view_op=view_photo&user=1n90LpsAAAAJ&citpid=4)
Jozef Hooman
Professor of Computer Science, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage