Daihei ISE

Department of Computer and Network EngineeringAssistant Professor
Cluster I (Informatics and Computer Engineering)Assistant Professor
Researcher Information

Field Of Study

  • Informatics, Information theory
  • Informatics, Biological, health, and medical informatics
Research Activity Information

Paper

  • A Necessary and Sufficient Condition for Controlled Generation of Right Linear Grammars with Unknown Behaviors.
    Daihei Ise; Satoshi Kobayashi
    Lead, IEICE Trans. Inf. Syst., 108, 6, 540-548, 2025, Peer-reviwed
    Scientific journal
  • Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors.
    Daihei Ise; Satoshi Kobayashi
    Lead, CoRR, abs/2403.04301, 2024
    Scientific journal
  • Monotone Control of R Systems
    Ryutaro Yako; Daihei Ise; Ken Komiya; Kenzo Fujimoto; Satoshi Kobayashi
    New Generation Computing, Springer Science and Business Media LLC, 40, 2, 623-657, 13 May 2022, Peer-reviwed
    Scientific journal, English

Lectures, oral presentations, etc.

  • A Proposal of Real-Time DNA Queue Automaton
    Masayuki Nakamura; Rio Mizumoto; Daihei Ise; Satoshi Kobayashi
    Poster presentation, English, 29th International Conference on DNA Computing and Molecular Programming, Peer-reviewed
    2023
    11 Sep. 2023- 15 Sep. 2023
  • On Monotone Control of Right Linear Grammar with Unknown Behaviors
    Daihei Ise; Shigetaka Nakamura; Ken Komiya; Kenzo Fujimoto; Satoshi Kobayashi
    Poster presentation, English, 27th International Conference of DNA Computing and Molecular Programming, Peer-reviewed
    2021
    13 Sep. 2021- 16 Sep. 2021
  • 未知の振る舞いを持つ制御付き右正則文法の生成能力について
    伊勢大平; 小林聡
    Oral presentation, Japanese, 電子情報通信学会、vol.120、no. 426、COMP2020-38, Peer-reviewed
    2021

Courses

  • Mathematical Information Science Laboratory I,Computer Science Laboratory I
    Apr. 2025 - Sep. 2025
    The University of Electro-Communications

Academic Contribution Activities

  • 29th International Conference on Implementation and Application of Automata (CIAA2025)
    Peer review etc, Peer review
  • 26th International Conference on Descriptional Complexity of Formal Systems (DCFS 2025)
    Peer review etc, Peer review