Andrzej S. Murawski - Concepedia

Author

Andrzej S. Murawski

Also Known As

A MURAWSKI, A. S. Murawski, A.S. Murawski, Andrzej Murawski, Andrzej S. Murawski, Murawski, Andrzej, Murawski, Andrzej S., TZEVELEKOS, NP

119

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

University of Oxford University of Warwick Queen Mary University of London University of Leicester Université Paris Cité

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	18	585
2	Computer Science	11	14	445
3	Business	6	6	149
4	Arts	1	1	33
5	Language Studies	1	1	35

Andrzej S. Murawski

Publications

607

Citations

H-Index

Page 1

	Year	Citations
Collapsible Pushdown Automata and Recursion Schemes Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Proceedings - Symposium on Logic in Computer Science Tree LanguageEngineeringAutomated ReasoningProgram AnalysisRecursion Schemes	2008	147
Nominal games and full abstraction for the nu-calculus Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, Logic in Computer Science Nominal GamesEngineeringOperational SemanticsAutomated ReasoningCombinatorial Game	2004	62
Angelic semantics of fine-grained concurrency Dan R. Ghica, Andrzej S. Murawski Annals of Pure and Applied Logic EngineeringAutomated ReasoningConcurrency TheoryAngelic SemanticsFormal Methods	2007	41
Nominal games and full abstraction for the nu-calculus Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, Nominal GamesEngineeringOperational SemanticsAutomated ReasoningCombinatorial Game	2004	39
Syntactic control of concurrency Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong Theoretical Computer Science SyntaxEngineeringAutomated ReasoningConcurrency TheoryFormal Methods	2005	35
Game Semantics for Good General References Andrzej S. Murawski, Nikos Tzevelekos EngineeringGame TheoryGame SemanticsSoftware EngineeringSemantics	2011	33
On the Complexity of Equivalence and Minimisation for Q-weighted Automata Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Logical Methods in Computer Science Mathematical ProgrammingComputational Complexity TheoryEngineeringVerificationComputational Complexity	2013	30
On program equivalence in languages with ground-type references Andrzej S. Murawski EngineeringGame SemanticsWell-founded SemanticsSoftware AnalysisFormal Verification	2003	30
Dominator trees and fast verification of proof nets Andrzej S. Murawski, C.-H. Luke Ong EngineeringData ScienceAutomated ReasoningProof ComplexityVerification	2002	29
Functions with local state: Regularity and undecidability Andrzej S. Murawski Theoretical Computer Science EngineeringGeneralized FunctionFormal MethodsLocal StateFunctional Analysis	2005	24

Page 1