A Parallelizing Compiler by Object Oriented Design. - Yoichi Omori; Kazuki Joe; Akira Fukuda (COMPSAC, 1997)

An Object-Oriented Framework for Loop Parallelization. - Yoichi Omori; Akira Fukuda; Kazuki Joe (J. Supercomput., 1999)

A Macroscopic Behavior Model for Self-Timed Pipeline Systems. - Shuji Sannomiya; Yoichi Omori; Makoto Iwata (PADS, 2003)

Large Scale Business-academia Collaboration in Master Education Course. - Noriaki Sakamoto; Mitsuaki Fukase; Tsunenori Mine; Shigeru Kusakabe; Tsuneo Nakanishi; Yoichi Omori; Mohammad Mesbah Uddin; Keijiro Araki; Akira Fukuda; Hiroto Yasuura; Teruaki Kitasuka (CSEDU (2), 2009)

Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. - Shigeru Kusakabe; Yoichi Omori; Keijiro Araki (ICSOFT (1), 2009)

Generating supportive hypotheses in introducing formal methods using a software processes improvement model. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (FormaliSE, 2014)

Requirements Development of Energy Management System for a Unit in Smart Campus. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (IIAI-AAI, 2014)

Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. - Shigeru Kusakabe; Yoichi Omori; Keijiro Araki (FMSEE&T@FM, 2015)

Towards Verifying VDM Using SPIN. - Hsin-Hung Lin; Yoichi Omori; Shigeru Kusakabe; Keijiro Araki (FTSCS, 2015)

Visualizing centrality of process area networks in CMMI-DEV. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (ICSSP, 2015)