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

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

Full abstraction for nominal general references N Tzevelekos 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 399-410, 2007 | 43 | 2007 |

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

Runtime verification based on register automata R Grigore, D Distefano, RL Petersen, N Tzevelekos International Conference on Tools and Algorithms for the Construction and …, 2013 | 34 | 2013 |

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

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

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

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

An empirical local convergence study of alternative coordination schemes in analytical target cascading N Tzevelekos, M Kokkolaras, PY Papalambros, MF Hulshof, LF Etman, ... World Congress of Structural and Multidisziplinary Optimization: 19/05/2003 …, 2003 | 27 | 2003 |

Game semantic analysis of equivalence in IMJ AS Murawski, SJ Ramsay, N Tzevelekos International Symposium on Automated Technology for Verification and …, 2015 | 22* | 2015 |

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

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

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 | 11 | 2015 |

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

Nominal Game Semantics. AS Murawski, N Tzevelekos Foundations and Trends in Programming Languages, 2016 | 10 | 2016 |

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

Functional reachability CHL Ong, N Tzevelekos 2009 24th Annual IEEE Symposium on Logic In Computer Science, 286-295, 2009 | 9 | 2009 |

Investigations on the dual calculus N Tzevelekos Theoretical computer science 360 (1-3), 2006 | 9 | 2006 |

Polynomial-time equivalence testing for deterministic fresh-register automata AS Murawski, S Ramsay, N Tzevelekos Schloss Dagstuhl, 2018 | 8 | 2018 |