Masaaki Mizuno

Jumpei Arata, Yasunori Tada, Hiroaki Kozuka, Tomohiro Wada, Yoshitaka Saito, Norio Ikedo, Yuichiro Hayashi, Masazumi Fujii, Yasukazu Kajita, Masaaki Mizuno, Toshihiko Wakabayashi, Jun Yoshida, Hideo Fujimoto: Neurosurgical robotic system for brain tumor removal. Int. J. Computer Assisted Radiology and Surgery 6(3): 375-385 (2011)

Yoshihiro Tanaka, Qingyun Yu, Kazuki Doumoto, Akihito Sano, Yuichiro Hayashi, Masazumi Fujii, Yasukazu Kajita, Masaaki Mizuno, Toshihiko Wakabayashi, Hideo Fujimoto: Development of a real-time tactile sensing system for brain tumor diagnosis. Int. J. Computer Assisted Radiology and Surgery 5(4): 359-367 (2010)

Rodney R. Howell, Masaaki Mizuno: Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks. ECRTS 2010: 219-228

Amit Gud, Masaaki Mizuno, Daniel Andresen: A Scalable Search Algorithm for Unstructured Peer-to-Peer Networks. PDPTA 2006: 120-126

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

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

Masaaki Mizuno, Liubo Chen, Virgil Wallentine: Synchronization in a Thread-Pool Model and its Application in Parallel Computing. PDPTA 2003: 1879-1885

Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen: A self-stabilizing quorum-based protocol for maxima computing. Distributed Computing 15(1): 49-55 (2002)

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

Mikhail Nesterenko, Masaaki Mizuno: A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm. J. Parallel Distrib. Comput. 62(2): 284-305 (2002)

Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno: Finite-State Self-Stabilizing Protocols in Message-Passing Systems. J. Parallel Distrib. Comput. 62(5): 792-817 (2002)

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

Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen: A Structured Approach to Develop Concurrent Programs in UML. UML 2000: 451-465

Masaaki Mizuno: A Structured Approach for Developing Concurrent Programs in Java. Inf. Process. Lett. 69(5): 233-238 (1999)

Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno: Finite-state self-stabilizing protocols in message-passing systems. WSS 1999: 62-69

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

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

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

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

Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal: An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Processing Letters 6(2): 265-278 (1996)

Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa: Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms. ICDCS 1996: 708-716

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

Masaaki Mizuno, Hirotsugu Kakugawa: A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments. WDAG 1996: 304-321

Mitchell L. Neilsen, Masaaki Mizuno: Nondominated k-Coteries for Multiple Mutual Exclusion. Inf. Process. Lett. 50(5): 247-252 (1994)

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

Masaaki Mizuno, Michel Raynal, James Z. Zhou: Sequential Consistency in Distributed Systems. Dagstuhl Seminar on Distributed Systems 1994: 224-241

Mitchell L. Neilsen, Masaaki Mizuno: A quorum-based algorithm for parameterized semaphore operations. Journal of Systems and Software 21(1): 103-112 (1993)

James Z. Zhou, Masaaki Mizuno, Gurdip Singh: A Sequentially Consistent Distributed Shared Memory. ICCI 1993: 165-169

Masaaki Mizuno, David A. Schmidt: A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. Formal Asp. Comput. 4(6A): 727-754 (1992)

Mitchell L. Neilsen, Masaaki Mizuno: Coterie Join Algorithm. IEEE Trans. Parallel Distrib. Syst. 3(5): 582-590 (1992)

Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen: A Distributed Algorithm for Parameterized Semaphore Operations. ICCI 1992: 466-469

Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal: A General Method to Define Quorums. ICDCS 1992: 657-664

Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen: Synchronization and Concurrency Measures for Distributed Computations. ICDCS 1992: 700-707

Mitchell L. Neilsen, Masaaki Mizuno: A DAG-based algorithm for distributed mutual exclusion. ICDCS 1991: 354-360

Masaaki Mizuno, Mitchell L. Neilsen, R. Rao: A token based distributed mutual exclusion algorithm based on quorum agreements. ICDCS 1991: 361-368

Masaaki Mizuno, Arthur E. Oldehoeft: An access control language for object-oriented programming systems. Journal of Systems and Software 13(1): 3-12 (1990)

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

Mario Tokoro, Klichiro Tamaru, Masaaki Mizuno, Masao Hori: A High-Level Multi-Lingual Multiprocessor KMP. ISCA 1980: 325-333