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)