| 2024 | DLT | Semidirect Product Decompositions for Periodic Regular Languages. | Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki |
| 2024 | ICTAC | Verification with Common Knowledge of Rationality for Graph Games. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2023 | ICTAC | A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2022 | ICTAC | Active Learning for Deterministic Bottom-Up Nominal Tree Automata. | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2021 | ICTAC | Reactive Synthesis from Visibly Register Pushdown Automata. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2021 | PERCOM | Intraoperative Hypotension Prediction System by Considering Personal Lifestyle and Medical History. | Riku Inada, Chiaki Doi, Yuki Yamasaki, Hiroshi Shigeno, Hiroyuki Seki |
| 2019 | ICTAC | Optimal Run Problem for Weighted Register Automata. | Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata |
| 2019 | LATA | Generalized Register Context-Free Grammars. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2019 | VTC | 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, Takashi Dateki, Hiroyuki Seki |
| 2019 | VTC | 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 |
| 2018 | ICTAC | Complexity Results on Register Context-Free Grammars and Register Tree Automata. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2018 | VTC | 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 |
| 2017 | VTC | 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 |
| 2017 | VTC | 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 |
| 2017 | VTC | 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 |
| 2016 | VTC | Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions. | Nobukazu Fudaba, Tadashi Nakamura, Hiroyuki Seki |
| 2015 | PIMRC | Efficient selection of user sets for downlink non-orthogonal multiple access. | Takashi Seyama, Takashi Dateki, Hiroyuki Seki |
| 2014 | ISITA | Information theoretical evaluation of the bucketing technique to mitigate timing attacks. | Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki |
| 2013 | LATA | Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers. | Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara |
| 2013 | PIMRC | Autonomous downlink interference control for LTE femtocells in residential deployment. | Dai Kimura, Junji Otonari, Hiroyuki Seki |
| 2012 | GLOBECOM | TV white space availability in Japan estimated using D/U-based and I/N-based protection rules. | Teppei Oyama, Tsuyoshi Shimomura, Hiroyuki Seki |
| 2012 | VTC | Analysis of TV White Space Availability in Japan. | Tsuyoshi Shimomura, Teppei Oyama, Hiroyuki Seki |
| 2011 | CCS | Poster: trans-organizational role-based access control. | Ramon Francisco Pacquiao Mejia, Yuichi Kaji, Hiroyuki Seki |
| 2011 | VTC | De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems. | Dai Kimura, Yuya Harada, Hiroyuki Seki |
| 2010 | ATVA | Automatic Generation of History-Based Access Control from Information Flow Specification. | Yoshiaki Takata, Hiroyuki Seki |
| 2010 | LATA | Chomsky-Schtzenberger-Type Characterization of Multiple Context-Free Languages. | Ryo Yoshinaka, Yuichi Kaji, Hiroyuki Seki |
| 2007 | AINA | Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. | Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki |
| 2007 | VTC | Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook. | Masafumi Tsutsui, Hiroyuki Seki |
| 2006 | ESORICS | HBAC: A Model for History-Based Access Control and Its Model Checking. | Jing Wang, Yoshiaki Takata, Hiroyuki Seki |
| 2006 | SACMAT | Integrating presence inference into trust management for ubiquitous systems. | Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki |
| 2005 | ATVA | A Static Analysis Using Tree Automata for XML Access Control. | Isao Yagi, Yoshiaki Takata, Hiroyuki Seki |
| 2004 | PIMRC | Likelihood function for QRM-MLD suitable for soft-decision turbo decoding and its performance for OFCDM MIMO multiplexing in multipath fading channel. | Kenichi Higuchi, Hiroyuki Kawai, Noriyuki Maeda, Mamoru Sawahashi, Takumi Ito, Yoshikazu Kakura, Akihisa Ushirokawa, Hiroyuki Seki |
| 2003 | CONCUR | An Extension of Pushdown System and Its Model Checking Method. | Naoya Nitta, Hiroyuki Seki |
| 2003 | HCI | Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language. | Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki |
| 2003 | PPAM | Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. | Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki |
| 2002 | ICICS | A Specification Language for Distributed Policy Control. | Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki |
| 2001 | CCS | An efficient security verification method for programs with stack inspection. | Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki |
| 2001 | ICICS | An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. | Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue |
| 2001 | SACMAT | Security verification of programs with stack inspection. | Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata |
| 2000 | ER | Flexible Category Structure for Supporting WWW Retrieval. | Yoshiaki Takata, Kokoro Nakagawa, Hiroyuki Seki |
| 1999 | IROS | Estimation of position and orientation of multiple robots handling an unknown single object in coordination. | Kazuhiro Kosuge, Hiroyuki Seki |
| 1998 | ICRA | Calibration of Coordinate System for Decentralized Coordinated Motion Control of Multiple Manipulators. | Kazuhiro Kosuge, Hiroyuki Seki, Tomohiro Oosumi |
| 1997 | ICDT | Type-Consistency Problems for Queries in Object-Oriented Databases. | Yasunori Ishihara, Hiroyuki Seki, Minoru Ito |
| 1997 | IROS | Decentralized control of multiple manipulators handling an object in coordination based on impedance control of each arm. | Kazuhiro Kosuge, Tomohiro Oosumi, Hiroyuki Seki |
| 1993 | ACL | 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 |
| 1993 | RE | A translation method from natural language specifications into formal specifications using contextual dependencies. | Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami |
| 1992 | CAV | A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. | Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami |