| Deconstructing Stellar Consensus Á García-Pérez, MA Schett 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), 2020 | 5* | 2020 |
| Deconstructing Stellar Consensus (Extended Version) Á García-Pérez, MA Schett arXiv preprint arXiv:1911.05145, 2019 | 5 | 2019 |
| Synthesis of Super-Optimized Smart Contracts Using Max-SMT E Albert, P Gordillo, A Rubio, MA Schett International Conference on Computer Aided Verification, 177-200, 2020 | 4 | 2020 |
| Blockchain Superoptimizer J Nagele, MA Schett | 4 | 2019 |
| Kruskal's Tree Theorem for Acyclic Term Graphs G Moser, MA Schett arXiv preprint arXiv:1609.03642, 2016 | 1 | 2016 |
| Design of Knowledge Analytics Tools for Workplace Learning MA Schett, S Thalmann, RK Maier Proceedigns of LDWA, 2016 | 1 | 2016 |
| Populating the Peephole Optimizer of a Smart Contract Compiler MA Schett, J Nagele 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020 | | 2020 |
| From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination MA Schett University of Innsbruck, 2016 | | 2016 |
| Implementation And Evaluation Of The Knowledge Element Preparation Model M SCHETT University of Innsbruck, 2015 | | 2015 |
| Termgraph Rewriting MA Schett | | 2011 |
| Blockmania qed.⋆ MA Schett | | |
