Get my own profile
Co-authors
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Michael WeberInstart LogicVerified email at foldr.org
Tom van DijkUniversity of TwenteVerified email at utwente.nl
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Mads Chr. OlesenPhD Student, Aalborg UniversityVerified email at cs.aau.dk
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Andreas Engelbredt DalsgaardVerified email at cs.aau.dk
Gijs KantPhD Student in Computer Science, University of TwenteVerified email at cs.utwente.nl
Jeroen MeijerEijsinkVerified email at eijsink.nl
Stefan BlomUniversity of TwenteVerified email at utwente.nl
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Rom LangerakAssociate Professor, Computer Science, University of TwenteVerified email at ewi.utwente.nl
Ivan KurtevAltran NederlandVerified email at altran.com
Henri HansenDocent, University Lecturer, Mathematics, Tampere UniversityVerified email at tuni.fi
Freark van der BergUniversity of TwenteVerified email at utwente.nl
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
Etienne RenaultTeacher / Researcher in Computer SciencesVerified email at lrde.epita.fr
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Alexandre Duret-LutzLRDE / EPITAVerified email at lrde.epita.fr
Alfons Laarman
Assistant Professor, Leiden University
Verified email at liacs.leidenuniv.nl - Homepage