Stelios Tsampas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Compositionality in Coalgebraic Trace Semantics. | Robin Jourde, Henning Urbat, Sergey Goncharov, Stelios Tsampas, Jonas Forster |
| 2024 | FOSSACS | Logical Predicates in Higher-Order Mathematical Operational Semantics. | Sergey Goncharov, Alessio Santamaria, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2024 | LICS | Bialgebraic Reasoning on Higher-order Program Equivalence. | Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat |
| 2023 | CALCO | Higher-Order Mathematical Operational Semantics (Early Ideas). | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2023 | CALCO | CRDTs, Coalgebraically (Early Ideas). | Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper |
| 2023 | LICS | Weak Similarity in Higher-Order Mathematical Operational Semantics. | Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schrder |
| 2022 | FSCD | Stateful Structural Operational Semantics. | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2021 | APLAS | Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. | Carmine Abate, Matteo Busi, Stelios Tsampas |
| 2021 | MFCS | Abstract Congruence Criteria for Weak Bisimilarity. | Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens |