Redirect to:
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Deconstructing general references via game semantics | 2024-10-01 | Paper |
| A bounded model checking technique for higher-order programs | 2024-03-12 | Paper |
| From bounded checking to verification of equivalence via symbolic up-to techniques | 2024-02-01 | Paper |
| On-the-fly bisimilarity checking for fresh-register automata Dependable Software Engineering. Theories, Tools, and Applications | 2023-08-10 | Paper |
| Game Semantics for Interface Middleweight Java Journal of the ACM | 2022-12-08 | Paper |
| Polynomial-time equivalence testing for deterministic fresh-register automata | 2021-08-04 | Paper |
| Higher-order linearisability | 2020-05-27 | Paper |
| Higher-order linearisability Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| A trace semantics for System F parametric polymorphism | 2018-07-17 | Paper |
| Algorithmic games for full ground references Formal Methods in System Design | 2018-07-16 | Paper |
| Trace semantics for polymorphic references Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Trace semantics for polymorphic references Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Bisimilarity in Fresh-Register Automata 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Reachability in pushdown register automata Journal of Computer and System Sciences | 2017-05-24 | Paper |
| Block structure vs scope extrusion: between innocence and omniscience Logical Methods in Computer Science | 2017-04-11 | Paper |
| A system-level game semantics Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
| History-register automata Logical Methods in Computer Science | 2016-04-19 | Paper |
| A contextual equivalence checker for IMJ* Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
| Game semantic analysis of equivalence in IMJ Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
| Reachability in pushdown register automata Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
| Game semantics for nominal exceptions Lecture Notes in Computer Science | 2014-04-16 | Paper |
| Fresh-register automata Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Game semantics for interface middleweight Java Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Full abstraction for Reduced ML Annals of Pure and Applied Logic | 2013-12-19 | Paper |
| Runtime verification based on register automata Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
| Towards nominal Abramsky Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
| History-register automata Lecture Notes in Computer Science | 2013-03-18 | Paper |
| Deconstructing general references via game semantics Lecture Notes in Computer Science | 2013-03-18 | Paper |
| Algorithmic games for full ground references Automata, Languages, and Programming | 2012-11-01 | Paper |
| Program equivalence in a simple language with state Computer Languages, Systems & Structures | 2012-10-25 | Paper |
| Introduction to categories and categorical logic New Structures for Physics | 2011-05-31 | Paper |
| Algorithmic nominal game semantics Programming Languages and Systems | 2011-05-19 | Paper |
| Block structure vs. scope extrusion: between innocence and omniscience Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
| Full abstraction for nominal general references Logical Methods in Computer Science | 2010-01-28 | Paper |
| Full Abstraction for Reduced ML Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
| Investigations on the dual calculus Theoretical Computer Science | 2006-09-14 | Paper |
Research outcomes over time
This page was built for person: Nikos Tzevelekos
