An Empirical Study of Protocols in Smart Contracts. - Timothy Mou; Michael J. Coblenz; Jonathan Aldrich (CoRR, 2021)

Semantically Separating Nominal Wyvern for Usability and Decidability. - Yu Xiang Zhu; Amos Robinson; Sophia Roshal; Timothy Mou; Julian Mackay; Jonathan Aldrich; Alex Potanin (CoRR, 2025)