Nikos Tzevelekos

Available identifiers

zbMath Open tzevelekos.nikosMaRDI QIDQ388211

List of research outcomes

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	2023-08-10	Paper
Game Semantics for Interface Middleweight Java	2022-12-08	Paper
Polynomial-time equivalence testing for deterministic fresh-register automata	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5111648	2020-05-27	Paper
Higher-order linearisability	2019-06-20	Paper
A trace semantics for System F parametric polymorphism	2018-07-17	Paper
Algorithmic games for full ground references	2018-07-16	Paper
Bisimilarity in Fresh-Register Automata	2018-04-23	Paper
Trace semantics for polymorphic references	2018-04-23	Paper
Reachability in pushdown register automata	2017-05-24	Paper
Block structure vs scope extrusion: between innocence and omniscience	2017-04-11	Paper
A System-Level Game Semantics	2016-07-08	Paper
History-Register Automata	2016-04-19	Paper
A Contextual Equivalence Checker for IMJ*	2016-01-08	Paper
Game Semantic Analysis of Equivalence in IMJ	2016-01-08	Paper
Reachability in Pushdown Register Automata	2014-10-14	Paper
Game Semantics for Nominal Exceptions	2014-04-16	Paper
Game semantics for interface middleweight Java	2014-04-10	Paper
Fresh-register automata	2014-04-10	Paper
Full abstraction for Reduced ML	2013-12-19	Paper
Runtime Verification Based on Register Automata	2013-08-05	Paper
Towards Nominal Abramsky	2013-05-28	Paper
History-Register Automata	2013-03-18	Paper
Deconstructing General References via Game Semantics	2013-03-18	Paper
Algorithmic Games for Full Ground References	2012-11-01	Paper
Program equivalence in a simple language with state	2012-10-25	Paper
Introduction to Categories and Categorical Logic	2011-05-31	Paper
Algorithmic Nominal Game Semantics	2011-05-19	Paper
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience	2010-04-27	Paper
Full abstraction for nominal general references	2010-01-28	Paper
Full Abstraction for Reduced ML	2009-03-31	Paper
Investigations on the dual calculus	2006-09-14	Paper

Research outcomes over time

This page was built for person: Nikos Tzevelekos