Skapa en profil
Offentlig åtkomst
Visa alla48 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üllerProfessor for AI Systems Engineering, University of BambergVerifierad e-postadress på fu-berlin.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifierad e-postadress på ifi.lmu.de
- Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerifierad e-postadress på ieee.org
- Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerifierad e-postadress på mdx.ac.uk
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerifierad e-postadress på bath.ac.uk
- David John WilsonUniversity of BathVerifierad 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
- 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
- Leonardo de MouraAmazon Web ServicesVerifierad e-postadress på amazon.com
- Mohammad AbdulazizKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVerifierad e-postadress på ufsc.br
- Andrew SogokonCarnegie Mellon UniversityVerifierad e-postadress på andrew.cmu.edu
- Matthew EnglandCoventry UniversityVerifierad e-postadress på coventry.ac.uk
- Andrew DM SmithUniversity of StirlingVerifierad e-postadress på stir.ac.uk