2021

Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S. and Walukiewicz, Igor (2021) Leafy automata for higher-order concurrency. In: FoSSaCS 21 , Virtual conference, 27 Mar-1 Apr 2021. Published in: FOSSACS 2021: Foundations of Software Science and Computation Structures , 12650 pp. 184-204. ISBN 9783030719944. doi:10.1007/978-3-030-71995-1_10

2020

Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S. and Purser, David (2020) The big-O problem for labelled markov chains and weighted automata. In: 31st International Conference on Concurrency Theory (CONCUR 2020), 1-4 Sep 2020. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 171 41:1-41:19. ISBN 9783959771603. doi:10.4230/LIPIcs.CONCUR.2020.41 ISSN 1868-8969.

2019

Chistikov, Dmitry, Murawski, Andrzej S. and Purser, David (2019) Asymmetric distances for approximate differential privacy. In: 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, Netherlands, 27-30 Aug 2019, 140 pp. 1-17. ISBN 9783959771214. doi:10.4230/LIPIcs.CONCUR.2019.10 ISSN 1868-8969.

2018

Chistikov, Dmitry, Murawski, Andrzej S. and Purser, David (2018) Bisimilarity distances for approximate differential privacy. In: International Symposium on Automated Technology for Verification and Analysis 2018, Los Angeles, USA, Oct 7-10 2018. Published in: Lecture Notes in Computer Science, 11138 pp. 194-210. ISBN 9783030010898. doi:10.1007/978-3-030-01090-4_12 ISSN 0302-9743.

Murawski, Andrzej S. and Tzevelekos, Nikos (2018) Algorithmic games for full ground references. Formal Methods in System Design, 52 (3). pp. 277-314. doi:10.1007/s10703-017-0292-9 ISSN 0925-9856.

2017

Murawski, Andrzej S. and Tzevelekos, Nikos (2017) Higher-order linearisability. In: 28th International Conference on Concurrency Theory (CONCUR 2017), Berlin, Germany, 5-8 Sep 2017. Published in: 28th International Conference on Concurrency Theory (CONCUR 2017), 85 34:1-34:18. ISBN 9783959770484. doi:10.4230/LIPIcs.CONCUR.2017.34

Murawski, Andrzej S., Ramsay , S. J. and Tzevelekos, N. (2017) Reachability in pushdown register automata. Journal of Computer and System Sciences, 87 . pp. 58-83. doi:10.1016/j.jcss.2017.02.008 ISSN 0022-0000.

