Mavridou, A., Laszka, A., Stachtiari, E., & Dubey, A. (2019). VeriSolid: Correct-by-Design Smart Contracts for Ethereum. In Financial Cryptograph. St. Kitts. (Original work published 2019)

Eisele, S., Laszka, A., Mavridou, A., & Dubey, A. (2018). SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. In Blockchain-2018: The 2018 IEEE International Conference on Blockchain (Vol. abs/1804.08133). Halifax, Nova Scotia. (Original work published August 2018)

Meijer, P., & Mavridou, A. (2018). How to Build a Design Studio with WebGME. Nashville: Institute for Software Integrated Systems. (Original work published September 5, 2018)