Hitoshi Ohsaki

发表

Joe Hendrix, Hitoshi Ohsaki, Joe Hendrix, 2008, RTA.
Akira Fukuda, Kenji Taguchi, Yoriyuki Yamagata, 2012, ACM SIGSOFT Softw. Eng. Notes.
Aart Middeldorp, Hitoshi Ohsaki, A. Middeldorp, 1997, Acta Informatica.
Aart Middeldorp, Hitoshi Ohsaki, 2000, Acta Informatica.
Hitoshi Ohsaki, Nguyen Van Tang, H. Ohsaki, 2011, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..
Naoki Kobayashi, Hitoshi Ohsaki, N. Kobayashi, 2008, RTA.
Takashi Kitamura, Hitoshi Ohsaki, Ling Fang, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Takashi Kitamura, Shunsuke Yatabe, Hitoshi Ohsaki, 2012, ISoLA.
Yuji Sato, Hitoshi Ohsaki, 2009 .
Takashi Kitamura, Hitoshi Ohsaki, Nguyen Van Tang, 2013, SoICT.
Jürgen Giesl, Aart Middeldorp, Hitoshi Ohsaki, 2000, CSL.
Jean-Marc Talbot, Sophie Tison, Yves Roos, 2005, LPAR.
Akira Fukuda, Kenji Taguchi, Yoriyuki Yamagata, 2013, Formal Aspects of Computing.
Hitoshi Ohsaki, Daisuke Souma, Nguyen Van Tang, 2012, VSTTE.
Hiroyuki Seki, Hitoshi Ohsaki, H. Seki, 2007, FroCoS.
Akira Fukuda, Kenji Taguchi, Yoriyuki Yamagata, 2012, 2012 19th Asia-Pacific Software Engineering Conference.
Hitoshi Ohsaki, Nguyen Van Tang, H. Ohsaki, 2012, LATA.
Toshinori Takai, Hitoshi Ohsaki, Equational Tree Languages, 2003 .
Toshinori Takai, Hitoshi Ohsaki, 2005, Electron. Notes Theor. Comput. Sci..
Toshinori Takai, Hitoshi Ohsaki, 2002, RTA.
Osamu Mizuno, Eun-Hye Choi, Masahiro Aoki, 2014, J. Appl. Math..
Hans Zantema, Aart Middeldorp, Hitoshi Ohsaki, 1996, CADE.
Mahesh Viswanathan, Joe Hendrix, Hitoshi Ohsaki, 2006, RTA.
Toshinori Takai, Hitoshi Ohsaki, Toshinori Takai, 2002 .
Hitoshi Ohsaki, Yuki Seki, T Oshinori Takai, .
José Meseguer, Joe Hendrix, Hitoshi Ohsaki, 2005 .