research
∙
01/13/2022
Translation Certification for Smart Contracts
Compiler correctness is an old problem, but with the emergence of smart ...
share
research
∙
10/23/2020
A Computational Evaluation of Musical Pattern Discovery Algorithms
Pattern discovery algorithms in the music domain aim to find meaningful ...
research
∙
05/01/2020
