Rchr
J-GLOBAL ID：200901016673633643   Update date: Sep. 08, 2024

Ohta Atsushi

オオタ アツシ | Ohta Atsushi
Affiliation and department：
Aichi Prefectural University School of Information Science and Technology Department of Information Science and Technology

About Aichi Prefectural University School of Information Science and Technology Department of Information Science and Technology


Homepage URL  (1)： http://www.ist.aichi-pu.ac.jp/%7eohta/
Research field  (2)： Control and systems engineering ,  Communication and network engineering
Research keywords  (2)： 離散事象システム ,  discrete event system
Research theme for competitive and other funds  (2)：
  • ペトリネットの解析に関する研究
  • Study on Analysis of Petri Nets
Papers (34)：
ｍore...
MISC (58)：
  • Nakanishi Junichiro, Ohta Atsushi, Tsuji Kohkichi. Modeling Grover’s Algorithm with Colored Petri Net. IEEE Conference Proceedings. 2021. 2021. ITC-CSCC
  • MURANUSHI KENTA, OHTA ATSUSHI, TSUJI KOHKICHI. Modeling and Analysis of Quantum Circuits by using Extended Petri Nets. Technical report of IEICE. SS. 2014. 113. 422. 53-58
  • 鈴木英友, 太田淳, 辻孝吉. テンソル積の既約分解を用いた量子ペトリネットの階層化. 全国大会講演論文集. 2012. 2012. 1. 471-473
  • OHTA Atsushi, TSUJI Kohkichi. On Some Algorithm to Verify Trap Containing Circuit Nets. Mathematical Systems Science and its Applications : IEICE technical report. 2011. 111. 294. 25-30
  • OHTA Atsushi, TSUJI Kohkichi. AS-3-4 On Liveness of Class of Marked Graph with Inhibitor Arcs. Proceedings of the Society Conference of IEICE. 2011. 2011. "S-25"-"S-26"
ｍore...
Books (2)：
  • 情報科学入門-文系学生のためのコンピュータリテラシー (ネットワーク編)
    学術図書出版社 2003 ISBN:4873619793
  • 情報科学入門-文系学生のためのコンピュータリテラシー (アプリケーション編)
    学術図書出版社 2003 ISBN:4873619807
Lectures and oral presentations  (38)：
  • 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)
ｍore...
Education (4)：
  • - 1994 Waseda University
  • - 1994 Waseda University Graduate School, Division of Science and Engineering
  • - 1988 Waseda University School of Science and Engineering
  • - 1988 Waseda University Faculty of Science and Engineering
Professional career (1)：
  • Doctor of Engineering (Waseda University)
Work history (2)：
  • 1994 - 1997 Waseda University
  • 1994 - 1997 Waseda University, Research Assistant
Committee career (2)：
  • 2022/06 - 2025/05 電子情報通信学会 論文誌編集委員
  • 2015/01 - 2016/12 計測自動制御学会 離散事象システム部会主査
Association Membership(s) (4)：
INFORMATION PROCESSING SOCIETY OF JAPAN ,  IEEE ,  THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS ,  THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM