Concepedia

Andrzej S. Murawski

AS

20

Publications

607

Citations

14

H-Index

2002

Active since

Affiliations

University of Oxford(Current)

University of Warwick

Queen Mary University of London

University of Leicester

Université Paris Cité

Andrzej S. Murawski is an author at University of Oxford specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationGamesGame TheoryBusinessComputational ComplexitySemantics

Publications per year

2002–2017

20

Publications

20

Collapsible Pushdown Automata and Recursion Schemes

Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong et al. · Proceedings - Symposium on Logic in Computer Science · 2008 · 147 citations

Tree Language, Engineering, Automated Reasoning +13

Nominal games and full abstraction for the nu-calculus

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski et al. · Logic in Computer Science · 2004 · 62 citations

Nominal Games, Engineering, Operational Semantics +15

Angelic semantics of fine-grained concurrency

Dan R. Ghica, Andrzej S. Murawski · Annals of Pure and Applied Logic · 2007 · 41 citations · Full text

Engineering, Automated Reasoning, Concurrency Theory +7

Nominal games and full abstraction for the nu-calculus

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski et al. · 2004 · 39 citations

Nominal Games, Engineering, Operational Semantics +15

Syntactic control of concurrency

Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong · Theoretical Computer Science · 2005 · 35 citations · Full text

Syntax, Engineering, Automated Reasoning +10

Rows per page

1–5 of 20