The Library
Browse by Warwick Author
Up a level |
Number of items: 15.
Engineering and Physical Sciences Research Council (EPSRC)
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.
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
Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for interface middleweight Java. ACM SIGPLAN Notices, Volume 49 (Number 1). pp. 517-529. ISSN 0362-1340 doi:10.1145/2535838.2535880
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
Ensoft, Inc.
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
Merton College
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
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
Microsoft Research
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
Royal Academy of Engineering (Great Britain)
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.
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.
Murawski, Andrzej S. and Tzevelekos, Nikos (2014) Game semantics for interface middleweight Java. ACM SIGPLAN Notices, Volume 49 (Number 1). pp. 517-529. ISSN 0362-1340 doi:10.1145/2535838.2535880
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
This list was generated on Tue Apr 23 13:22:07 2024 BST.