Optimization of functional language ASL/F programs. - Hiroyuki Seki; Kenichi Taniguchi; Tadao Kasami (Syst. Comput. Jpn., 1985)

Compiling and Optimizing Methods for the Functional Language ASL/F. - Katsuro Inoue; Hiroyuki Seki; Kenichi Taniguchi; Tadao Kasami (Sci. Comput. Program., 1986)

Principles of algebraic language ASL. - Tadao Kasami; Kenichi Taniguchi; Yuji Sugiyama; Hiroyuki Seki (Syst. Comput. Jpn., 1987)

Analysis of Functional Programs to Detect Run-Time Garbage Cells. - Katsuro Inoue; Hiroyuki Seki; Hikaru Yagi (ACM Trans. Program. Lang. Syst., 1988)

Membership problem for head languages and multiple context-free languages. - Tadao Kasami; Hiroyuki Seki; Mamoru Fujii (Syst. Comput. Jpn., 1989)

Generalized context-free grammars and multiple context-free grammars. - Tadao Kasami; Hiroyuki Seki; Mamoru Fujii (Syst. Comput. Jpn., 1989)

The generative power of multiple context-free grammars and head grammars. - Takashi Matsumura; Hiroyuki Seki; Mamoru Fujii; Tadao Kasami (Syst. Comput. Jpn., 1991)

On Multiple Context-Free Grammars. - Hiroyuki Seki; Takashi Matsumura; Mamoru Fujii; Tadao Kasami (Theor. Comput. Sci., 1991)

On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. - Hiroyuki Seki; Kenichi Taniguchi; Tadao Kasami (Software Science and Engineering, 1991)

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. - Masahiro Higuchi; Osamu Shirakawa; Hiroyuki Seki; Mamoru Fujii; Tadao Kasami (CAV, 1992)

A method for translating natural language program specifications into algebraic specifications. - Hiroyuki Seki; Tadao Kasami; Eiji Nabika; Takashi Matsumura (Syst. Comput. Jpn., 1992)

Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars. - Hiroyuki Seki; Ryuichi Nakanishi; Yuichi Kaji; Sachiko Ando; Tadao Kasami (ACL, 1993)

A translation method from natural language specifications into formal specifications using contextual dependencies. - Yasunori Ishihara; Hiroyuki Seki; Tadao Kasami (RE, 1993)

The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars. - Yuichi Kaji; Ryuchi Nakanishi; Hiroyuki Seki; Tadao Kasami (Comput. Intell., 1994)

Authorization Analysis of Queries in Object-Oriented Databases. - Hiroyuki Seki; Yasunori Ishihara; Minoru Ito (DOOD, 1995)

A phase connection method for communication protocols. - Tetsuo Sano; Masahiro Higuchi; Hiroyuki Seki; Tadao Kasami (Syst. Comput. Jpn., 1996)

Type-Consistency Problems for Queries in Object-Oriented Databases. - Yasunori Ishihara; Hiroyuki Seki; Minoru Ito (ICDT, 1997)

Decentralized control of multiple manipulators handling an object in coordination based on impedance control of each arm. - Kazuhiro Kosuge; Tomohiro Oosumi; Hiroyuki Seki (IROS, 1997)

Calibration of Coordinate System for Decentralized Coordinated Motion Control of Multiple Manipulators. - Kazuhiro Kosuge; Hiroyuki Seki; Tomohiro Oosumi (ICRA, 1998)

Estimation of position and orientation of multiple robots handling an unknown single object in coordination. - Kazuhiro Kosuge; Hiroyuki Seki (IROS, 1999)

Flexible Category Structure for Supporting WWW Retrieval. - Yoshiaki Takata; Kokoro Nakagawa; Hiroyuki Seki (ER (Workshops), 2000)

Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. - Toshinori Takai; Yuichi Kaji; Hiroyuki Seki (RTA, 2000)

Analysis and Implementation Method of Program to Detect Inappropriate Information Leak. - Reishi Yokomori; Fumiaki Ohata; Yoshiaki Takata; Hiroyuki Seki; Katsuro Inoue (APAQS, 2001)

An efficient security verification method for programs with stack inspection. - Naoya Nitta; Yoshiaki Takata; Hiroyuki Seki (CCS, 2001)

