Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 1273 | 513 |
indice h | 19 | 12 |
indice i10 | 31 | 14 |
Accès public
Tout afficher23 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergAdresse e-mail validée de fu-berlin.de
- Joachim ZahnentfernerAdresse e-mail validée de iohk.io
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceAdresse e-mail validée de loria.fr
- Stephan MerzSenior Researcher, INRIAAdresse e-mail validée de inria.fr
- Tomer LibalUniversity of LuxembourgAdresse e-mail validée de uni.lu
- David DeharbeCLEARSYAdresse e-mail validée de clearsy.com
- Giselle ReisCarnegie Mellon University - QatarAdresse e-mail validée de cmu.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityAdresse e-mail validée de anu.edu.au
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueAdresse e-mail validée de inria.fr
- Joseph Boudoupostdoc, IRIT, Toulouse UniversityAdresse e-mail validée de irit.fr
- Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityAdresse e-mail validée de logic.at
- Martin RienerTU WienAdresse e-mail validée de derivation.org
- Leon Weber-GenzelUniversity of MunichAdresse e-mail validée de cis.lmu.de
- Jan GorznyQuantstamp, IncAdresse e-mail validée de uwaterloo.ca
- Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsAdresse e-mail validée de iohk.io
- James ChapmanIOG (IOHK)Adresse e-mail validée de iohk.io
- Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
- Michael Peyton JonesIOHKAdresse e-mail validée de michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKAdresse e-mail validée de justtesting.org
- Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEAdresse e-mail validée de inpe.br