Nikos Tzevelekos
Título
Citado por
Citado por
Ano
Introduction to categories and categorical logic
S Abramsky, N Tzevelekos
New structures for physics, 3-94, 2010
982010
Fresh-register automata
N Tzevelekos
ACM SIGPLAN Notices 46 (1), 295-306, 2011
792011
Full abstraction for nominal general references
N Tzevelekos
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 399-410, 2007
432007
Algorithmic games for full ground references
AS Murawski, N Tzevelekos
International Colloquium on Automata, Languages, and Programming, 312-324, 2012
352012
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
322013
A system-level game semantics
DR Ghica, N Tzevelekos
Electronic Notes in Theoretical Computer Science 286, 191-211, 2012
322012
Algorithmic nominal game semantics
AS Murawski, N Tzevelekos
European Symposium on Programming, 419-438, 2011
312011
Game semantics for good general references
AS Murawski, N Tzevelekos
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 75-84, 2011
302011
Nominal game semantics
N Tzevelekos
OUCL, 2009
302009
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
272003
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
182009
History-register automata
N Tzevelekos, R Grigore
International Conference on Foundations of Software Science and …, 2013
152013
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
112015
Nominal Game Semantics.
AS Murawski, N Tzevelekos
Foundations and Trends in Programming Languages, 2016
102016
Full abstraction for Reduced ML
AS Murawski, N Tzevelekos
Annals of Pure and Applied Logic 164 (11), 1118-1143, 2013
92013
Functional reachability
CHL Ong, N Tzevelekos
2009 24th Annual IEEE Symposium on Logic In Computer Science, 286-295, 2009
92009
Investigations on the dual calculus
N Tzevelekos
Theoretical computer science 360 (1-3), 2006
92006
Polynomial-time equivalence testing for deterministic fresh-register automata
AS Murawski, S Ramsay, N Tzevelekos
Schloss Dagstuhl, 2018
82018
Trace semantics for polymorphic references
G Jaber, N Tzevelekos
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
82016
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20