Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 21068 | 3938 |
h-index | 58 | 26 |
i10-indeks | 140 | 54 |
Offentlig adgang
Se alle48 artikler
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerificeret mail på in.tum.de
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerificeret mail på fu-berlin.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerificeret mail på ifi.lmu.de
- Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerificeret mail på ieee.org
- Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerificeret mail på mdx.ac.uk
- James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerificeret mail på bath.ac.uk
- David John WilsonUniversity of BathVerificeret mail på bath.ac.uk
- Gerwin KleinProofcraft and UNSWVerificeret mail på unsw.edu.au
- Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandVerificeret mail på is.umk.pl
- Sofiene TaharConcordia UniversityVerificeret mail på ece.concordia.ca
- Cezary KaliszykUniversity of InnsbruckVerificeret mail på uibk.ac.at
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerificeret mail på cvut.cz
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerificeret mail på cl.cam.ac.uk
- Leonardo de MouraAmazon Web ServicesVerificeret mail på amazon.com
- Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVerificeret mail på ufsc.br
- Andrew SogokonCarnegie Mellon UniversityVerificeret mail på andrew.cmu.edu
- Matthew EnglandCoventry UniversityVerificeret mail på coventry.ac.uk
- Andrew DM SmithUniversity of StirlingVerificeret mail på stir.ac.uk