GuanJun Liu, ChangJun Jiang, MengChu Zhou, Atsushi Ohta. The Liveness of (WSPR)-P-3: Complexity and Decision. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES. 2013. E96A. 8. 1783-1793
Computational Complexity of DECLARE Relation Problem for Sound non-Free-Choice Workflow Nets
(2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020 2020)
Polynomial Time Solvability of Response Property for Sound Acyclic Free Choice Workflow Nets
(34th International Technical Conference on Circuits/Systems, Computers and Communications, ITC-CSCC 2019 2019)
An efficient method for connected-component labeling in 3D binary images
(Proceedings - 2018 International Conference on Robots and Intelligent System, ICRIS 2018 2018)
Improvement of Error Reduction in Fluidification of Generalized Stochastic Petri Net
(2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE) 2017)
On Detection of Vanished Arcs in Marked Graphs
(SICE Annual Conference 2015 2015)