Cost based plan selection for xpath. - Haris Georgiadis; Minas Charalambides; Vasilis Vassalos (SIGMOD Conference, 2009)

Efficient physical operators for cost-based XPath execution. - Haris Georgiadis; Minas Charalambides; Vasilis Vassalos (EDBT, 2010)

A query optimization assistant for XPath. - Haris Georgiadis; Minas Charalambides; Vasilis Vassalos (EDBT, 2011)

Parameterized Concurrent Multi-Party Session Types - Minas Charalambides; Peter Dinges; Gul Agha (FOCLASA, 2012)

Automated inference of atomic sets for safe concurrent execution. - Peter Dinges; Minas Charalambides; Gul Agha (PASTE, 2013)

Parameterized, concurrent session types for asynchronous multi-actor interactions. - Minas Charalambides; Peter Dinges; Gul A. Agha (Sci. Comput. Program., 2016)

Actor programming with static guarantees - Minas Charalambides (2018)

Types for Progress in Actor Programs. - Minas Charalambides; Karl Palmskog; Gul Agha (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)