Get my own profile
Public access
View all19 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
- Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
- Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
- Daniel KroeningAmazonVerified email at amazon.com
- Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
- Ilia PolianUniversity of StuttgartVerified email at polian.de
- Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
- Sebastian AltmeyerUniversity of AugsburgVerified email at es-augsburg.de
- Daniel GrundSaarland UniversityVerified email at cs.uni-saarland.de
- Roberto SegalaUniversitā di VeronaVerified email at univr.it
- Kumar MadhukarTata Research Development and Design CenterVerified email at tcs.com
- David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk