Concepedia

Makoto Murata

MM

Statistics

Publications

11

Citations

530

H-Index

11

Active since

1985

Affiliations

IBM Research - Tokyo(Current)

University of Electro-Communications

IBM (United States)

Makoto Murata is an author at IBM Research - Tokyo specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware DesignSoftware EngineeringData SecurityStatic AnalysisSystem SoftwareProgram Analysis

Publications per year

1985–2018

11

Publications

11

XML access control using static analysis

Makoto Murata, Akihiko Tozawa, Michiharu Kudo et al. · 2003 · 132 citations

Engineering, Information Security, Software Engineering +19

Taxonomy of XML schema languages using formal language theory

Makoto Murata, Dongwon Lee, Murali Mani · ACM Transactions on Internet Technology · 2005 · 132 citations

Engineering, Regular Tree Grammars, Verification +21

XML access control using static analysis

Makoto Murata, Akihiko Tozawa, Michiharu Kudo et al. · ACM Transactions on Information and System Security · 2006 · 73 citations

Engineering, Information Security, Software Engineering +17

Extended path expressions of XML

Makoto Murata · 2001 · 61 citations

Xml Library, Xml Transformation, Xml Database +15

Enantioselective lactonization of sodium 4-hydroxypimelate under abiological conditions

Kaoru Fuji, Manabu Node, Shunji Terada et al. · Journal of the American Chemical Society · 1985 · 40 citations

Donut Icon, Medicine, Environmental Analytical Chemistry +10

1–5 of 11