Hirokazu Murao
发表
Hirokazu Murao,
Tetsuro Fujise,
1997,
PASCO '97.
Hirokazu Murao,
Tetsuro Fujise,
1996,
J. Symb. Comput..
Hirokazu Murao,
2006,
ICMS.
Hirokazu Murao,
Tetsuro Fujise,
1996,
ISSAC '96.
Hirokazu Murao,
1980
.
Hirokazu Murao,
Daisuke Morimitsu,
Yasuhito Nakano,
2012
.
Hirokazu Murao,
Tetsuro Fujise,
Hidetsune Kobayashi,
1992
.
L. Chen,
Hirokazu Murao,
Hidetsune Kobayashi,
2004,
Arch. Formal Proofs.
Hirokazu Murao,
1998
.
Hirokazu Murao,
2000,
SIGS.
Yuji Kondoh,
Hirokazu Murao,
Tomokatsu Saito,
2009
.
Tateaki Sasaki,
Hirokazu Murao,
Tateaki Sasaki,
1982,
TOMS.
Hirokazu Murao,
Tetsuro Fujise,
Hidetsune Kobayashi,
1993,
J. Symb. Comput..