Follow
Nikos Tzevelekos
Title
Cited by
Cited by
Year
Introduction to categories and categorical logic
S Abramsky, N Tzevelekos
New structures for physics, 3-94, 2011
1392011
Fresh-register automata
N Tzevelekos
ACM SIGPLAN Notices 46 (1), 295-306, 2011
942011
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
542013
Full abstraction for nominal general references
N Tzevelekos
Logical Methods in Computer Science 5, 2009
522009
A system-level game semantics
DR Ghica, N Tzevelekos
Electronic Notes in Theoretical Computer Science 286, 191-211, 2012
482012
Algorithmic games for full ground references
AS Murawski, N Tzevelekos
International Colloquium on Automata, Languages, and Programming, 312-324, 2012
48*2012
Game semantics for good general references
AS Murawski, N Tzevelekos
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 75-84, 2011
392011
Algorithmic nominal game semantics
AS Murawski, N Tzevelekos
European Symposium on Programming, 419-438, 2011
362011
Nominal game semantics
N Tzevelekos
OUCL, 2009
352009
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
282003
History-register automata
N Tzevelekos, R Grigore
International Conference on Foundations of Software Science and …, 2013
24*2013
Nominal game semantics
AS Murawski, N Tzevelekos
Foundations and Trends® in Programming Languages 2 (4), 191-269, 2016
212016
Full abstraction for Reduced ML
AS Murawski, N Tzevelekos
International Conference on Foundations of Software Science and …, 2009
192009
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
172021
Trace semantics for polymorphic references
G Jaber, N Tzevelekos
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
172016
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
162015
Full abstraction for Reduced ML
AS Murawski, N Tzevelekos
Annals of Pure and Applied Logic 164 (11), 1118-1143, 2013
152013
A Contextual Equivalence Checker for IMJ*
AS Murawski, SJ Ramsay, N Tzevelekos
Automated Technology for Verification and Analysis: 13th International …, 2015
142015
Higher-order linearisability
AS Murawski, N Tzevelekos
Journal of Logical and Algebraic Methods in Programming 104, 86-116, 2019
132019
The system can't perform the operation now. Try again later.
Articles 1–20