| 2015 | CCS | Secure RTOS Architecture for Building Automation. | Xiaolong Wang, Masaaki Mizuno, Mitchell L. Neilsen, Xinming Ou, S. Raj Rajagopalan, Will G. Boldwin, Bryan Phillips |
| 2010 | ECRTS | Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks. | Rodney R. Howell, Masaaki Mizuno |
| 2006 | PDPTA | A Scalable Search Algorithm for Unstructured Peer-to-Peer Networks. | Amit Gud, Masaaki Mizuno, Daniel Andresen |
| 2004 | RTAS | A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems. | Liubo Chen, Masaaki Mizuno, Gurdip Singh |
| 2004 | TACAS | SyncGen: An Aspect-Oriented Framework for Synchronization. | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
| 2003 | PDPTA | Synchronization in a Thread-Pool Model and its Application in Parallel Computing. | Masaaki Mizuno, Liubo Chen, Virgil Wallentine |
| 2002 | ICSE | Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
| 1996 | ICDCS | Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms. | Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa |
| 1993 | ICCI | A Sequentially Consistent Distributed Shared Memory. | James Z. Zhou, Masaaki Mizuno, Gurdip Singh |
| 1992 | ICCI | A Distributed Algorithm for Parameterized Semaphore Operations. | Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen |
| 1992 | ICDCS | A General Method to Define Quorums. | Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal |
| 1992 | ICDCS | Synchronization and Concurrency Measures for Distributed Computations. | Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen |
| 1991 | ICDCS | A token based distributed mutual exclusion algorithm based on quorum agreements. | Masaaki Mizuno, Mitchell L. Neilsen, Raghavendra Rao |
| 1991 | ICDCS | A DAG-based algorithm for distributed mutual exclusion. | Mitchell L. Neilsen, Masaaki Mizuno |
| 1990 | MVA | Document Recognition System with Layout Structure Generator. | Yoshitake Tsuji, Hiroyuki Kami, Masaaki Mizuno, Toshiyuki Tanaka, Haruhiko Tanaka, Masao Iwashita, Tsutomu Temma |
| 1989 | COMPSAC | An iterative method for secure inter-procedural information flow control. | Masaaki Mizuno |
| 1980 | ISCA | A High-Level Multi-Lingual Multiprocessor KMP. | Mario Tokoro, Kiichiro Tamaru, Masaaki Mizuno, Masao Hori |