Christoforos Keroglou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2013–2014
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ETFA | Opacity formulations and verification in discrete event systems. | Christoforos N. Hadjicostis, Christoforos Keroglou |
| 2013 | ETFA | Initial state opacity in stochastic DES. | Christoforos Keroglou, Christoforos N. Hadjicostis |