Maria A Schett
Maria A Schett
UCL
Verified email at maria-a-schett.net - Homepage
Title
Cited by
Cited by
Year
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
52019
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
32020
Blockchain Superoptimizer
J Nagele, MA Schett
32019
Kruskal's Tree Theorem for Acyclic Term Graphs
G Moser, MA Schett
arXiv preprint arXiv:1609.03642, 2016
12016
Design of Knowledge Analytics Tools for Workplace Learning
MA Schett, S Thalmann, RK Maier
Proceedigns of LDWA, 2016
12016
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
The system can't perform the operation now. Try again later.
Articles 1–11