Login / Signup
Tomohiro Hirakawa
Publication Activity (10 Years)
Years Active: 2011-2016
Publications (10 Years): 1
Top Topics
Hypertree Decomposition
Branch And Bound Method
Formal Proof
Digital Filters
Top Venues
IECON
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
</>
Publications
</>
Masayoshi Nakamoto
,
Tomohiro Hirakawa
,
Naoyuki Aikawa
,
Torn Yamamoto
A GA-based optimization for multi-band digital filters with the sameness conditions of filter coefficients.
IECON
(2016)
Masayoshi Nakamoto
,
Tomohiro Hirakawa
,
Torn Yamamoto
Design of semi-sparse multi-band digital filters using branch and bound method.
IECON
(2015)
Shingo Yamaguchi
,
Tomohiro Hirakawa
Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(2) (2013)
Shingo Yamaguchi
,
Tomohiro Hirakawa
Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(12) (2011)