Obtenir mon propre profil
Citée par
| Toutes | Depuis 2019 | |
|---|---|---|
| Citations | 1054 | 231 |
| indice h | 17 | 8 |
| indice i10 | 18 | 7 |
Accès public
Tout afficher3 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Jeremy GibbonsProfessor of Computing, University of OxfordAdresse e-mail validée de cs.ox.ac.uk- Einar Broch JohnsenProfessor, University of OsloAdresse e-mail validée de ifi.uio.no
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtAdresse e-mail validée de cs.tu-darmstadt.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresse e-mail validée de cwi.nl
- Elvira AlbertComplutense University of SpainAdresse e-mail validée de sip.ucm.es
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Adresse e-mail validée de kit.edu
- Stijn de GouwAssistant Professor, Open University, The NetherlandsAdresse e-mail validée de ou.nl
- Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloAdresse e-mail validée de ifi.uio.no
- Radu MuscheviciTU DarmstadtAdresse e-mail validée de cs.tu-darmstadt.de
- Dave ClarkeIndependentAdresse e-mail validée de storytel.com
- Muddassar Azam SindhuAssociate Professor, Computer Science Department, Quaid i Azam University, IslamabadAdresse e-mail validée de qau.edu.pk
- Karl MeinkeProfessor of Computer Science KTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
- Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridAdresse e-mail validée de fdi.ucm.es
- Michiel HelvensteijnSoftware Engineer at MetaAdresse e-mail validée de meta.com
- Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalAdresse e-mail validée de proenca.org
- Lei FengAssociate Professor, KTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
- carlo augusto graziaTenure-Track Assistant Professor, University of Modena and Reggio EmiliaAdresse e-mail validée de unimore.it
- Cosimo LaneveProfessor of Computer Science, University of BolognaAdresse e-mail validée de unibo.it
- Puri ArenasAssociate ProfessorAdresse e-mail validée de sip.ucm.es
- Richard BubelDepartment of Computer Science, TU DarmstadtAdresse e-mail validée de cs.tu-darmstadt.de
