Hideki Sakurada
发表
Hideki Sakurada,
Masami Hagiya,
Yusuke Kawamoto,
2008
.
M. Hagiya,
Hubert Comon-Lundh,
Yusuke Kawamoto,
2010
.
I. Hasuo,
Hideki Sakurada,
Yoshinobu Kawabe,
2019
.
Y. Kawano,
G. Kato,
Hideki Sakurada,
2013
.
Reconstructing and Extending Regular Model Checking by Refinement of Transition Relation 櫻田英樹 † 萩谷昌己
Hideki Sakurada,
2006
.
M. Hagiya,
Hubert Comon-Lundh,
Yusuke Kawamoto,
2009
.
Hideki Sakurada,
Yoshihiko Kakutani,
Go Kato,
2016,
J. Symb. Comput..
Ichiro Hasuo,
Yoshinobu Kawabe,
I. Hasuo,
2007,
Theor. Comput. Sci..
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada,
2010,
J. Log. Comput..
Hideki Sakurada,
Yasuyuki Tsukada,
Hideki Sakurada,
2001,
Network Security.
Hideki Sakurada,
Masami Hagiya,
Hubert Comon-Lundh,
2012,
ISPEC.
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada,
2008,
IEICE Trans. Fundam. Electron. Commun. Comput. Sci..
Hideki Sakurada,
Hubert Comon-Lundh,
Yusuke Kawamoto,
2009,
JSIAM Lett..
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada,
2009,
2009 International Conference on Computational Science and Engineering.
Hideki Sakurada,
Masami Hagiya,
Yusuke Kawamoto,
2009,
Formal to Practical Security.