Browsing eNauka
Browsing by Project Fantom Foundation
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2022 | Building a Join Optimizer for Souffle | Arch, Samuel; Hu, Xiaowen; Zhao, David; Subotic, Pavle; Scholz, Bernhard | Conference Paper | Mp. category will be shown later |
| 2025 | Reusable Formal Verification of DAG-Based Consensus Protocols | Bertrand, Nathalie; Ghorpade, Pranav; Rubin, Sasha; Scholz, Bernhard; Subotic, Pavle | Conference Paper | Mp. category will be shown later |