Maria Anna Schett

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 10

Top Topics

Workplace Learning

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett
Super-optimization of Smart Contracts. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Maria Anna Schett, George Danezis
Embedding a Deterministic BFT Protocol in a Block DAG. CoRR (2021)
Maria Anna Schett, George Danezis
Embedding a Deterministic BFT Protocol in a Block DAG. PODC (2021)
Maria Anna Schett, Julian Nagele
Populating the Peephole Optimizer of a Smart Contract Compiler. FMBC@CAV (2020)
Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
Synthesis of Super-Optimized Smart Contracts Using Max-SMT. CAV (1) (2020)
Julian Nagele, Maria Anna Schett
Blockchain Superoptimizer. CoRR (2020)
Álvaro García-Pérez, Maria Anna Schett
Deconstructing Stellar Consensus (Extended Version). CoRR (2019)
Álvaro García-Pérez, Maria Anna Schett
Deconstructing Stellar Consensus. OPODIS (2019)
Maria Anna Schett, Stefan Thalmann, Ronald K. Maier
Knowledge Analytics For Workplace Learning. LWDA (2016)
Georg Moser, Maria Anna Schett
Kruskal's Tree Theorem for Acyclic Term Graphs. TERMGRAPH (2016)