Maria Anna Schett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PODC | Embedding a Deterministic BFT Protocol in a Block DAG. | Maria Anna Schett, George Danezis |
| 2020 | CAV | Synthesis of Super-Optimized Smart Contracts Using Max-SMT. | Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett |
| 2020 | CAV | Populating the Peephole Optimizer of a Smart Contract Compiler. | Maria Anna Schett, Julian Nagele |
| 2019 | OPODIS | Deconstructing Stellar Consensus. | lvaro Garca-Prez, Maria Anna Schett |