Quantum Data and Control Made Easier. - Michael Lampis; Kyriakos G. Ginis; Michalis A. Papakyriakou; Nikolaos S. Papaspyrou (QPL, 2006)

A Type and Effect System for Implementing Functional Arrays with Destructive Updates. - Georgios Korfiatis; Michalis A. Papakyriakou; Nikolaos Papaspyrou (FedCSIS, 2011)

Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. - Niki Vazou; Michalis A. Papakyriakou; Nikolaos Papaspyrou (FedCSIS, 2011)