Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk- Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
- Stijn de GouwAssistant Professor, Open University, The NetherlandsVerified email at ou.nl
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
- Radu MuscheviciTU DarmstadtVerified email at cs.tu-darmstadt.de
- Dave ClarkeIndependentVerified email at storytel.com
- Muddassar Azam SindhuAssociate Professor, Computer Science Department, Quaid i Azam University, IslamabadVerified email at qau.edu.pk
- Karl MeinkeProfessor of Computer Science KTH Royal Institute of TechnologyVerified email at kth.se
- Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridVerified email at fdi.ucm.es
- Michiel HelvensteijnSoftware Engineer at MetaVerified email at meta.com
- Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalVerified email at proenca.org
- Lei FengAssociate Professor, KTH Royal Institute of TechnologyVerified email at kth.se
- carlo augusto graziaTenure-Track Assistant Professor, University of Modena and Reggio EmiliaVerified email at unimore.it
- Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
- Puri ArenasAssociate ProfessorVerified email at sip.ucm.es
- Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
