Verification system for partial correctness of communicating sequential processes. - Masaki Murakami; Yasuyoshi Inagaki (Syst. Comput. Jpn., 1986)

Proving Partial Correctness of Guarded Horn Clauses Programs. - Masaki Murakami (LP, 1987)

Verification system for freedom from deadlock of communicating sequential processes. - Masaki Murakami; Yasuyoshi Inagaki (Syst. Comput. Jpn., 1987)

A Declarative Semantics of Parallel Logic Programs with Perpetual Processes. - Masaki Murakami (FGCS, 1988)

Unfolding Rules for GHC Programs. - Koichi Furukawa; Akira Okumura; Masaki Murakami (New Gener. Comput., 1988)

Nested Guarded Horn Clauses. - Moreno Falaschi; Maurizio Gabbrielli; Giorgio Levi; Masaki Murakami (Int. J. Found. Comput. Sci., 1990)

A Declarative Semantics of Flat Guarded Horn Clauses for Programs with Perpetual Processes. - Masaki Murakami (Theor. Comput. Sci., 1990)

A Runtime Transformation Method for Distributed Systems. - Masaki Murakami (Software Engineering Research and Practice, 2003)

Evolvable concurrent processes. - Masaki Murakami (Comput. Stand. Interfaces, 2003)

A model of runtime transformation for distributed systems based on directed acyclic graph model. - Masaki Murakami (J. Syst. Archit., 2004)

Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph. - Masaki Murakami (Software Engineering Research and Practice, 2005)

A calculus for concurrent system with higher-order streaming communication. - Masaki Murakami (Sci. Comput. Program., 2005)

A Model of Access Control for Data Materials Based on Ambient Calculus. - Masaki Murakami (Software Engineering Research and Practice, 2006)

A formal model of concurrent systems based on bipartite directed acyclic graph. - Masaki Murakami (Sci. Comput. Program., 2006)

Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. - Masaki Murakami (FCS, 2007)

Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. - Masaki Murakami (ICTAC, 2008)

A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication. - Masaki Murakami (TMFCS, 2008)

On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication. - Masaki Murakami (CPA, 2009)

Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. - Masaki Murakami (TASE, 2013)

Flow/Application Triggered SDN control in Hybrid Data-center Network "HOLST". - Yukihiro Imakiire; Masayuki Hirono; Masaki Murakami; Satoru Okamoto; Naoaki Yamanaka (OFC, 2018)

Experimental Deployment of Dynamic Resource Allocation Using Biological Attractor Selection in Virtual Packet Optical Node. - Chiaki Hara; Masaki Murakami; Satoru Okamoto; Naoaki Yamanaka (OECC/PSC, 2019)

Experimental Evaluation of Application Triggered Flow Classification Using Operated Data Center Traffic Data. - Masaki Murakami; Masahiro Matsuno; Satoru Okamoto; Naoaki Yamanaka (OECC/PSC, 2019)

First Demonstration of End-to-End Network Slicing with Transport Network Coordination and Edge Cloud Applications in 5G Era. - Shinya Nakamura; Kohei Shiomoto; Hyde Sugiyama; Yusuke Hirota; Noboru Yoshikane; Kentaro Sugawara; Masatake Miyabe; Tomotaka Eguchi; Satoru Okamoto; Masaki Murakami; Takahiro Hirayama; Ikuo Sato; et al. (OECC/PSC, 2019)

Online parameter tuning of the flow classification method in the energy-efficient data center network "HOLST". - Masaki Murakami; Hiroki Kubokawa; Kyosuke Sugiura; Eiji Oki; Satoru Okamoto; Naoaki Yamanaka (JOCN, 2020)

Experiment of Nationwide Multi-Route Skew Cancelling for Dynamic Mapping of MAC Signals over SDM/WDM Network Testbed. - Masaki Murakami; Yoshihiko Uematsu; Satoru Okamoto; Naoaki Yamanaka; Daiki Soma; Shohei Beppu; Noboru Yoshikane; Takehiro Tsuritani; Takahiro Kodama; Masahiko Jinno (OECC/PSC, 2022)

Networking Experiment of Domain-Specific Networking Platform Based on Optically Interconnected Reconfigurable Communication Processors. - Masaki Murakami; Takashi Kurimoto; Satoru Okamoto; Naoaki Yamanaka; Takayuki Muranaka (IEICE Trans. Commun., 2023)

Experimental Evaluation on Priority-Aware Guaranteed Resource Allocation for Resource Pool Based Reconfigurable Hardware. - Masaki Murakami; Takashi Kurimoto; Satoru Okamoto; Naoaki Yamanaka (IEEE/ACM Trans. Netw., 2024)