Get my own profile
Public access
View all49 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Christoph BenzmüllerFull Professor at University of Bamberg & Professor (apl.) at FU BerlinVerified email at fu-berlin.de
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerified email at mdx.ac.uk
Matthew EnglandCoventry UniversityVerified email at coventry.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandVerified email at is.umk.pl
David John WilsonUniversity of BathVerified email at bath.ac.uk
Sofiene TaharConcordia UniversityVerified email at ece.concordia.ca
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerified email at cl.cam.ac.uk
William DenmanOrbis InvestmentsVerified email at orbis.com
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVerified email at ufsc.br
Andrew SogokonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Andrew DM SmithUniversity of StirlingVerified email at stir.ac.uk