An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. - Hiroyuki Ozaki; Shingo Ban; Katsuhiko Gondow; Takuya Katayama (APSEC, 2003)

Constant time interval simulation for semiconductor manufacturing. - Kazuo Miyashita; Hiroyuki Ozaki; Kazuyuki Senoh; Hirofumi Matsuo (ETFA (1), 2003)

Class Refinement for Software Evolution. - Hiroyuki Ozaki; Katsuhiko Gondow; Takuya Katayama (IWPSE, 2003)

Factory scheduling and dispatching: constant time interval production planning with application to WIP control in semiconductor fabrication. - Kazuo Miyashita; Kazuyuki Senoh; Hiroyuki Ozaki; Hirofumi Matsuo (WSC, 2003)

Search and Knightian uncertainty. - Kiyohiko G. Nishimura; Hiroyuki Ozaki (J. Econ. Theory, 2004)

Irreversible investment and Knightian uncertainty. - Kiyohiko G. Nishimura; Hiroyuki Ozaki (J. Econ. Theory, 2007)