Introduction to categories and categorical logic S Abramsky, N Tzevelekos New structures for physics, 3-94, 2011 | 139 | 2011 |

Fresh-register automata N Tzevelekos ACM SIGPLAN Notices 46 (1), 295-306, 2011 | 94 | 2011 |

Runtime verification based on register automata R Grigore, D Distefano, RL Petersen, N Tzevelekos Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 53 | 2013 |

Full abstraction for nominal general references N Tzevelekos Logical Methods in Computer Science 5, 2009 | 52 | 2009 |

A system-level game semantics DR Ghica, N Tzevelekos Electronic Notes in Theoretical Computer Science 286, 191-211, 2012 | 49 | 2012 |

Algorithmic games for full ground references AS Murawski, N Tzevelekos International Colloquium on Automata, Languages, and Programming, 312-324, 2012 | 47* | 2012 |

Game semantics for good general references AS Murawski, N Tzevelekos 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 75-84, 2011 | 39 | 2011 |

Algorithmic nominal game semantics AS Murawski, N Tzevelekos European Symposium on Programming, 419-438, 2011 | 36 | 2011 |

Nominal game semantics N Tzevelekos OUCL, 2009 | 35 | 2009 |

Reachability in pushdown register automata AS Murawski, SJ Ramsay, N Tzevelekos Journal of Computer and System Sciences 87, 58-83, 2017 | 33* | 2017 |

An empirical local convergence study of alternative coordination schemes in analytical target cascading N Tzevelekos, M Kokkolaras, PY Papalambros, MF Hulshof, LFP Etman, ... Short papers of the 5th world congress of structural and multidisciplinary …, 2003 | 29 | 2003 |

History-register automata N Tzevelekos, R Grigore International Conference on Foundations of Software Science and …, 2013 | 25* | 2013 |

Nominal game semantics AS Murawski, N Tzevelekos Foundations and Trends® in Programming Languages 2 (4), 191-269, 2016 | 22 | 2016 |

Full abstraction for Reduced ML AS Murawski, N Tzevelekos International Conference on Foundations of Software Science and …, 2009 | 18 | 2009 |

Trace semantics for polymorphic references G Jaber, N Tzevelekos Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 17 | 2016 |

Theorems for free from separation logic specifications L Birkedal, T Dinsdale-Young, A Guéneau, G Jaber, K Svendsen, ... Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021 | 16 | 2021 |

Bisimilarity in fresh-register automata AS Murawski, SJ Ramsay, N Tzevelekos 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 156-167, 2015 | 16 | 2015 |

Full abstraction for Reduced ML AS Murawski, N Tzevelekos Annals of Pure and Applied Logic 164 (11), 1118-1143, 2013 | 15 | 2013 |

A Contextual Equivalence Checker for *IMJ**AS Murawski, SJ Ramsay, N Tzevelekos Automated Technology for Verification and Analysis: 13th International …, 2015 | 14 | 2015 |

Higher-order linearisability AS Murawski, N Tzevelekos Journal of Logical and Algebraic Methods in Programming 104, 86-116, 2019 | 12 | 2019 |