Temporal Safety for Stack Allocated Memory on Capability Machines. - Stelios Tsampas 001; Dominique Devriese; Frank Piessens (CSF, 2019)

A Categorical Approach to Secure Compilation. - Stelios Tsampas 001; Andreas Nuyts; Dominique Devriese; Frank Piessens (CMCS, 2020)

Abstract Congruence Criteria for Weak Bisimilarity. - Stelios Tsampas 001; Christian Williams; Dominique Devriese; Frank Piessens (CoRR, 2020)

Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. - Carmine Abate; Matteo Busi 001; Stelios Tsampas 001 (APLAS, 2021)

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. - Akram El-Korashy; Stelios Tsampas 001; Marco Patrignani; Dominique Devriese; Deepak Garg 001; Frank Piessens (CSF, 2021)

Abstract Congruence Criteria for Weak Bisimilarity. - Stelios Tsampas 001; Christian Williams; Andreas Nuyts; Dominique Devriese; Frank Piessens (MFCS, 2021)

Stateful Structural Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (FSCD, 2022)

Higher-Order Mathematical Operational Semantics (Early Ideas). - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CALCO, 2023)

CRDTs, Coalgebraically (Early Ideas). - Nathan Liittschwager; Stelios Tsampas 001; Jonathan Castello; Lindsey Kuper (CALCO, 2023)

Weak Similarity in Higher-Order Mathematical Operational Semantics. - Henning Urbat; Stelios Tsampas 001; Sergey Goncharov 001; Stefan Milius; Lutz Schröder (LICS, 2023)

Towards a Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (Proc. ACM Program. Lang., 2023)

Logical Predicates in Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Alessio Santamaria; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (FoSSaCS (2), 2024)

Bialgebraic Reasoning on Higher-order Program Equivalence. - Sergey Goncharov 001; Stefan Milius; Stelios Tsampas 001; Henning Urbat (LICS, 2024)

Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CoRR, 2024)

Abstract Operational Methods for Call-by-Push-Value. - Sergey Goncharov 001; Stelios Tsampas 001; Henning Urbat (Proc. ACM Program. Lang., 2025)

Bialgebraic Reasoning on Stateful Languages. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CoRR, 2025)

CRDT Emulation, Simulation, and Representation Independence. - Nathan Liittschwager; Jonathan Castello; Stelios Tsampas 001; Lindsey Kuper (CoRR, 2025)

Big Steps in Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Pouya Partow; Stelios Tsampas 001 (CoRR, 2025)