Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 1274 | 514 |
h-indeks | 19 | 12 |
i10-indeks | 31 | 14 |
Dostęp publiczny
Wyświetl wszystko23 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergZweryfikowany adres z fu-berlin.de
- Joachim ZahnentfernerZweryfikowany adres z iohk.io
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceZweryfikowany adres z loria.fr
- Stephan MerzSenior Researcher, INRIAZweryfikowany adres z inria.fr
- Tomer LibalUniversity of LuxembourgZweryfikowany adres z uni.lu
- David DeharbeCLEARSYZweryfikowany adres z clearsy.com
- Giselle ReisCarnegie Mellon University - QatarZweryfikowany adres z cmu.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityZweryfikowany adres z anu.edu.au
- Dale MillerInria-Saclay and LIX, Ecole PolytechniqueZweryfikowany adres z inria.fr
- Joseph Boudoupostdoc, IRIT, Toulouse UniversityZweryfikowany adres z irit.fr
- Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityZweryfikowany adres z logic.at
- Martin RienerTU WienZweryfikowany adres z derivation.org
- Leon Weber-GenzelUniversity of MunichZweryfikowany adres z cis.lmu.de
- Jan GorznyQuantstamp, IncZweryfikowany adres z uwaterloo.ca
- Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsZweryfikowany adres z iohk.io
- James ChapmanIOG (IOHK)Zweryfikowany adres z iohk.io
- Philip WadlerUniversity of Edinburgh and IOHK/IOGZweryfikowany adres z inf.ed.ac.uk
- Michael Peyton JonesIOHKZweryfikowany adres z michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHKZweryfikowany adres z justtesting.org
- Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEZweryfikowany adres z inpe.br