Capacity enhancement in quad-sector cell architecture with interleaved channel and polarization assignments. - Osama W. Ata; Hiroyuki Seki; Arogyaswami Paulraj (ICC, 2001)

Effect of customer premises directional antennas on fixed wireless access systems in the downlink multipath channel. - Hiroyuki Seki; Osama W. Ata; Arogyaswami Paulraj (ICC, 2001)

An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. - Shigeta Kuninobu; Yoshiaki Takata; Hiroyuki Seki; Katsuro Inoue (ICICS, 2001)

Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design. - Mizuho Ikeda; Yoshiaki Takata; Hiroyuki Seki (ISAS-SCI (1), 2001)

Security verification of programs with stack inspection. - Naoya Nitta; Hiroyuki Seki; Yoshiaki Takata (SACMAT, 2001)

Refinements of Complexity Results on Type Consistency for Object-Oriented Databases. - Yasunori Ishihara; Shougo Shimizu; Hiroyuki Seki; Minoru Ito (J. Comput. Syst. Sci., 2001)

A Specification Language for Distributed Policy Control. - Shigeta Kuninobu; Yoshiaki Takata; Daigo Taguchi; Masayuki Nakae; Hiroyuki Seki (ICICS, 2002)

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. - Hiroyuki Seki; Toshinori Takai; Youhei Fujinaka; Yuichi Kaji (RTA, 2002)

An information-leak analysis system based on program slicing. - Reishi Yokomori; Fumiaki Ohata; Yoshiaki Takata; Hiroyuki Seki; Katsuro Inoue (Inf. Softw. Technol., 2002)

An Extension of Pushdown System and Its Model Checking Method. - Naoya Nitta; Hiroyuki Seki (CONCUR, 2003)

Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language. - Yoshiaki Takata; Takeshi Nakamura; Hiroyuki Seki (HCI (4), 2003)

Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. - Susumu Kiyamura; Yoshiaki Takata; Hiroyuki Seki (PPAM, 2003)

Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. - Hitoshi Ohsaki; Hiroyuki Seki; Toshinori Takai (RTA, 2003)

Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. - Yoshiaki Takata; Takeshi Nakamura; Hiroyuki Seki (HICSS, 2004)

Subclasses of Tree Adjoining Grammar for RNA Secondary Structure. - Yuki Kato; Hiroyuki Seki; Tadao Kasami (TAG+, 2004)

Temporal Reasoning about Two Concurrent Sequences of Events. - Yasunori Ishihara; Shin Ishii; Hiroyuki Seki; Minoru Ito (SIAM J. Comput., 2004)

On the Generative Power of Grammars for RNA Secondary Structure. - Yuki Kato; Hiroyuki Seki; Tadao Kasami (IEICE Trans. Inf. Syst., 2005)

Likelihood Function for QRM-MLD Suitable for Soft-Decision Turbo Decoding and Its Performance for OFCDM MIMO Multiplexing in Multipath Fading Channel. - Hiroyuki Kawai; Kenichi Higuchi; Noriyuki Maeda; Mamoru Sawahashi; Takumi Ito; Yoshikazu Kakura; Akihisa Ushirokawa; Hiroyuki Seki (IEICE Trans. Commun., 2005)

Policy Controlled System and Its Model Checking. - Shigeta Kuninobu; Yoshiaki Takata; Naoya Nitta; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2005)

An Efficient Method for Optimal Probe Deployment of Distributed IDS. - Jing Wang; Naoya Nitta; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2005)

HBAC: A Model for History-Based Access Control and Its Model Checking. - Jing Wang; Yoshiaki Takata; Hiroyuki Seki (ESORICS, 2006)

Integrating presence inference into trust management for ubiquitous systems. - Jun Noda; Mie Takahashi; Itaru Hosomi; Hisashi Mouri; Yoshiaki Takata; Hiroyuki Seki (SACMAT, 2006)

Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling. - Yuki Kato; Hiroyuki Seki; Tadao Kasami (TAG, 2006)

LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations. - Naoya Nitta; Hiroyuki Seki (Inf. Media Technol., 2006)

Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. - Hisashi Mohri; Ikuya Yasuda; Yoshiaki Takata; Hiroyuki Seki (AINA Workshops (2), 2007)

Languages Modulo Normalization. - Hitoshi Ohsaki; Hiroyuki Seki (FroCoS, 2007)

Throughput Performance of Pre-coding MIMO Transmission with Multi-Beam Selection. - Hiroyuki Seki; Masafumi Tsutsui (ICC, 2007)

Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook. - Masafumi Tsutsui; Hiroyuki Seki (VTC Spring, 2007)

Events and Sightings. - Chigusa Kita; David L. Ferro; Dag Spicer; Kelly Rodoski; Hiroyuki Seki; Fred R. Shapiro; Thomas J. Bergin (IEEE Ann. Hist. Comput., 2007)

A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power. - Isao Yagi; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2007)

RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar. - Yuki Kato; Hiroyuki Seki; Tadao Kasami (Inf. Media Technol., 2007)

A Static Analysis using Tree Automata for XML Access Control. - Isao Yagi; Yoshiaki Takata; Hiroyuki Seki (Inf. Media Technol., 2007)

An equational logic based approach to the security problem against inference attacks on object-oriented databases. - Yasunori Ishihara; Toshiyuki Morita; Hiroyuki Seki; Minoru Ito (J. Comput. Syst. Sci., 2007)

Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach. - Yuki Kato; Tatsuya Akutsu; Hiroyuki Seki (PRIB, 2008)

On the Generative Power of Multiple Context-Free Grammars and Macro Grammars. - Hiroyuki Seki; Yuki Kato (IEICE Trans. Inf. Syst., 2008)

New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation. - Hisashi Mohri; Ikuya Yasuda; Yoshiaki Takata; Hiroyuki Seki (Inf. Media Technol., 2008)

Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation. - Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2009)

Comparison of the Expressive Power of Language-Based Access Control Models. - Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2009)

Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction. - Yuki Kato; Tatsuya Akutsu; Hiroyuki Seki (J. Comput. Biol., 2009)

A grammatical approach to RNA-RNA interaction prediction. - Yuki Kato; Tatsuya Akutsu; Hiroyuki Seki (Pattern Recognit., 2009)

Automatic Generation of History-Based Access Control from Information Flow Specification. - Yoshiaki Takata; Hiroyuki Seki (ATVA, 2010)

Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages. - Ryo Yoshinaka; Yuichi Kaji; Hiroyuki Seki (LATA, 2010)

Foreword. - Hiroyuki Seki (IEICE Trans. Inf. Syst., 2010)

Poster: trans-organizational role-based access control. - Ramon Francisco Pacquiao Mejia; Yuichi Kaji; Hiroyuki Seki (CCS, 2011)

Blind and Semi-Blind Sparse Channel Identification in MIMO OFDM Systems. - Abdeldjalil Aïssa-El-Bey; Dai Kimura; Hiroyuki Seki; Tomohiko Taniguchi (ICC, 2011)

A grammar-based approach to RNA pseudoknotted structure prediction for aligned sequences. - Nobuyoshi Mizoguchi; Yuki Kato; Hiroyuki Seki (ICCABS, 2011)

De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems. - Dai Kimura; Yuya Harada; Hiroyuki Seki (VTC Spring, 2011)

TV white space availability in Japan estimated using D/U-based and I/N-based protection rules. - Teppei Oyama; Tsuyoshi Shimomura; Hiroyuki Seki (GLOBECOM, 2012)

Error Control for High-density Monochrome Two-dimensional Barcodes. - Ramon Francisco Pacquiao Mejia; Yuichi Kaji; Hiroyuki Seki (Inf. Media Technol., 2012)

Autonomous downlink interference control for LTE femtocells in residential deployment. - Dai Kimura; Junji Otonari; Hiroyuki Seki (PIMRC, 2013)

Deciding Schema k-Secrecy for XML Databases. - Chittaphone Phonharath; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2013)

Selection of Component Carriers Using Centralized Baseband Pooling for LTE-Advanced Heterogeneous Networks. - Hiroyuki Seki; Takaharu Kobayashi; Dai Kimura (IEICE Trans. Commun., 2013)

Information theoretical evaluation of the bucketing technique to mitigate timing attacks. - Yasuyuki Kobayashi; Yuichi Kaji; Hiroyuki Seki (ISITA, 2014)

