×

Murawski, Andrzej S.

Author ID: murawski.andrzej-s Recent zbMATH articles by "Murawski, Andrzej S."
Published as: Murawski, Andrzej S.; Murawski, A. S.

Publications by Year

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 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

Citations by Year