Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Engel LefaucheuxMPI-SWSVerified email at mpi-sws.org
David PurserLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Markus A. WhitelandDepartment of Computer Science, Loughborough UniversityVerified email at lboro.ac.uk
Edon KelmendiQueen Mary University of LondonVerified email at qmul.ac.uk
Joris NieuwveldMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Christel BaierTU DresdenVerified email at tu-dresden.de
Mahmoud SalamatiMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Shaull AlmagorAssistant Professor, TechnionVerified email at cs.technion.ac.il
Florian LucaProfessor, Stellenbosch UniversityVerified email at sun.ac.za
Amaury PoulyCNRS/IRIFVerified email at irif.fr