Cotton-Barratt, C., Murawski, Andrzej S. and Ong, C.-H. L. (2017) ML and extended branching VASS. In: 26th European Symposium on Programming (ESOP'17), Uppsala, Sweden, 22-29 Apr 2017. Published in: Programming Languages and Systems, 10201 pp. 314-340. ISBN 9783662544334. ISSN 0302-9743.

2016

Lazic, Ranko and Murawski, Andrzej S. (2016) Contextual approximation and higher-order procedures. In: 19th International Conference, FOSSACS 2016, Eindhoven, The Netherlands, 2-8 Apr 2016. Published in: Foundations of Software Science and Computation Structures :19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding, 9634 pp. 162-179. ISBN 9783662496299. doi:10.1007/978-3-662-49630-5_10 ISSN 0302-9743.

2015

Murawski, Andrzej S., Ramsay, Steven J. and Tzevelekos, Nikos (2015) Game semantic analysis of equivalence in IMJ. In: 13th International Symposium, ATVA 2015,, Shanghai, China, 12-15 Oct 2015. Published in: Automated Technology for Verification and Analysis, 9364 pp. 411-428. doi:10.1007/978-3-319-24953-7_30 ISSN 0302-9743.

Murawski, Andrzej S., Ramsay, Steven J. and Tzevelekos, Nikos (2015) A contextual equivalence checker for IMJ*. In: 13th International Symposium, ATVA 2015, Shanghai, China, 12-15 Oct 2015. Published in: Automated Technology for Verification and Analysis : Automated Technology for Verification and Analysis, 9364 pp. 234-240. ISBN 9783319249520. doi:10.1007/978-3-319-24953-7_19 ISSN 0302-9743.

Cotton-Barratt, Conrad, Murawski, Andrzej S. and Ong, Luke (2015) Weak and nested class memory automata. In: Horia Dediu, Adrian and Formenti, Enrico, 1968- and Martín Vide, Carlos and Truthe, Bianca, (eds.) Language and automata theory and applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Lecture Notes in Computer Science (Volume 8977). Berlin ; Heidelberg: Springer International Publishing, pp. 188-199. ISBN 9783319155784

Murawski, Andrzej S., Ramsay, Steven J. and Tzevelekos, Nikos (2015) Bisimilarity in fresh-register automata. In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Kyoto, 6-10 Jul 2015. Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science LICS 2015 pp. 156-167. doi:10.1109/LICS.2015.24 ISSN 1043-6871.

Cotton-Barratt, Conrad, Hopkins, David (Computer scientist), Murawski, Andrzej S. and Ong, Luke (2015) Fragments of ML decidable by nested data class memory automata. In: Pitts, Andrew, (ed.) Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Lecture Notes in Computer Science (Volume 9034). Berlin ; Heidelberg: Springer, pp. 249-263. ISBN 9783662466773

2014

Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for interface middleweight Java. ACM SIGPLAN Notices, Volume 49 (Number 1). pp. 517-529. doi:10.1145/2535838.2535880

Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for nominal exceptions. In: Muscholl, Anca, (ed.) Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science, Volume 8412 . Berlin ; London: Springer, pp. 164-179. ISBN 9783642548291

Murawski, Andrzej S., Ramsay, Steven J. and Tzevelekos, Nikos (2014) Reachability in pushdown register automata. In: Csuhaj-Varjú, E. and Dietzfelbinger, Martin and Ésik, Zoltán, 1951-, (eds.) Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. Lecture Notes in Computer Science, Volume 8634 . Berlin ; London: Springer, pp. 464-473. ISBN 9783662445211

2013

Murawski, Andrzej S. and Tzevelekos, Nikos (2013) Full abstraction for Reduced ML. Annals of Pure and Applied Logic, Volume 164 (Number 11). pp. 1118-1143. doi:10.1016/j.apal.2013.05.007 ISSN 0168-0072.

Kiefer, Stefan , Murawski, Andrzej S., Ouaknine, Joel , Wachter, Bjoern and Worrell, James (2013) On the complexity of equivalence and minimisation for Q-weighted automata. Logical Methods in Computer Science, Volume 9 (Number 1). Article number 8. doi:10.2168/LMCS-9(1:8)2013 ISSN 1860-5974.

Murawski, Andrzej S. and Tzevelekos, Nikos (2013) Deconstructing general references via game semantics. In: 16th International Conference on Foundations of Software Science and Computation Structures, Rome, Italy., 16-24 Mar 2013. Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 7794 pp. 241-256. ISBN 978-3-642-37074-8. doi:10.1007/978-3-642-37075-5_16 ISSN 0302-9743.

Murawski, Andrzej S. and Tzevelekos, Nikos (2013) Towards nominal Abramsky. In: Coecke , Bob and Ong, Luke and Prakash , Panangaden, (eds.) Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Lecture Notes in Computer Science, Volume 7860 . Berlin Heidelberg: Springer , pp. 246-263. ISBN 9783642381638

2011

Murawski, Andrzej S. and Tzevelekos, Nikos (2011) Game semantics for good general references. In: 26th Annual IEEE Symposium on Logic in Computer Science (LICS'11), Toronto, ON, 21-24 June 2011. Published in: Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on pp. 75-84. ISBN 9781457704512. doi:10.1109/LICS.2011.31 ISSN 1043-6871.

2008

Hague, M., Murawski, Andrzej S., Ong, C. -H. L. and Serre, O. (2008) Collapsible pushdown automata and recursion schemes. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS '08), Pittsburgh, PA, 24-27 June 2008. Published in: Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on pp. 452-461. ISBN 9780769531830. doi:10.1109/LICS.2008.34 ISSN 1043-6871.

Legay, Axel, Murawski, Andrzej S., Ouaknine, Joël and Worrell, James (2008) On automated verification of probabilistic programs. In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), Budapest, Hungary, 29 March - 6 April 2008. Published in: Lecture Notes in Computer Science, 4963 pp. 173-187. ISBN 9783540787990. doi:10.1007/978-3-540-78800-3_13 ISSN 0302-9743.

Murawski, Andrzej S. (2008) Reachability games and game semantics : comparing nondeterministic programs. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS '08), Pittsburgh, PA, 24-27 June 2008. Published in: Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on pp. 353-363. ISBN 9780769531830. doi:10.1109/LICS.2008.24 ISSN 1043-6871.