| No. |
Title |
Author |
Year |
| 1 |
Dynamic Probabilistic Input Output Automata |
Civit, Pierre et al. |
2022 |
| 2 |
Game Theoretical Framework for Analyzing Blockchains Robustness |
Zappalà, Paolo et al. |
2021 |
| 3 |
On Fairness in Committee-Based Blockchains |
Amoussou-Guenou, Yackolley et al. |
2021 |
| 4 |
Rational Behaviors in Committee-Based Blockchains |
Amoussou-Guenou, Yackolley et al. |
2021 |
| 5 |
Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness |
Zappalà, Paolo et al. |
2020 |
| 6 |
Front Matter, Table of Contents, Preface, Conference Organization |
Danos, Vincent et al. |
2020 |
| 7 |
OASIcs, Vol. 71, Tokenomics 2019, Complete Volume |
Danos, Vincent et al. |
2020 |
| 8 |
Correctness of Tendermint-Core Blockchains |
Amoussou-Guenou, Yackolley et al. |
2018 |
| 9 |
Front Matter, Table of Contents, Preface, Committees, List of Authors |
Anceaume, Emmanuelle et al. |
2016 |
| 10 |
LIPIcs, Volume 46, OPODIS'15, Complete Volume |
Anceaume, Emmanuelle et al. |
2016 |
