A High-Level Multi-Lingual Multiprocessor KMP. - Mario Tokoro; Kiichiro Tamaru; Masaaki Mizuno; Masao Hori (ISCA, 1980)

An iterative method for secure inter-procedural information flow control. - Masaaki Mizuno (COMPSAC, 1989)

Document Recognition System with Layout Structure Generator. - Yoshitake Tsuji; Hiroyuki Kami; Masaaki Mizuno; Toshiyuki Tanaka; Haruhiko Tanaka; Masao Iwashita; Tsutomu Temma (MVA, 1990)

An access control language for object-oriented programming systems. - Masaaki Mizuno; Arthur E. Oldehoeft (J. Syst. Softw., 1990)

A token based distributed mutual exclusion algorithm based on quorum agreements. - Masaaki Mizuno; Mitchell L. Neilsen; Raghavendra Rao (ICDCS, 1991)

A DAG-based algorithm for distributed mutual exclusion. - Mitchell L. Neilsen; Masaaki Mizuno (ICDCS, 1991)

A Distributed Algorithm for Parameterized Semaphore Operations. - Mahender Nelakonda; Masaaki Mizuno; Mitchell L. Neilsen (ICCI, 1992)

A General Method to Define Quorums. - Mitchell L. Neilsen; Masaaki Mizuno; Michel Raynal (ICDCS, 1992)

Synchronization and Concurrency Measures for Distributed Computations. - Michel Raynal; Masaaki Mizuno; Mitchell L. Neilsen (ICDCS, 1992)

A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. - Masaaki Mizuno; David A. Schmidt (Formal Aspects Comput., 1992)

Coterie Join Algorithm. - Mitchell L. Neilsen; Masaaki Mizuno (IEEE Trans. Parallel Distributed Syst., 1992)

A Sequentially Consistent Distributed Shared Memory. - James Z. Zhou; Masaaki Mizuno; Gurdip Singh (ICCI, 1993)

A quorum-based algorithm for parameterized semaphore operations. - Mitchell L. Neilsen; Masaaki Mizuno (J. Syst. Softw., 1993)

An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. - Masaaki Mizuno; Michel Raynal; Gurdip Singh; Mitchell L. Neilsen (Applications in Parallel and Distributed Computing, 1994)

Sequential Consistency in Distributed Systems. - Masaaki Mizuno; Michel Raynal; James Z. Zhou (Dagstuhl Seminar on Distributed Systems, 1994)

Nondominated k-Coteries for Multiple Mutual Exclusion. - Mitchell L. Neilsen; Masaaki Mizuno (Inf. Process. Lett., 1994)

Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms. - Masaaki Mizuno; Mikhail Nesterenko; Hirotsugu Kakugawa (ICDCS, 1996)

On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations. - Michel Hurfin; Masaaki Mizuno; Michel Raynal; Mukesh Singhal (SPDP, 1996)

A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments. - Masaaki Mizuno; Hirotsugu Kakugawa (WDAG, 1996)

Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion". - Mitchell L. Neilsen; Masaaki Mizuno (Inf. Process. Lett., 1996)

An Optimistic Protocol for a Linearizable Distributed Shared Memory System. - Masaaki Mizuno; Mitchell L. Neilsen; Michel Raynal (Parallel Process. Lett., 1996)

Development of self-stabilizing distributed algorithms using transformation: case studies. - Hirotsugu Kakugawa; Masaaki Mizuno; Mikhail Nesterenko (WSS, 1997)

A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments. - Masaaki Mizuno; Mikhail Nesterenko (Inf. Process. Lett., 1998)

Efficient Distributed Detection of Conjunctions of Local Predicates. - Michel Hurfin; Masaaki Mizuno; Michel Raynal; Mukesh Singhal (IEEE Trans. Software Eng., 1998)

A Structured Approach for Developing Concurrent Programs in Java. - Masaaki Mizuno (Inf. Process. Lett., 1999)

A Structured Approach to Develop Concurrent Programs in UML. - Masaaki Mizuno; Gurdip Singh; Mitchell L. Neilsen (UML, 2000)

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Masaaki Mizuno (ICSE, 2002)

A self-stabilizing quorum-based protocol for maxima computing. - Yiwei Chiao; Masaaki Mizuno; Mitchell L. Neilsen (Distributed Comput., 2002)

Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum. - Gurdip Singh; Masaaki Mizuno; Mitchell L. Neilsen; Donald H. Lenhert; Naiqian Zhang (IEEE Distributed Syst. Online, 2002)

Finite-State Self-Stabilizing Protocols in Message-Passing Systems. - Rodney R. Howell; Mikhail Nesterenko; Masaaki Mizuno (J. Parallel Distributed Comput., 2002)

A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm. - Mikhail Nesterenko; Masaaki Mizuno (J. Parallel Distributed Comput., 2002)

Synchronization in a Thread-Pool Model and its Application in Parallel Computing. - Masaaki Mizuno; Liubo Chen; Virgil Wallentine (PDPTA, 2003)

A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems. - Liubo Chen; Masaaki Mizuno; Gurdip Singh (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

SyncGen: An Aspect-Oriented Framework for Synchronization. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Masaaki Mizuno (TACAS, 2004)

A Scalable Search Algorithm for Unstructured Peer-to-Peer Networks. - Amit Gud; Masaaki Mizuno; Daniel Andresen (PDPTA, 2006)

Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks. - Rodney R. Howell; Masaaki Mizuno (ECRTS, 2010)

Development of a real-time tactile sensing system for brain tumor diagnosis. - Yoshihiro Tanaka; Qingyun Yu; Kazuki Doumoto; Akihito Sano; Yuichiro Hayashi; Masazumi Fujii; Yasukazu Kajita; Masaaki Mizuno; Toshihiko Wakabayashi; Hideo Fujimoto (Int. J. Comput. Assist. Radiol. Surg., 2010)

Neurosurgical robotic system for brain tumor removal. - Jumpei Arata; Yasunori Tada; Hiroaki Kozuka; Tomohiro Wada; Yoshitaka Saito; Norio Ikedo; Yuichiro Hayashi; Masazumi Fujii; Yasukazu Kajita; Masaaki Mizuno; Toshihiko Wakabayashi; Jun Yoshida; et al. (Int. J. Comput. Assist. Radiol. Surg., 2011)

Secure RTOS Architecture for Building Automation. - Xiaolong Wang; Masaaki Mizuno; Mitchell L. Neilsen; Xinming Ou; S. Raj Rajagopalan; Will G. Boldwin; Bryan Phillips (CPS-SPC@CCS, 2015)

Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. - Xiaolong Wang; Richard Habeeb; Xinming Ou; Siddharth Amaravadi; John Hatcliff; Masaaki Mizuno; Mitchell L. Neilsen; S. Raj Rajagopalan; Srivatsan Varadarajan (ICDCS Workshops, 2017)