Get my own profile
Public access
View all24 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerified email at fu-berlin.de
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Tomer LibalUniversity of LuxembourgVerified email at uni.lu
David DeharbeCLEARSYVerified email at clearsy.com
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
John SlaneyProfessor of Computer Science, Australian National UniversityVerified email at anu.edu.au
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Joseph Boudoupostdoc, IRIT, Toulouse UniversityVerified email at irit.fr
Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityVerified email at logic.at
Martin RienerTU WienVerified email at derivation.org
Leon Weber-GenzelUniversity of MunichVerified email at cis.lmu.de
Jan GorznyQuantstamp, IncVerified email at uwaterloo.ca
Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsVerified email at iohk.io
James ChapmanIOG (IOHK)Verified email at iohk.io
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Michael Peyton JonesIOHKVerified email at michaelpj.com
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEVerified email at inpe.br
J C N de AraujoINPEVerified email at inpe.br