Eleftherios Matsikoudis

According to our database, Eleftherios Matsikoudis authored at least 9 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

The fixed-point theory of strictly causal functions.

Eleftherios Matsikoudis, Edward A. Lee

Theor. Comput. Sci., 2015

2013

The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

On the Verification of Timed Discrete-Event Models.

Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

On Fixed Points of Strictly Causal Functions.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

On the schedulability of real-time discrete-event systems.

Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee

Proceedings of the International Conference on Embedded Software, 2013

2012

From Transitions to Executions.

Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2010

Axioms for Asynchronous Processes.

Eleftherios Matsikoudis

PhD thesis, 2010

2006

Modeling Timed Concurrent Systems.

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006