‪Joachim Zahnentferner‬ - ‪Google Scholar‬

Obtenir mon propre profil

Citée par

	Toutes	Depuis 2019
Citations	105	100
indice h	4	4
indice i10	3	3

0

24

12

20182019202020212022202320244 13 18 19 19 23 8

Joachim Zahnentferner

Joachim Zahnentferner

Affiliation inconnue

Adresse e-mail validée de iohk.io

Blockchain Cryptocurrency


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies J Zahnentferner Cryptology ePrint Archive, 2018	65	2018
An abstract model of UTxO-based cryptocurrencies with scripts J Zahnentferner Cryptology ePrint Archive, 2018	14	2018
UTXO: UTXO with Multi-asset Support MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ... International symposium on leveraging applications of formal methods, 112-130, 2020	12	2020
Djed: A formally verified crypto-backed pegged algorithmic stablecoin J Zahnentferner, D Kaidalov, JF Etienne, J Díaz Cryptology ePrint Archive, 2021	8	2021
Djed: a formally verified crypto-backed autonomous stablecoin protocol J Zahnentferner, D Kaidalov, JF Etienne, J Díaz 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2023	3	2023
Multi-currency ledgers J Zahnentferner Cryptology ePrint Archive, 2020	3	2020
hodlCoin: A Financial Game J Zahnentferner Cryptology ePrint Archive, 2023		2023

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–7