Get my own profile
Public access
View all7 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 WhitelandFRS-FNRS Postdoctoral researcher, University of LiègeVerified email at uliege.be
- Edon KelmendiQueen Mary University of LondonVerified email at qmul.ac.uk
- 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
- Joris NieuwveldMax Planck Institute for Software SystemsVerified email at mpi-sws.org
- Amaury PoulyCNRS/IRIFVerified email at irif.fr
- Florian LucaProfessor, WitsVerified email at wits.ac.za