Skapa en profil
Offentlig åtkomst
Visa alla45 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
Christoph BenzmüllerFull Professor at University of Bamberg & Professor (apl.) at FU BerlinVerifierad e-postadress på fu-berlin.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerifierad e-postadress på ieee.org
Jasmin BlanchetteVrije Universiteit AmsterdamVerifierad e-postadress på vu.nl
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerifierad e-postadress på mdx.ac.uk
Matthew EnglandCoventry UniversityVerifierad e-postadress på coventry.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerifierad e-postadress på bath.ac.uk
Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandVerifierad e-postadress på is.umk.pl
David John WilsonUniversity of BathVerifierad e-postadress på bath.ac.uk
Sofiene TaharConcordia UniversityVerifierad e-postadress på ece.concordia.ca
Cezary KaliszykUniversity of InnsbruckVerifierad e-postadress på uibk.ac.at
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerifierad e-postadress på cvut.cz
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
William DenmanOrbis InvestmentsVerifierad e-postadress på orbis.com
Leonardo de MouraSenior Principal Researcher at MicrosoftVerifierad e-postadress på microsoft.com
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVerifierad e-postadress på ufsc.br
Andrew SogokonCarnegie Mellon UniversityVerifierad e-postadress på andrew.cmu.edu
Andrew DM SmithUniversity of StirlingVerifierad e-postadress på stir.ac.uk