Stelios Tsampas

Publications by Year

Research Areas

Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Security and Verification in Computing, Advanced Malware Detection Techniques

Most-Cited Works

• → Towards a Higher-Order Mathematical Operational Semantics(2023)13 cited
• → Temporal Safety for Stack Allocated Memory on Capability Machines(2019)11 cited
• → Weak Similarity in Higher-Order Mathematical Operational Semantics(2023)10 cited
• → Logical Predicates in Higher-Order Mathematical Operational Semantics(2024)6 cited
• → Stateful Structural Operational Semantics(2022)5 cited
• → Bialgebraic Reasoning on Higher-order Program Equivalence(2024)4 cited
• → Fully Abstract and Robust Compilation(2021)4 cited
• → Abstract Congruence Criteria for Weak Bisimilarity(2020)2 cited
• → Abstract Operational Methods for Call-by-Push-Value(2025)2 cited
• → CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle(2021)1 cited