Skapa en profil
Offentlig åtkomst
Visa alla23 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerifierad e-postadress på fu-berlin.de
- Joachim ZahnentfernerVerifierad e-postadress på iohk.io
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerifierad e-postadress på loria.fr
- Stephan MerzSenior Researcher, INRIAVerifierad e-postadress på inria.fr
- Tomer LibalUniversity of LuxembourgVerifierad e-postadress på uni.lu
- David DeharbeCLEARSYVerifierad e-postadress på clearsy.com
- Giselle ReisCarnegie Mellon University - QatarVerifierad e-postadress på cmu.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityVerifierad e-postadress på anu.edu.au
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerifierad e-postadress på inria.fr
- Joseph Boudoupostdoc, IRIT, Toulouse UniversityVerifierad e-postadress på irit.fr
- Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityVerifierad e-postadress på logic.at
- Martin RienerTU WienVerifierad e-postadress på derivation.org
- Leon Weber-GenzelUniversity of MunichVerifierad e-postadress på cis.lmu.de
- Jan GorznyQuantstamp, IncVerifierad e-postadress på uwaterloo.ca
- Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsVerifierad e-postadress på iohk.io
- James ChapmanIOG (IOHK)Verifierad e-postadress på iohk.io
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerifierad e-postadress på inf.ed.ac.uk
- Michael Peyton JonesIOHKVerifierad e-postadress på michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKVerifierad e-postadress på justtesting.org
- Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEVerifierad e-postadress på inpe.br