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, 2010
1222010
Fresh-register automata
N Tzevelekos
ACM SIGPLAN Notices 46 (1), 295-306, 2011
902011
Full abstraction for nominal general references
N Tzevelekos
Logical Methods in Computer Science 5, 2009
472009
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
452013
A system-level game semantics
DR Ghica, N Tzevelekos
Electronic Notes in Theoretical Computer Science 286, 191-211, 2012
422012
Algorithmic games for full ground references
AS Murawski, N Tzevelekos
International Colloquium on Automata, Languages, and Programming, 312-324, 2012
40*2012
Game semantics for good general references
AS Murawski, N Tzevelekos
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 75-84, 2011
362011
Reachability in pushdown register automata
AS Murawski, SJ Ramsay, N Tzevelekos
Journal of Computer and System Sciences 87, 58-83, 2017
33*2017
Nominal game semantics
N Tzevelekos
OUCL, 2009
322009
Algorithmic nominal game semantics
AS Murawski, N Tzevelekos
European Symposium on Programming, 419-438, 2011
312011
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
282003
Full abstraction for Reduced ML
AS Murawski, N Tzevelekos
International Conference on Foundations of Software Science and …, 2009
182009
Trace semantics for polymorphic references
G Jaber, N Tzevelekos
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
162016
Nominal game semantics
AS Murawski, N Tzevelekos
Foundations and TrendsŪ in Programming Languages 2 (4), 191-269, 2016
162016
History-register automata
N Tzevelekos, R Grigore
Logical Methods in Computer Science 12, 2016
152016
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
132015
Full abstraction for Reduced ML
AS Murawski, N Tzevelekos
Annals of Pure and Applied Logic 164 (11), 1118-1143, 2013
132013
A Contextual Equivalence Checker for IMJ*
AS Murawski, SJ Ramsay, N Tzevelekos
International Symposium on Automated Technology for Verification and …, 2015
122015
Game semantics for interface middleweight Java
AS Murawski, N Tzevelekos
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
122014
Functional reachability
CHL Ong, N Tzevelekos
2009 24th Annual IEEE Symposium on Logic In Computer Science, 286-295, 2009
102009
The system can't perform the operation now. Try again later.
Articles 1–20