Minas Charalambides

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Concurrent Execution

Top Venues

Sci. Comput. Program.

Models, Languages, and Tools for Concurrent and Distributed Programming

Publications

Minas Charalambides, Karl Palmskog, Gul Agha
Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Minas Charalambides, Peter Dinges, Gul A. Agha
Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. (2016)
Peter Dinges, Minas Charalambides, Gul Agha
Automated inference of atomic sets for safe concurrent execution. PASTE (2013)
Minas Charalambides, Peter Dinges, Gul Agha
Parameterized Concurrent Multi-Party Session Types FOCLASA (2012)
Haris Georgiadis, Minas Charalambides, Vasilis Vassalos
A query optimization assistant for XPath. EDBT (2011)
Haris Georgiadis, Minas Charalambides, Vasilis Vassalos
Efficient physical operators for cost-based XPath execution. EDBT (2010)
Haris Georgiadis, Minas Charalambides, Vasilis Vassalos
Cost based plan selection for xpath. SIGMOD Conference (2009)