Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1270 | 510 |
Índice h | 19 | 12 |
Índice i10 | 31 | 14 |
Acesso público
Ver todos23 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergE-mail confirmado em fu-berlin.de
- Joachim ZahnentfernerE-mail confirmado em iohk.io
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceE-mail confirmado em loria.fr
- Stephan MerzSenior Researcher, INRIAE-mail confirmado em inria.fr
- Tomer LibalUniversity of LuxembourgE-mail confirmado em uni.lu
- David DeharbeCLEARSYE-mail confirmado em clearsy.com
- Giselle ReisCarnegie Mellon University - QatarE-mail confirmado em cmu.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityE-mail confirmado em anu.edu.au
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueE-mail confirmado em inria.fr
- Joseph Boudoupostdoc, IRIT, Toulouse UniversityE-mail confirmado em irit.fr
- Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityE-mail confirmado em logic.at
- Martin RienerTU WienE-mail confirmado em derivation.org
- Leon Weber-GenzelUniversity of MunichE-mail confirmado em cis.lmu.de
- Jan GorznyQuantstamp, IncE-mail confirmado em uwaterloo.ca
- Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsE-mail confirmado em iohk.io
- James ChapmanIOG (IOHK)E-mail confirmado em iohk.io
- Philip WadlerUniversity of Edinburgh and IOHK/IOGE-mail confirmado em inf.ed.ac.uk
- Michael Peyton JonesIOHKE-mail confirmado em michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKE-mail confirmado em justtesting.org
- Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEE-mail confirmado em inpe.br