| 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 | 31 | 2020 |
| Blockchain Superoptimizer J Nagele, MA Schett | 24 | 2019 |
| Deconstructing Stellar Consensus Á García-Pérez, MA Schett 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), 2020 | 20* | 2020 |
| Deconstructing Stellar Consensus (Extended Version) Á García-Pérez, MA Schett arXiv preprint arXiv:1911.05145, 2019 | 20 | 2019 |
| Embedding a Deterministic BFT Protocol in a Block DAG MA Schett, G Danezis Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing …, 2021 | 14 | 2021 |
| Super-Optimization of Smart Contracts E Albert, P Gordillo, A Hernández-Cerezo, A Rubio, MA Schett ACM Transactions on Software Engineering and Methodology, 2021 | 11 | 2021 |
| Kruskal's Tree Theorem for Acyclic Term Graphs G Moser, MA Schett arXiv preprint arXiv:1609.03642, 2016 | 6 | 2016 |
| Populating the Peephole Optimizer of a Smart Contract Compiler MA Schett, J Nagele 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020 | 5 | 2020 |
| Design of Knowledge Analytics Tools for Workplace Learning MA Schett, S Thalmann, RK Maier Proceedigns of LDWA, 2016 | 1 | 2016 |
| Foundational Verification of Smart Contracts through Verified Compilation V Sjöberg, K Dave, D Britten, MA Schett, X Sun, Q Wang, SN Anderson, ... arXiv preprint arXiv:2405.08348, 2024 | | 2024 |
| Cost Reduction With Guarantees: Formal Reasoning Applied To Blockchain Technologies MA Schett UCL (University College London), 2021 | | 2021 |
| From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination MA Schett University of Innsbruck, 2016 | | 2016 |
| Kruskal’s Tree Theorem for Term Graphs G Moser, MA Schett | | 2016 |
| Implementation And Evaluation Of The Knowledge Element Preparation Model M SCHETT University of Innsbruck, 2015 | | 2015 |
| D1. 1 Results of Exploratory Study & Design Implications M Bauters, V Borntrager, J Burchert, L Deitmer, S Dennerlein, ... | | 2013 |
| Termgraph Rewriting MA Schett | | 2011 |
| Blockmania qed.⋆ MA Schett | | |
