Edit Profile (opens in new tab) Murawski, Andrzej S. Co-Author Distance Author ID: murawski.andrzej-s Published as: Murawski, Andrzej S.; Murawski, A. S. Documents Indexed: 63 Publications since 1999 1 Contribution as Editor Co-Authors: 25 Co-Authors with 52 Joint Publications 658 Co-Co-Authors all top 5 Co-Authors 5 single-authored 20 Tzevelekos, Nikos 8 Kiefer, Stefan 6 Ghica, Dan R. 6 Ouaknine, Joel O. 6 Ramsay, Steven J. 5 Worrell, James B. 4 Chistikov, Dmitry V. 4 Purser, David 4 Wachter, Björn 4 Walukiewicz, Igor 3 Cotton-Barratt, Conrad 2 Clairambault, Pierre 2 Hague, Matthew 2 Lazić, Ranko 2 Serre, Olivier 1 Abramsky, Samson 1 Benedikt, Michael A. 1 Broadbent, Christopher H. 1 Carayol, Arnaud 1 Dixon, Alex 1 Esparza, Javier 1 Göller, Stefan 1 Jaber, Guilhem 1 Yi, Kwangkeun 1 Zhang, Lijun all top 5 Serials 6 Theoretical Computer Science 4 ACM Transactions on Computational Logic 3 Logical Methods in Computer Science 2 Annals of Pure and Applied Logic 2 Formal Methods in System Design 1 Journal of Computer and System Sciences 1 Formal Aspects of Computing 1 Journal of the ACM 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 61 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 54 Publications have been cited 259 times in 150 Documents Cited by ▼ Year ▼ Collapsible pushdown automata and recursion schemes. Zbl 1407.68256 Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier 17 2017 Angelic semantics of fine-grained concurrency. Zbl 1126.68499 Ghica, Dan R.; Murawski, Andrzej S. 12 2004 Applying game semantics to compositional software modeling and verification. Zbl 1126.68343 Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke 11 2004 Functions with local state: regularity and undecidability. Zbl 1108.68076 Murawski, Andrzej S. 11 2005 Algorithmic nominal game semantics. Zbl 1326.68071 Murawski, Andrzej S.; Tzevelekos, Nikos 11 2011 On probabilistic program equivalence and refinement. Zbl 1134.68351 Murawski, Andrzej S.; Ouaknine, Joël 10 2005 On an interpretation of safe recursion in light affine logic. Zbl 1048.03049 Murawski, A. S.; Ong, C.-H. L. 10 2004 Compositional model extraction for higher-order concurrent programs. Zbl 1180.68115 Ghica, D. R.; Murawski, A. S. 9 2006 On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 9 2013 Angelic semantics of fine-grained concurrency. Zbl 1133.68011 Ghica, Dan R.; Murawski, Andrzej S. 8 2008 Discreet games, light affine logic and PTIME computation. Zbl 0973.03038 Murawski, A. S.; Ong, C.-H. L. 7 2000 Third-order Idealized Algol with iteration is decidable. Zbl 1118.68398 Murawski, Andrzej S.; Walukiewicz, Igor 7 2005 Idealized Algol with ground recursion, and DPDA equivalence. Zbl 1085.68092 Murawski, A. S.; Ong, C.-H. L.; Walukiewicz, I. 7 2005 A fragment of ML decidable by visibly pushdown automata. Zbl 1333.68079 Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 6 2011 On stabilization in Herman’s algorithm. Zbl 1333.68038 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 Bad variables under control. Zbl 1179.68020 Murawski, Andrzej S. 5 2007 Full abstraction for Reduced ML. Zbl 1234.68058 Murawski, Andrzej S.; Tzevelekos, Nikos 5 2009 Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136 Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S. 5 2013 Game semantic analysis of equivalence in IMJ. Zbl 1471.68150 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 5 2015 Algorithmic games for full ground references. Zbl 1367.68072 Murawski, Andrzej S.; Tzevelekos, Nikos 5 2012 Reachability in pushdown register automata. Zbl 1370.68185 Murawski, A. S.; Ramsay, S. J.; Tzevelekos, N. 5 2017 Bisimilarity in fresh-register automata. Zbl 1401.68164 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 4 2015 Exhausting strategies, joker games and full completeness for IMLL with unit. Zbl 1029.03053 Murawski, A. S.; Ong, C.-H. L. 4 2003 The big-O problem for labelled Markov chains and weighted automata. Zbl 07559497 Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David 4 2020 Fragments of ML decidable by nested data class memory automata. Zbl 1459.68035 Cotton-Barratt, Conrad; Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 4 2015 About the undecidability of program equivalence in finitary languages with state. Zbl 1367.68024 Murawski, Andrzej S. 4 2005 Fast verification of MLL proof nets via IMLL. Zbl 1367.03112 Murawski, Andrzej S.; Ong, C.-H. Luke 4 2006 Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68010 4 2017 Syntactic control of concurrency. Zbl 1086.68087 Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 4 2006 Block structure vs. scope extrusion: between innocence and omniscience. Zbl 1284.68106 Murawski, Andrzej S.; Tzevelekos, Nikos 4 2010 Evolving games and essential nets for affine polymorphism. Zbl 0981.03064 Murawski, Andrzej S.; Ong, C.-H. Luke 3 2001 Third-order Idealized Algol with iteration is decidable. Zbl 1134.68017 Murawski, Andrzej S.; Walukiewicz, Igor 3 2008 Games for complexity of second-order call-by-name programs. Zbl 1079.68023 Murawski, Andrzej S. 3 2005 Syntactic control of concurrency. Zbl 1099.68656 Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 3 2004 Asymmetric distances for approximate differential privacy. Zbl 07649918 Chistikov, Dmitry; Murawski, Andrzej S.; Purser, David 3 2019 Weak and nested class memory automata. Zbl 1451.68145 Cotton-Barratt, Conrad; Murawski, Andrzej S.; Ong, C.-H. Luke 3 2015 Algorithmic games for full ground references. Zbl 1392.68147 Murawski, Andrzej S.; Tzevelekos, Nikos 3 2018 Reachability in pushdown register automata. Zbl 1425.68221 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 3 2014 A contextual equivalence checker for IMJ*. Zbl 1471.68149 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 3 2015 Three tokens in Herman’s algorithm. Zbl 1259.68230 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2012 Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2013 On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 2 2012 Bisimilarity distances for approximate differential privacy. Zbl 1517.68108 Chistikov, Dmitry; Murawski, Andrzej S.; Purser, David 2 2018 Böhm trees as higher-order recursive schemes. Zbl 1359.68043 Clairambault, Pierre; Murawski, Andrzej S. 2 2013 Full abstraction for Reduced ML. Zbl 1358.68060 Murawski, Andrzej S.; Tzevelekos, Nikos 2 2013 Polynomial-time equivalence testing for deterministic fresh-register automata. Zbl 1512.68143 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 2 2018 Complete trace models of state and control. Zbl 1473.68037 Jaber, Guilhem; Murawski, Andrzej S. 2 2021 Static monotonicity analysis for \(\lambda\)-definable functions over lattices. Zbl 1057.68577 Murawski, Andrzej S.; Yi, Kwangkeun 1 2002 Contextual approximation and higher-order procedures. Zbl 1475.68048 Lazić, Ranko; Murawski, Andrzej S. 1 2016 Block structure vs scope extrusion: between innocence and omniscience. Zbl 1398.68096 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2016 Deconstructing general references via game semantics. Zbl 1260.68110 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2013 Leafy automata for higher-order concurrency. Zbl 07410425 Dixon, Alex; Lazić, Ranko; Murawski, Andrzej S.; Walukiewicz, Igor 1 2021 Game semantics for nominal exceptions. Zbl 1405.68177 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2014 Higher-order linearisability. Zbl 1423.68315 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2019 Complete trace models of state and control. Zbl 1473.68037 Jaber, Guilhem; Murawski, Andrzej S. 2 2021 Leafy automata for higher-order concurrency. Zbl 07410425 Dixon, Alex; Lazić, Ranko; Murawski, Andrzej S.; Walukiewicz, Igor 1 2021 The big-O problem for labelled Markov chains and weighted automata. Zbl 07559497 Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David 4 2020 Asymmetric distances for approximate differential privacy. Zbl 07649918 Chistikov, Dmitry; Murawski, Andrzej S.; Purser, David 3 2019 Higher-order linearisability. Zbl 1423.68315 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2019 Algorithmic games for full ground references. Zbl 1392.68147 Murawski, Andrzej S.; Tzevelekos, Nikos 3 2018 Bisimilarity distances for approximate differential privacy. Zbl 1517.68108 Chistikov, Dmitry; Murawski, Andrzej S.; Purser, David 2 2018 Polynomial-time equivalence testing for deterministic fresh-register automata. Zbl 1512.68143 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 2 2018 Collapsible pushdown automata and recursion schemes. Zbl 1407.68256 Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier 17 2017 Reachability in pushdown register automata. Zbl 1370.68185 Murawski, A. S.; Ramsay, S. J.; Tzevelekos, N. 5 2017 Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68010 4 2017 Contextual approximation and higher-order procedures. Zbl 1475.68048 Lazić, Ranko; Murawski, Andrzej S. 1 2016 Block structure vs scope extrusion: between innocence and omniscience. Zbl 1398.68096 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2016 Game semantic analysis of equivalence in IMJ. Zbl 1471.68150 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 5 2015 Bisimilarity in fresh-register automata. Zbl 1401.68164 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 4 2015 Fragments of ML decidable by nested data class memory automata. Zbl 1459.68035 Cotton-Barratt, Conrad; Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 4 2015 Weak and nested class memory automata. Zbl 1451.68145 Cotton-Barratt, Conrad; Murawski, Andrzej S.; Ong, C.-H. Luke 3 2015 A contextual equivalence checker for IMJ*. Zbl 1471.68149 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 3 2015 Reachability in pushdown register automata. Zbl 1425.68221 Murawski, Andrzej S.; Ramsay, Steven J.; Tzevelekos, Nikos 3 2014 Game semantics for nominal exceptions. Zbl 1405.68177 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2014 On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 9 2013 Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136 Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S. 5 2013 Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2013 Böhm trees as higher-order recursive schemes. Zbl 1359.68043 Clairambault, Pierre; Murawski, Andrzej S. 2 2013 Full abstraction for Reduced ML. Zbl 1358.68060 Murawski, Andrzej S.; Tzevelekos, Nikos 2 2013 Deconstructing general references via game semantics. Zbl 1260.68110 Murawski, Andrzej S.; Tzevelekos, Nikos 1 2013 Algorithmic games for full ground references. Zbl 1367.68072 Murawski, Andrzej S.; Tzevelekos, Nikos 5 2012 Three tokens in Herman’s algorithm. Zbl 1259.68230 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 3 2012 On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James 2 2012 Algorithmic nominal game semantics. Zbl 1326.68071 Murawski, Andrzej S.; Tzevelekos, Nikos 11 2011 A fragment of ML decidable by visibly pushdown automata. Zbl 1333.68079 Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 6 2011 On stabilization in Herman’s algorithm. Zbl 1333.68038 Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 Block structure vs. scope extrusion: between innocence and omniscience. Zbl 1284.68106 Murawski, Andrzej S.; Tzevelekos, Nikos 4 2010 Full abstraction for Reduced ML. Zbl 1234.68058 Murawski, Andrzej S.; Tzevelekos, Nikos 5 2009 Angelic semantics of fine-grained concurrency. Zbl 1133.68011 Ghica, Dan R.; Murawski, Andrzej S. 8 2008 Third-order Idealized Algol with iteration is decidable. Zbl 1134.68017 Murawski, Andrzej S.; Walukiewicz, Igor 3 2008 Bad variables under control. Zbl 1179.68020 Murawski, Andrzej S. 5 2007 Compositional model extraction for higher-order concurrent programs. Zbl 1180.68115 Ghica, D. R.; Murawski, A. S. 9 2006 Fast verification of MLL proof nets via IMLL. Zbl 1367.03112 Murawski, Andrzej S.; Ong, C.-H. Luke 4 2006 Syntactic control of concurrency. Zbl 1086.68087 Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 4 2006 Functions with local state: regularity and undecidability. Zbl 1108.68076 Murawski, Andrzej S. 11 2005 On probabilistic program equivalence and refinement. Zbl 1134.68351 Murawski, Andrzej S.; Ouaknine, Joël 10 2005 Third-order Idealized Algol with iteration is decidable. Zbl 1118.68398 Murawski, Andrzej S.; Walukiewicz, Igor 7 2005 Idealized Algol with ground recursion, and DPDA equivalence. Zbl 1085.68092 Murawski, A. S.; Ong, C.-H. L.; Walukiewicz, I. 7 2005 About the undecidability of program equivalence in finitary languages with state. Zbl 1367.68024 Murawski, Andrzej S. 4 2005 Games for complexity of second-order call-by-name programs. Zbl 1079.68023 Murawski, Andrzej S. 3 2005 Angelic semantics of fine-grained concurrency. Zbl 1126.68499 Ghica, Dan R.; Murawski, Andrzej S. 12 2004 Applying game semantics to compositional software modeling and verification. Zbl 1126.68343 Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke 11 2004 On an interpretation of safe recursion in light affine logic. Zbl 1048.03049 Murawski, A. S.; Ong, C.-H. L. 10 2004 Syntactic control of concurrency. Zbl 1099.68656 Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 3 2004 Exhausting strategies, joker games and full completeness for IMLL with unit. Zbl 1029.03053 Murawski, A. S.; Ong, C.-H. L. 4 2003 Static monotonicity analysis for \(\lambda\)-definable functions over lattices. Zbl 1057.68577 Murawski, Andrzej S.; Yi, Kwangkeun 1 2002 Evolving games and essential nets for affine polymorphism. Zbl 0981.03064 Murawski, Andrzej S.; Ong, C.-H. Luke 3 2001 Discreet games, light affine logic and PTIME computation. Zbl 0973.03038 Murawski, A. S.; Ong, C.-H. L. 7 2000 all cited Publications top 5 cited Publications all top 5 Cited by 191 Authors 26 Murawski, Andrzej S. 12 Tzevelekos, Nikos 9 Ghica, Dan R. 7 Kiefer, Stefan 6 Worrell, James B. 5 Baillot, Patrick 5 Dal Lago, Ugo 5 Parys, Paweł 5 Walukiewicz, Igor 5 Zhang, Lijun 4 Jančar, Petr 3 Chistikov, Dmitry V. 3 Dimovski, Aleksandar S. 3 Feng, Yuan 3 Ouaknine, Joel O. 3 Piccolo, Mauro 3 Potapov, Igor 3 Purser, David 2 Abramsky, Samson 2 Bakewell, Adam 2 Clairambault, Pierre 2 Clemente, Lorenzo 2 Dierl, Simon 2 Faggian, Claudia 2 Hague, Matthew 2 Halava, Vesa 2 Harju, Tero 2 Hirschkoff, Daniel 2 Hofmann, Martin 2 Howar, Falk 2 Kanovich, Max Iosifovich 2 Katoen, Joost-Pieter 2 Lazić, Ranko 2 Liu, Depeng 2 Marusic, Ines 2 Matsuoka, Satoshi 2 Meyer, Roland 2 Muskalla, Sebastian 2 Niskanen, Reino 2 Prebet, Enguerrand 2 Ramsay, Steven J. 2 Salvati, Sylvain 2 Seki, Hiroyuki 2 Takata, Yoshiaki 2 Terui, Kazushige 2 Wachter, Björn 2 Wang, Bow-Yaw 1 Accattoli, Beniamino 1 Acclavio, Matteo 1 Allender, Eric W. 1 Alur, Rajeev 1 Alyahya, Khulood 1 Avni, Guy 1 Bandukara, M. H. 1 Barozzini, David 1 Bartoletti, Massimo 1 Bednarczyk, Bartosz 1 Bell, Paul C. 1 Bellin, Gianluigi 1 Berger, Martin J. 1 Birkedal, Lars 1 Bocchi, Laura 1 Böhm, Stanislav 1 Broadbent, Christopher H. 1 Brunet, Paul 1 Buruiană, Andrei Sebastian 1 Castellan, Simon 1 Castellani, Ilaria 1 Catta, Davide 1 Chen, Mingshuai 1 Choe, Kwang-Moo 1 Ciobâcă, Ştefan 1 Colcombet, Thomas 1 Coppola, Paolo 1 Cotton-Barratt, Conrad 1 Cruz-Filipe, Luís 1 Curien, Pierre-Louis 1 D’Argenio, Pedro Rubén 1 de Carvalho, Daniel 1 de Lataillade, Joachim 1 de Naurois, Paulin Jacobé 1 Degano, Pierpaolo 1 Dixon, Alex 1 Dorsch, Ulrich 1 Dreyer, Derek R. 1 Dvir, Yotam 1 Eo, Hyunjun 1 Exibard, Léo 1 Ferrari, Gian Luigi 1 Fichot, Jean 1 Filiot, Emmanuel 1 Fisman, Dana 1 Forejt, Vojtěch 1 Fossati, Luca 1 Fu, Chen 1 Gabbay, Murdoch James 1 Göller, Stefan 1 Gowers, William John 1 Grellois, Charles 1 Guerrini, Stefano ...and 91 more Authors all top 5 Cited in 26 Serials 17 Theoretical Computer Science 9 Logical Methods in Computer Science 8 Annals of Pure and Applied Logic 7 Journal of Computer and System Sciences 5 Information and Computation 5 Journal of Logical and Algebraic Methods in Programming 3 Acta Informatica 3 Formal Methods in System Design 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 Journal of Functional Programming 1 Information Processing Letters 1 Journal of Pure and Applied Algebra 1 SIAM Journal on Computing 1 New Generation Computing 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Distributed Computing 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Theory of Computing Systems 1 Journal of the ACM 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Journal of Noncommutative Geometry all top 5 Cited in 13 Fields 134 Computer science (68-XX) 45 Mathematical logic and foundations (03-XX) 23 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Category theory; homological algebra (18-XX) 3 Quantum theory (81-XX) 2 Combinatorics (05-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year