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