Nikos Tzevelekos

Available identifiers

zbMath Open tzevelekos.nikosMaRDI QIDQ388211

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nikos Tzevelekos