Quicksort Revisited - Verifying Alternative Versions of Quicksort. - Razvan Certezeanu; Sophia Drossopoulou; Benjamin Egelund-Müller; K. Rustan M. Leino; Sinduran Sivarajan; Mark J. Wheelhouse (Theory and Practice of Formal Methods, 2016)

Automated Execution of Financial Contracts on Blockchains. - Benjamin Egelund-Müller; Martin Elsman; Fritz Henglein; Omri Ross (Bus. Inf. Syst. Eng., 2017)