Crea il mio profilo
Accesso pubblico
Visualizza tutto23 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergEmail verificata su fu-berlin.de
- Joachim ZahnentfernerEmail verificata su iohk.io
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceEmail verificata su loria.fr
- Stephan MerzSenior Researcher, INRIAEmail verificata su inria.fr
- Tomer LibalUniversity of LuxembourgEmail verificata su uni.lu
- David DeharbeCLEARSYEmail verificata su clearsy.com
- Giselle ReisCarnegie Mellon University - QatarEmail verificata su cmu.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityEmail verificata su anu.edu.au
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueEmail verificata su inria.fr
- Joseph Boudoupostdoc, IRIT, Toulouse UniversityEmail verificata su irit.fr
- Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityEmail verificata su logic.at
- Martin RienerTU WienEmail verificata su derivation.org
- Leon Weber-GenzelUniversity of MunichEmail verificata su cis.lmu.de
- Jan GorznyQuantstamp, IncEmail verificata su uwaterloo.ca
- Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsEmail verificata su iohk.io
- James ChapmanIOG (IOHK)Email verificata su iohk.io
- Philip WadlerUniversity of Edinburgh and IOHK/IOGEmail verificata su inf.ed.ac.uk
- Michael Peyton JonesIOHKEmail verificata su michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKEmail verificata su justtesting.org
- Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEEmail verificata su inpe.br