A Simplified Analytical Damping Constant Model for Perforated Proof Mass Structure of MEMS Capacitive Accelerometer by Multi-Layer Metal Technology. - Kohei Shibata; Akihiro Uchiyama; Akira Onishi; Shinichi Iida; Toshifumi Konishi; Noboru Ishihara; Katsuyuki Machida; Kazuya Masu; Hiroyuki Ito (IEEE SENSORS, 2021)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata. - Yoshiaki Takata; Akira Onishi; Ryoma Senda; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2023)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata. - Yoshiaki Takata; Akira Onishi; Ryoma Senda; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2024)