Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 1270 | 510 |
h-index | 19 | 12 |
i10-indeks | 31 | 14 |
Offentlig adgang
Se alle23 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerificeret mail på fu-berlin.de
- Joachim ZahnentfernerVerificeret mail på iohk.io
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerificeret mail på loria.fr
- Stephan MerzSenior Researcher, INRIAVerificeret mail på inria.fr
- Tomer LibalUniversity of LuxembourgVerificeret mail på uni.lu
- David DeharbeCLEARSYVerificeret mail på clearsy.com
- Giselle ReisCarnegie Mellon University - QatarVerificeret mail på cmu.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityVerificeret mail på anu.edu.au
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerificeret mail på inria.fr
- Joseph Boudoupostdoc, IRIT, Toulouse UniversityVerificeret mail på irit.fr
- Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityVerificeret mail på logic.at
- Martin RienerTU WienVerificeret mail på derivation.org
- Leon Weber-GenzelUniversity of MunichVerificeret mail på cis.lmu.de
- Jan GorznyQuantstamp, IncVerificeret mail på uwaterloo.ca
- Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsVerificeret mail på iohk.io
- James ChapmanIOG (IOHK)Verificeret mail på iohk.io
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerificeret mail på inf.ed.ac.uk
- Michael Peyton JonesIOHKVerificeret mail på michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKVerificeret mail på justtesting.org
- Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEVerificeret mail på inpe.br