Analysis of TV White Space Availability in Japan. - Tsuyoshi Shimomura; Teppei Oyama; Hiroyuki Seki (IEICE Trans. Commun., 2014)

A post-haiyan community level mobility model. - Jovilyn Therese B. Fajardo; Keiichi Yasumoto; Hiroyuki Seki (ICMU, 2015)

Efficient selection of user sets for downlink non-orthogonal multiple access. - Takashi Seyama; Takashi Dateki; Hiroyuki Seki (PIMRC, 2015)

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers. - Kazuki Miyahara; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2015)

Centralized Inter-Cell Interference Coordination Using Multi-Band 3D Beam-Switching in Cellular Networks. - Hiroyuki Seki; Fumiyuki Adachi (IEICE Trans. Commun., 2015)

Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. - Shuichi Sato; Shogo Hattori; Hiroyuki Seki; Yutaka Inamori; Shoji Yuen (FTSCS, 2016)

Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions. - Nobukazu Fudaba; Tadashi Nakamura; Hiroyuki Seki (VTC Spring, 2016)

An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. - Yutaro Nagae; Masahiko Sakai; Hiroyuki Seki (WPTE@FSCD, 2016)

Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers. - Kenji Hashimoto; Ryuta Sawada; Yasunori Ishihara; Hiroyuki Seki; Toru Fujiwara (IEICE Trans. Inf. Syst., 2016)

Query Rewriting for Nondeterministic Tree Transducers. - Kazuki Miyahara; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2016)

Availability checking of dynamic spatial information for automobiles. - Shuichi Sato; Yosuke Watanabe; Hiroyuki Seki; Shoji Yuen (ICSRS, 2017)

Scheduler Reducing CSI Feedback Overhead and Computational Complexity for 5G Ultra High-Density Distributed Antenna Systems with Hybrid BF. - Shinya Kumagai; Takaharu Kobayashi; Daisuke Jitsukawa; Takashi Seyama; Takashi Dateki; Hiroyuki Seki; Koji Matsuyama; Morihiko Minowa (VTC Fall, 2017)

Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments. - Tatsuki Okuyama; Satoshi Suyama; Jun Mashino; Yukihiko Okumura; Kotaro Shiizaki; Chiyoshi Akiyama; Masafumi Tsutsui; Hiroyuki Seki; Morihiko Minowa (VTC Fall, 2017)

Field Experiment of High-Capacity Technologies for 5G Ultra High-Density Distributed Antenna Systems. - Hiroyuki Seki; Masafumi Tsutsui; Morihiko Minowa; Kotaro Shiizaki; Chiyoshi Akiyama; Tatsuki Okuyama; Jun Mashino; Satoshi Suyama; Yukihiko Okumura (VTC Spring, 2017)

Complexity Results on Register Context-Free Grammars and Register Tree Automata. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2018)

Robust Scheduler Prioritizing UEs with Time-Variant Channels in Small-Delay Slots from Channel Estimation Timing for 5G Large-Scale MU-MIMO. - Takashi Seyama; Shinya Kumagai; Teppei Oyama; Daisuke Jitsukawa; Takashi Dateki; Koji Matsuyama; Hiroyuki Seki; Morihiko Minowa (VTC Fall, 2018)

Counting Algorithms for Recognizable and Algebraic Series. - Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2018)

Direct Update of XML Documents with Data Values Compressed by Tree Grammars. - Kenji Hashimoto; Ryunosuke Takayama; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2018)

Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query. - Takeshi Takeda; Kenji Hashimoto; Hiroyuki Seki (ICCCS, 2019)

Proposal of Anesthetic Dose Prediction Model to Avoid Post-induction Hypotension Using Electronic Anesthesia Records. - Nanaka Asai; Chiaki Doi; Koki Iwai; Satoshi Ideno; Hiroyuki Seki; Jungo Kato; Takashige Yamada; Hiroshi Morisaki; Hiroshi Shigeno (ICMU, 2019)

Prediction of Post-induction Hypotension Using Stacking Method. - Koki Iwai; Chiaki Doi; Nanaka Asai; Hiroshi Shigeno; Satoshi Ideno; Jungo Kato; Takashige Yamada; Hiroshi Morisaki; Hiroyuki Seki (ICMU, 2019)

