| 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 | 28 | 2020 |
| Blockchain Superoptimizer J Nagele, MA Schett | 22 | 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 | 11 | 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 | 10 | 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 | 8 | 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 | 4 | 2020 |
| Design of Knowledge Analytics Tools for Workplace Learning MA Schett, S Thalmann, RK Maier Proceedigns of LDWA, 2016 | 1 | 2016 |
| 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 | | |
