Mijn eigen profiel maken
Openbare toegang
Alles bekijken23 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergGeverifieerd e-mailadres voor fu-berlin.de
- Joachim ZahnentfernerGeverifieerd e-mailadres voor iohk.io
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceGeverifieerd e-mailadres voor loria.fr
- Stephan MerzSenior Researcher, INRIAGeverifieerd e-mailadres voor inria.fr
- Tomer LibalUniversity of LuxembourgGeverifieerd e-mailadres voor uni.lu
- David DeharbeCLEARSYGeverifieerd e-mailadres voor clearsy.com
- Giselle ReisCarnegie Mellon University - QatarGeverifieerd e-mailadres voor cmu.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueGeverifieerd e-mailadres voor inria.fr
- Joseph Boudoupostdoc, IRIT, Toulouse UniversityGeverifieerd e-mailadres voor irit.fr
- Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityGeverifieerd e-mailadres voor logic.at
- Martin RienerTU WienGeverifieerd e-mailadres voor derivation.org
- Leon Weber-GenzelUniversity of MunichGeverifieerd e-mailadres voor cis.lmu.de
- Jan GorznyQuantstamp, IncGeverifieerd e-mailadres voor uwaterloo.ca
- Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsGeverifieerd e-mailadres voor iohk.io
- James ChapmanIOG (IOHK)Geverifieerd e-mailadres voor iohk.io
- Philip WadlerUniversity of Edinburgh and IOHK/IOGGeverifieerd e-mailadres voor inf.ed.ac.uk
- Michael Peyton JonesIOHKGeverifieerd e-mailadres voor michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKGeverifieerd e-mailadres voor justtesting.org
- Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEGeverifieerd e-mailadres voor inpe.br