Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk
- Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
- Chuangjie XuStatic Analysis Scientist, SonarSourceVerified email at sonarsource.com
- Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
- Gabe DijkstraPhD candidate Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
- Paolo CapriottiPostdoc, Technische Universität DarmstadtVerified email at mathematik.tu-darmstadt.de
- Lorenzo MalatestaDocente di matematica e fisica presso liceo scientifico Enrico Fermi, BolognaVerified email at liceofermibo.edu.it
- Matteo CapucciUniversity of StrathclydeVerified email at strath.ac.uk
- Ulrich BergerAssociate Professor of Computer Science, Swansea University, UKVerified email at swansea.ac.uk
- Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
- Tom de JongResearch Fellow, School of Computer Science, University of NottinghamVerified email at nottingham.ac.uk
- Patricia JohannAppalachian State UniversityVerified email at appstate.edu
- Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
- Norman MaySAP SEVerified email at sap.com
- Stefanie Rinderle-MaFull Professor, Technical University of Munich, Department of InformaticsVerified email at tum.de
- Daniel RitterSAPVerified email at alumni.uni-heidelberg.de
- Monika SeisenbergerLecturer in Computer Science, Swansea UniversityVerified email at swansea.ac.uk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
- Bruno GavranovićPrincipal Scientist at SymbolicaVerified email at brunogavranovic.com
- Sean WattersPhD Student, University of StrathclydeVerified email at strath.ac.uk