Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalVerified email at proenca.org
Francesco SantiniDipartimento Matematica e Informatica, PerugiaVerified email at dmi.unipg.it
Guillermina CledouHASLab INESC TEC and Universidade do MinhoVerified email at inesctec.pt
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Hamideh AfsarmaneshProfessor of Computer Science, University of AmsterdamVerified email at uva.nl
Mahdi SargolzaeiUniversity of AmsterdamVerified email at uva.nl
Kasper DokterPhD studentVerified email at cwi.nl
Sean HalleOpen Source Research InstituteVerified email at intensivate.com
Tobias KappéOpen Universiteit & ILLC, University of AmsterdamVerified email at uva.nl
Dave ClarkeIndependentVerified email at storytel.com
Nicholas NgMonzoVerified email at monzo.com
David Castro-PerezUniversity of KentVerified email at kent.ac.uk
Raymond HuQueen Mary University of LondonVerified email at qmul.ac.uk
Koen HindriksVrije Universiteit (VU) AmsterdamVerified email at vu.nl
M. Birna van RiemsdijkAssociate Professor at University of TwenteVerified email at utwente.nl
Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreVerified email at inria.fr
Christian KrauseSAP SEVerified email at sap.com
Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl