Crea el meu perfil
Accés públic
Mostra-ho tot48 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenCorreu electrònic verificat a in.tum.de
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergCorreu electrònic verificat a fu-berlin.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenCorreu electrònic verificat a ifi.lmu.de
- Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyCorreu electrònic verificat a ieee.org
- Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinCorreu electrònic verificat a mdx.ac.uk
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSCorreu electrònic verificat a bath.ac.uk
- David John WilsonUniversity of BathCorreu electrònic verificat a bath.ac.uk
- Gerwin KleinProofcraft and UNSWCorreu electrònic verificat a unsw.edu.au
- Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandCorreu electrònic verificat a is.umk.pl
- Sofiene TaharConcordia UniversityCorreu electrònic verificat a ece.concordia.ca
- Cezary KaliszykUniversity of InnsbruckCorreu electrònic verificat a uibk.ac.at
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueCorreu electrònic verificat a cvut.cz
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Leonardo de MouraAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaCorreu electrònic verificat a ufsc.br
- Andrew SogokonCarnegie Mellon UniversityCorreu electrònic verificat a andrew.cmu.edu
- Matthew EnglandCoventry UniversityCorreu electrònic verificat a coventry.ac.uk
- Andrew DM SmithUniversity of StirlingCorreu electrònic verificat a stir.ac.uk