Modeling Timed Concurrent Systems. - Xiaojun Liu 001; Eleftherios Matsikoudis; Edward A. Lee (CONCUR, 2006)

Axioms for Asynchronous Processes. - Eleftherios Matsikoudis (2010)

From Transitions to Executions. - Eleftherios Matsikoudis; Edward A. Lee (CMCS, 2012)

On the schedulability of real-time discrete-event systems. - Eleftherios Matsikoudis; Christos Stergiou 001; Edward A. Lee (EMSOFT, 2013)

An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. - Eleftherios Matsikoudis; Edward A. Lee (FCT, 2013)

On Fixed Points of Strictly Causal Functions. - Eleftherios Matsikoudis; Edward A. Lee (FORMATS, 2013)

On the Verification of Timed Discrete-Event Models. - Christos Stergiou 001; Stavros Tripakis; Eleftherios Matsikoudis; Edward A. Lee (FORMATS, 2013)

The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. - Eleftherios Matsikoudis; Edward A. Lee (FICS, 2013)

The fixed-point theory of strictly causal functions. - Eleftherios Matsikoudis; Edward A. Lee (Theor. Comput. Sci., 2015)