Menu
 
Research menu
Jump to menu

Publications:  Dr Nikolaos Tzevelekos

TZEVELEKOS NP, Murawski AS (2017) . Algorithmic games for full ground references.Formal Methods in System Design
10.1007/s10703-017-0292-9
http://qmro.qmul.ac.uk/xmlui/handle/123456789/25859
TZEVELEKOS NP, Murawski AS, Ramsay SJ (2017) . Reachability in Pushdown Register Automata.Journal of Computer and System Sciences
10.1016/j.jcss.2017.02.008
http://qmro.qmul.ac.uk/xmlui/handle/123456789/21819
Hyland M, McCusker G, Tzevelekos N (2017) . Foreword for special issue of APAL for GaLoP 2013.ANNALS OF PURE AND APPLIED LOGIC vol. 168, (2) 233-233.
10.1016/j.apal.2016.10.004
http://qmro.qmul.ac.uk/xmlui/handle/123456789/25576
Jaber G, TZEVELEKOS NP (2016) . Trace Semantics for Polymorphic References. Conference: Logic in Computer Science (LICS)
10.1145/2933575.2934509
http://qmro.qmul.ac.uk/xmlui/handle/123456789/13081
TZEVELEKOS NP, Grigore R (2016) . History-Register Automata.Logical Methods in Computer Science vol. 12, (1) Article 7,
10.2168/LMCS-12(1:7)2016
http://qmro.qmul.ac.uk/xmlui/handle/123456789/12585
Murawski AS, Tzevelekos N (2016) . Nominal Game Semantics.Foundations and Trends® in Programming Languages vol. 2, (4) 191-269.
10.1561/2500000017
http://qmro.qmul.ac.uk/xmlui/handle/123456789/14878
Murawski AS, Ramsay SJ, Tzevelekos N (2015) . A Contextual Equivalence Checker for IMJ. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015. vol. 9364, 234-240.
10.1007/978-3-319-24953-7_19
Murawski AS, Ramsay SJ, Tzevelekos N et al. (2015) . Bisimilarity in Fresh-Register Automata. 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS). 156-167.
10.1109/LICS.2015.24
http://qmro.qmul.ac.uk/xmlui/handle/123456789/13504
Murawski AS, Ramsay SJ, Tzevelekos N (2015) . Game Semantic Analysis of Equivalence in IMJ. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015. vol. 9364, 411-428.
10.1007/978-3-319-24953-7_30
Murawski AS, Tzevelekos N (2014) . Game Semantics for Interface Middleweight Java. ACM SIGPLAN NOTICES. vol. 49, 517-528.
10.1145/2535838
Murawski AS, Tzevelekos N (2014) . Game Semantics for Nominal Exceptions. FoSSaCS. Editors: Muscholl, A, vol. 8412, 164-179.
10.1007/978-3-642-54830-7_11
Murawski AS, Tzevelekos N (2014) . Game semantics for interface middleweight Java. POPL. Editors: Jagannathan, S, Sewell, P, 517-528.
10.1145/2535838.2535880
http://qmro.qmul.ac.uk/xmlui/handle/123456789/23397
Murawski AS, Ramsay SJ, Tzevelekos N (2014) . Reachability in Pushdown Register Automata. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I. vol. 8634, 464-+.
10.1007/978-3-662-44522-8_39
Murawski AS, Tzevelekos N (2013) . Deconstructing General References via Game Semantics. FoSSaCS. Editors: Pfenning, F, vol. 7794, 241-256.
10.1007/978-3-642-37075-5_16
Murawski AS, Tzevelekos N (2013) . Full abstraction for Reduced ML.Ann. Pure Appl. Logic vol. 164, Article 11, 1118-1143.
10.1016/j.apal.2013.05.007
Tzevelekos N, Grigore R (2013) . History-Register Automata. FoSSaCS. Editors: Pfenning, F, vol. 7794, 17-33.
10.1007/978-3-642-37075-5_2
Murawski AS, Tzevelekos N (2013) . Towards Nominal Abramsky. Computation, Logic, Games, and Quantum Foundations. Editors: Coecke, B, Ong, L, Panangaden, P, vol. 7860, 246-263.
10.1007/978-3-642-38164-5_17
http://qmro.qmul.ac.uk/xmlui/handle/123456789/5321
Ghica DR, Tzevelekos N (2012) . A System-Level Game Semantics.Electr. Notes Theor. Comput. Sci. vol. 286, 191-211.
10.1016/j.entcs.2012.08.013
Murawski AS, Tzevelekos N (2012) . Algorithmic Games for Full Ground References.ICALP (2) vol. 7392, 312-324.
10.1007/978-3-642-31585-5_30
http://qmro.qmul.ac.uk/xmlui/handle/123456789/25577
Tzevelekos N (2012) . Program equivalence in a simple language with state.Computer Languages, Systems & Structures vol. 38, Article 2, 181-198.
10.1016/j.cl.2012.02.002
Murawski AS, Tzevelekos N (2011) . Algorithmic Nominal Game Semantics. ESOP. Editors: Barthe, G, vol. 6602, 419-438.
10.1007/978-3-642-19718-5_22
Tzevelekos N (2011) . Fresh-Register Automata. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 295-306.
10.1145/1926385.1926420
http://qmro.qmul.ac.uk/xmlui/handle/123456789/7651
Murawski AS, Tzevelekos N, IEEE (2011) . Game semantics for good general references. 26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011). 75-84.
10.1109/LICS.2011.31
Tzevelekos N (2010) . Program Equivalence with Names. Modelling, Controlling and Reasoning About State. Editors: Ahmed, A, Benton, N, Birkedal, L, Hofmann, M et al., vol. 10351,
Tzevelekos N (2009) . FULL ABSTRACTION FOR NOMINAL GENERAL REFERENCES.LOG METH COMPUT SCI vol. 5, (3) Article 8,
10.2168/LMCS-5(3:8)2009
http://qmro.qmul.ac.uk/xmlui/handle/123456789/3283
Murawski AS, Tzevelekos N (2009) . Full Abstraction for Reduced ML. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS. Editors: DeAlfaro, L, vol. 5504, 32-47.
10.1007/978-3-642-00596-1_4
Ong CHL, Tzevelekos N (2009) . Functional Reachability. 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS. 286-295.
10.1109/LICS.2009.48
Tzevelekos N (2007) . Full abstraction for nominal general references. 22nd Annual IEEE Symposium on Logic in Computer Science, Proceedings. 399-408.
10.1109/LICS.2007.21
Tzevelekos N (2006) . Investigations on the dual calculus.THEOR COMPUT SCI vol. 360, (1-3) 289-326.
10.1016/j.tcs.2006.04.009
Ghica DR, Tzevelekos N. A System-Level Semantics.
Murawski AS, TZEVELEKOS NP. Block Structure vs Scope Extrusion: Between Innocence and Omniscience.Logical Methods in Computer Science
http://qmro.qmul.ac.uk/xmlui/handle/123456789/13737
Murawski AS, Tzevelekos N. Block Structure vs. Scope Extrusion: Between Innocence and Omniscience.Logical Methods in Computer Science vol. 12, (3)
http://qmro.qmul.ac.uk/xmlui/handle/123456789/13737
TZEVELEKOS NP, Murawski AS. Higher-Order Linearisability. Conference: 28th International Conference on Concurrency Theory
http://qmro.qmul.ac.uk/xmlui/handle/123456789/25012
Grigore R, Tzevelekos N. History-Register Automata.March vol. 29,
10.2168/LMCS-12(1:7)2016
Tzevelekos N. Home Page.
Abramsky S, Tzevelekos N. Introduction to Categories and Categorical Logic.. Lecture Notes in Physics vol. 813, 3-94.
10.1007/978-3-642-12821-9_1
http://qmro.qmul.ac.uk/xmlui/handle/123456789/2867
Grigore R, Distefano D, Petersen RL et al.. Runtime Verification Based on Register Automata.
10.1007/978-3-642-36742-7_19
http://qmro.qmul.ac.uk/xmlui/handle/123456789/19031
Birkedal L, Dinsdale-Young T, Jaber G et al.. Trace Properties from Separation Logic Specifications.
http://qmro.qmul.ac.uk/xmlui/handle/123456789/19600
Return to top