Knowledge Analytics For Workplace Learning. - Maria Anna Schett; Stefan Thalmann; Ronald K. Maier (LWDA, 2016)

Kruskal's Tree Theorem for Acyclic Term Graphs. - Georg Moser; Maria Anna Schett (TERMGRAPH, 2016)

Deconstructing Stellar Consensus. - Álvaro García-Pérez; Maria Anna Schett (OPODIS, 2019)

Deconstructing Stellar Consensus (Extended Version). - Álvaro García-Pérez; Maria Anna Schett (CoRR, 2019)

Synthesis of Super-Optimized Smart Contracts Using Max-SMT. - Elvira Albert; Pablo Gordillo; Albert Rubio; Maria Anna Schett (CAV (1), 2020)

Populating the Peephole Optimizer of a Smart Contract Compiler. - Maria Anna Schett; Julian Nagele (FMBC@CAV, 2020)

Blockchain Superoptimizer. - Julian Nagele; Maria Anna Schett (CoRR, 2020)

Embedding a Deterministic BFT Protocol in a Block DAG. - Maria Anna Schett; George Danezis (PODC, 2021)

Super-optimization of Smart Contracts. - Elvira Albert; Pablo Gordillo; Alejandro Hernández-Cerezo; Albert Rubio; Maria Anna Schett (ACM Trans. Softw. Eng. Methodol., 2022)