Andrzej Murawski
Title
Cited by
Cited by
Year
Collapsible pushdown automata and recursion schemes
M Hague, AS Murawski, CHL Ong, O Serre
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 452-461, 2008
1462008
Angelic semantics of fine-grained concurrency
DR Ghica, AS Murawski
Annals of Pure and Applied Logic 151 (2-3), 89-114, 2008
104*2008
Applying game semantics to compositional software modeling and verification
S Abramsky, DR Ghica, AS Murawski, CHL Ong
International Conference on Tools and Algorithms for the Construction and …, 2004
902004
Nominal games and full abstraction for the nu-calculus
S Abramsky, DR Ghica, AS Murawski, CHL Ong, IDB Stark
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE …, 2004
842004
Syntactic control of concurrency
DR Ghica, AS Murawski, CHL Ong
Theoretical computer science 350 (2-3), 234-251, 2006
492006
Third-order Idealized Algol with iteration is decidable
AS Murawski, I Walukiewicz
Theoretical Computer Science 390 (2-3), 214-229, 2008
442008
Language equivalence for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
International Conference on Computer Aided Verification, 526-540, 2011
392011
Dominator trees and fast verification of proof nets
AS Murawski, CHL Ong
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
372000
Algorithmic games for full ground references
AS Murawski, N Tzevelekos
Formal Methods in System Design 52 (3), 277-314, 2018
35*2018
Algorithmic games for full ground references
AS Murawski, N Tzevelekos
International Colloquium on Automata, Languages, and Programming, 312-324, 2012
322012
On automated verification of probabilistic programs
A Legay, AS Murawski, J Ouaknine, J Worrell
International Conference on Tools and Algorithms for the Construction and …, 2008
312008
Game semantics for good general references
AS Murawski, N Tzevelekos
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 75-84, 2011
302011
Algorithmic nominal game semantics
AS Murawski, N Tzevelekos
European Symposium on Programming, 419-438, 2011
302011
Compositional model extraction for higher-order concurrent programs
DR Ghica, AS Murawski
International Conference on Tools and Algorithms for the Construction and …, 2006
302006
On program equivalence in languages with ground-type references
AS Murawski
Logic in Computer Science, Symposium on, 108-108, 2003
282003
Discreet games, light affine logic and ptime computation
AS Murawski, CHL Ong
International Workshop on Computer Science Logic, 427-441, 2000
282000
Idealized algol with ground recursion, and DPDA equivalence
AS Murawski, CHL Ong, I Walukiewicz
International Colloquium on Automata, Languages, and Programming, 917-929, 2005
272005
Functions with local state: regularity and undecidability
AS Murawski
Theoretical Computer Science 338 (1-3), 315-349, 2005
262005
Full abstraction for Reduced ML
AS Murawski, N Tzevelekos
Annals of Pure and Applied Logic 164 (11), 1118-1143, 2013
25*2013
On probabilistic program equivalence and refinement
A Murawski, J Ouaknine
CONCUR 2005–Concurrency Theory, 156-170, 2005
252005
The system can't perform the operation now. Try again later.
Articles 1–20