Login / Signup
Akira Onishi
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Probabilistic Automata
Finite State
Markov Chain
Pattern Languages
Top Venues
IEICE Trans. Inf. Syst.
CoRR
IEEE SENSORS
</>
Publications
</>
Yoshiaki Takata
,
Akira Onishi
,
Ryoma Senda
,
Hiroyuki Seki
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata.
CoRR
(2024)
Yoshiaki Takata
,
Akira Onishi
,
Ryoma Senda
,
Hiroyuki Seki
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata.
IEICE Trans. Inf. Syst.
106 (3) (2023)
Kohei Shibata
,
Akihiro Uchiyama
,
Akira Onishi
,
Shinichi Iida
,
Toshifumi Konishi
,
Noboru Ishihara
,
Katsuyuki Machida
,
Kazuya Masu
,
Hiroyuki Ito
A Simplified Analytical Damping Constant Model for Perforated Proof Mass Structure of MEMS Capacitive Accelerometer by Multi-Layer Metal Technology.
IEEE SENSORS
(2021)