Masaaki Mizuno
发表
Yoshihiro Tanaka,
Qingyun Yu,
Kazuki Doumoto,
2010,
International Journal of Computer Assisted Radiology and Surgery.
Masaaki Mizuno,
Gurdip Singh,
James Z. Zhou,
1993,
Proceedings of ICCI'93: 5th International Conference on Computing and Information.
Masaaki Mizuno,
2002
.
Masaaki Mizuno,
1989,
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.
Masaaki Mizuno,
Raghavendra Rao,
Mitchell L. Neilsen,
1991,
[1991] Proceedings. 11th International Conference on Distributed Computing Systems.
Masaaki Mizuno,
Mitchell L. Neilsen,
1992,
IEEE Trans. Parallel Distributed Syst..
Mukesh Singhal,
Michel Raynal,
Masaaki Mizuno,
1998,
IEEE Trans. Software Eng..
Masaaki Mizuno,
Mitchell L. Neilsen,
Yiwei Chiao,
2002,
Distributed Computing.
A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments
Hirotsugu Kakugawa,
Masaaki Mizuno,
1996,
WDAG.
Masaaki Mizuno,
Matthew B. Dwyer,
John Hatcliff,
2004,
TACAS.
Kenta Yano,
Atsushi Iwamoto,
Yoshihiro Suda,
2015
.
Masaaki Mizuno,
Arthur E. Oldehoeft,
A. Oldehoeft,
1990,
J. Syst. Softw..
Masaaki Mizuno,
Michel Hurfin,
1996
.
Xiaolong Wang,
Masaaki Mizuno,
Xinming Ou,
2017,
2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW).
Masaaki Mizuno,
Mitchell L. Neilsen,
1991,
[1991] Proceedings. 11th International Conference on Distributed Computing Systems.
Jun Yoshida,
Jumpei Arata,
Yuichiro Hayashi,
2010,
International Journal of Computer Assisted Radiology and Surgery.
Masaaki Mizuno,
Matthew B. Dwyer,
Gurdip Singh,
2001
.
Masaaki Mizuno,
Mitchell L. Neilsen,
1994,
Inf. Process. Lett..
Hirotsugu Kakugawa,
Masaaki Mizuno,
Mikhail Nesterenko,
1996,
Proceedings of 16th International Conference on Distributed Computing Systems.
Michel Raynal,
Masaaki Mizuno,
Mitchell L. Neilsen,
1996,
Parallel Process. Lett..
Xiaolong Wang,
Masaaki Mizuno,
Xinming Ou,
2015,
CPS-SPC@CCS.
Masaaki Mizuno,
Toshiyuki Tanaka,
Yoshitake Tsuji,
1990,
MVA.
Masaaki Mizuno,
Mario Tokoro,
Kiichiro Tamaru,
1980,
ISCA '80.
Hirotsugu Kakugawa,
Masaaki Mizuno,
Mikhail Nesterenko,
1997,
WSS.
Masaaki Mizuno,
Mitchell L. Neilsen,
1993,
J. Syst. Softw..
Michel Raynal,
Masaaki Mizuno,
Gurdip Singh,
1994,
Applications in Parallel and Distributed Computing.
Masaaki Mizuno,
Virgil Wallentine,
Liubo Chen,
2003,
PDPTA.
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Masaaki Mizuno,
Matthew B. Dwyer,
John Hatcliff,
2002,
ICSE '02.
Masaaki Mizuno,
Mitchell L. Neilsen,
M. Neilsen,
1996,
Inf. Process. Lett..
Masaaki Mizuno,
Mitchell L. Neilsen,
Mahender Nelakonda,
1992,
Proceedings ICCI `92: Fourth International Conference on Computing and Information.
Masaaki Mizuno,
Mikhail Nesterenko,
1998,
Inf. Process. Lett..
Masaaki Mizuno,
Gurdip Singh,
Liubo Chen,
2004,
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..
Masaaki Mizuno,
Rodney R. Howell,
Mikhail Nesterenko,
1999,
J. Parallel Distributed Comput..
Masaaki Mizuno,
Mikhail Nesterenko,
2002,
J. Parallel Distributed Comput..
Masaaki Mizuno,
David A. Schmidt,
2010,
Formal Aspects of Computing.
Michel Raynal,
Masaaki Mizuno,
James Z. Zhou,
1994,
Dagstuhl Seminar on Distributed Systems.
Masaaki Mizuno,
1999,
Inf. Process. Lett..
Masaaki Mizuno,
M. Mizuno,
1989
.
Mukesh Singhal,
Michel Raynal,
Masaaki Mizuno,
1996,
Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing.
Masaaki Mizuno,
Gurdip Singh,
Mitchell L. Neilsen,
2000,
UML.
Masaaki Mizuno,
Matthew B. Dwyer,
Gurdip Singh,
2005
.
Masaaki Mizuno,
Rodney R. Howell,
2010,
2010 22nd Euromicro Conference on Real-Time Systems.
Michel Raynal,
Masaaki Mizuno,
Mitchell L. Neilsen,
1992,
[1992] Proceedings of the 12th International Conference on Distributed Computing Systems.
Masaaki Mizuno,
Gurdip Singh,
Naiqian Zhang,
2002,
IEEE Distributed Syst. Online.
Daniel Andresen,
Masaaki Mizuno,
Amit Gud,
2006,
PDPTA.
Masaaki Mizuno,
Hiromasa Tanaka,
Michitaka Fujiwara,
2015,
Gastric Cancer.
Jun Yoshida,
Masazumi Fujii,
Masaaki Mizuno,
2008,
The journal of gene medicine.
Jun Yoshida,
Masazumi Fujii,
Yasukazu Kajita,
2004,
Human gene therapy.
Jun Yoshida,
Masaaki Mizuno,
Toshihiko Wakabayashi,
2007,
Journal of Neuro-Oncology.
Masaaki Mizuno,
Hiromasa Tanaka,
Masaru Hori,
2017,
Scientific Reports.