Hirokazu Murao

11 papers B 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2015 conf
PASCO
Hiroki Hayakawa, Naoaki Ishida, Hirokazu Murao
2006 conf
ICMS
Hirokazu Murao
2004 J jnl
Arch. Formal Proofs
Hidetsune Kobayashi, L. Chen, Hirokazu Murao
2000 J jnl
SIGSAM Bull.
Hirokazu Murao
1997 conf
PASCO
Hirokazu Murao, Tetsuro Fujise
1996 J jnl
J. Symb. Comput.
Hirokazu Murao, Tetsuro Fujise
1996 B conf
ISSAC
Tetsuro Fujise, Hirokazu Murao
1994 conf
PASCO
Hirokazu Murao, Tetsuro Fujise
1993 J jnl
J. Symb. Comput.
Hirokazu Murao, Hidetsune Kobayashi, Tetsuro Fujise
1982 J jnl
ACM Trans. Math. Softw.
Tateaki Sasaki, Hirokazu Murao
1981 conf
SYMSACC
Tateaki Sasaki, Hirokazu Murao