Experimental Trials of 5G Ultra High-Density Distributed Antenna Systems. - Shinya Kumagai; Morihiko Minowa; Tatsuki Okuyama; Jun Mashino; Satoshi Suyama; Yukihiko Okumura; Takaharu Kobayashi; Teppei Oyama; Chiyoshi Akiyama; Masafumi Tsutsui; Daisuke Jitsukawa; Takashi Seyama; et al. (VTC Fall, 2019)

5G R&D Activities for High Capacity Technologies with Ultra High-Density Multi-Band and Multi-Access Layered Cells. - Morihiko Minowa; Hiroyuki Seki; Yukihiko Okumura; Satoshi Suyama; Jun Terada; Satoshi Shigematsu; Yasushi Takatori; Hiroaki Asano; Yukio Hirano; Yasushi Yamao; Fumiyuki Adachi; Masataka Nakazawa (VTC Spring, 2019)

On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem. - Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki (CoRR, 2019)

Complexity Results on Register Pushdown Automata. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (CoRR, 2019)

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -. - Bao Trung Chu; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2019)

Experimental Study of Large-Scale Coordinated Multi-User MIMO for 5G Ultra High-Density Distributed Antenna Systems. - Takaharu Kobayashi; Masafumi Tsutsui; Takashi Dateki; Hiroyuki Seki; Morihiko Minowa; Chiyoshi Akiyama; Tatsuki Okuyama; Jun Mashino; Satoshi Suyama; Yukihiko Okumura (IEICE Trans. Commun., 2019)

Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming. - Shuichi Sato; Yosuke Watanabe; Hiroyuki Seki; Yoshinao Ishii; Shoji Yuen (ICPHM, 2020)

Generalized Register Context-Free Grammars. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2020)

Reachability of Patterned Conditional Pushdown Systems. - Xin Li 010; Patrick Gardy; Yuxin Deng; Hiroyuki Seki (J. Comput. Sci. Technol., 2020)

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. - Shuichi Sato; Shogo Hattori; Hiroyuki Seki; Yutaka Inamori; Shoji Yuen (J. Inf. Process., 2020)

Reactive Synthesis from Visibly Register Pushdown Automata. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2021)

Intraoperative Hypotension Prediction System by Considering Personal Lifestyle and Medical History. - Riku Inada; Chiaki Doi; Yuki Yamasaki; Hiroshi Shigeno; Hiroyuki Seki (PerCom Workshops, 2021)

Forward Regularity Preservation Property of Register Pushdown Systems. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2021)

LTL Model Checking for Register Pushdown Systems. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2021)

Optimal run problem for weighted register automata. - Hiroyuki Seki; Reo Yoshimura; Yoshiaki Takata (Theor. Comput. Sci., 2021)

Active Learning for Deterministic Bottom-Up Nominal Tree Automata. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2022)

Complexity results on register context-free grammars and related formalisms. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (Theor. Comput. Sci., 2022)

Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. - Yoshiaki Takata; Ryoma Senda; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2022)

A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2023)

When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem. - Yusuke Inoue; Kenji Hashimoto; Hiroyuki Seki (CIAA, 2023)

Data Generation With Filtered β-VAE for the Preoperative Prediction of Adverse Events. - Yuki Yamasaki; Chiaki Doi; Shiori Kitagawa; Hiroyuki Seki; Hiroshi Shigeno (IEEE Access, 2023)

Weighted Multiple Context-Free Grammars. - Yusuke Inoue; Kenji Hashimoto; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2023)

Pumping Lemmas for Languages Expressed by Computational Models with Registers. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2023)

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)

An ambiguity hierarchy of weighted context-free grammars. - Yusuke Inoue; Kenji Hashimoto; Hiroyuki Seki (Theor. Comput. Sci., 2023)

Semidirect Product Decompositions for Periodic Regular Languages. - Yusuke Inoue; Kenji Hashimoto; Hiroyuki Seki (DLT, 2024)

Verification with Common Knowledge of Rationality for Graph Games. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2024)

Automata and Grammars for Data Words. - Hiroyuki Seki (CIAA, 2024)

Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies. - So Koide; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2024)

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)

Non-Cooperative Rational Synthesis Problem for Probabilistic Strategies. - So Koide; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2025)

Strategies and Equilibria on Indistinguishability of Winning Objectives and Related Decision Problems. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2025)