Eleftherios Matsikoudis

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Timed Petri Nets

Sufficient Conditions

Belief Propagation

Top Venues

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Eleftherios Matsikoudis, Edward A. Lee
The fixed-point theory of strictly causal functions. Theor. Comput. Sci. 574 (2015)
Eleftherios Matsikoudis, Edward A. Lee
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. FCT (2013)
Eleftherios Matsikoudis, Edward A. Lee
On Fixed Points of Strictly Causal Functions. FORMATS (2013)
Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee
On the Verification of Timed Discrete-Event Models. FORMATS (2013)
Eleftherios Matsikoudis, Edward A. Lee
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. FICS (2013)
Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee
On the schedulability of real-time discrete-event systems. EMSOFT (2013)
Eleftherios Matsikoudis, Edward A. Lee
From Transitions to Executions. CMCS (2012)
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee
Modeling Timed Concurrent Systems. CONCUR (2006)