Hiroyuki Seki

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 52

Top Venues

IEICE Trans. Inf. Syst.

CoRR

ICTAC

VTC Fall

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)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
Semidirect Product Decompositions for Periodic Regular Languages. CoRR (2024)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
Semidirect Product Decompositions for Periodic Regular Languages. DLT (2024)
So Koide, Yoshiaki Takata, Hiroyuki Seki
Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies. IEICE Trans. Inf. Syst. 107 (3) (2024)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem. CIAA (2023)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
An ambiguity hierarchy of weighted context-free grammars. Theor. Comput. Sci. 974 (2023)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
A game-theoretic approach to indistinguishability of winning objectives as user privacy. CoRR (2023)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
Weighted Multiple Context-Free Grammars. IEICE Trans. Inf. Syst. 106 (3) (2023)
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)
Yuki Yamasaki, Chiaki Doi, Shiori Kitagawa, Hiroyuki Seki, Hiroshi Shigeno
Data Generation With Filtered β-VAE for the Preoperative Prediction of Adverse Events. IEEE Access 11 (2023)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. ICTAC (2023)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Pumping Lemmas for Languages Expressed by Computational Models with Registers. IEICE Trans. Inf. Syst. 106 (3) (2023)
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. CoRR (2022)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity results on register context-free grammars and related formalisms. Theor. Comput. Sci. 923 (2022)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Active Learning for Deterministic Bottom-Up Nominal Tree Automata. ICTAC (2022)
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
Active Learning for Deterministic Bottom-up Nominal Tree Automata. CoRR (2022)
Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
An Ambiguity Hierarchy of Weighted Context-Free Grammars. CIAA (2022)
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. IEICE Trans. Inf. Syst. (9) (2022)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
LTL Model Checking for Register Pushdown Systems. IEICE Trans. Inf. Syst. (12) (2021)
Riku Inada, Chiaki Doi, Yuki Yamasaki, Hiroshi Shigeno, Hiroyuki Seki
Intraoperative Hypotension Prediction System by Considering Personal Lifestyle and Medical History. PerCom Workshops (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Forward Regularity Preservation Property of Register Pushdown Systems. IEICE Trans. Inf. Syst. (3) (2021)
Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
Optimal run problem for weighted register automata. Theor. Comput. Sci. 850 (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Reactive Synthesis from Visibly Register Pushdown Automata. ICTAC (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Generalized Register Context-Free Grammars. IEICE Trans. Inf. Syst. (3) (2020)
Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki
Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35 (6) (2020)
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen
Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming. ICPHM (2020)
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. J. Inf. Process. 28 (2020)
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -. IEICE Trans. Inf. Syst. (10) (2019)
Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
Optimal Run Problem for Weighted Register Automata. ICTAC (2019)
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
Experimental Trials of 5G Ultra High-Density Distributed Antenna Systems. VTC Fall (2019)
Morihiko Minowa, Hiroyuki Seki, Yukihiko Okumura, Satoshi Suyama, Jun Terada, Satoshi Shigematsu, Yasushi Takatori, Hiroaki Asano, Yukio Hirano, Yasushi Yamao, Fumiyuki Adachi, Masataka Nakazawa
5G R&D Activities for High Capacity Technologies with Ultra High-Density Multi-Band and Multi-Access Layered Cells. VTC Spring (2019)
Takaharu Kobayashi, Masafumi Tsutsui, Takashi Dateki, Hiroyuki Seki, Morihiko Minowa, Chiyoshi Akiyama, Tatsuki Okuyama, Jun Mashino, Satoshi Suyama, Yukihiko Okumura
Experimental Study of Large-Scale Coordinated Multi-User MIMO for 5G Ultra High-Density Distributed Antenna Systems. IEICE Trans. Commun. (8) (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Generalized Register Context-Free Grammars. LATA (2019)
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem. CoRR (2019)
Koki Iwai, Chiaki Doi, Nanaka Asai, Hiroshi Shigeno, Satoshi Ideno, Jungo Kato, Takashige Yamada, Hiroshi Morisaki, Hiroyuki Seki
Prediction of Post-induction Hypotension Using Stacking Method. ICMU (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity Results on Register Pushdown Automata. CoRR (2019)
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation. CoRR (2019)
Nanaka Asai, Chiaki Doi, Koki Iwai, Satoshi Ideno, Hiroyuki Seki, Jungo Kato, Takashige Yamada, Hiroshi Morisaki, Hiroshi Shigeno
Proposal of Anesthetic Dose Prediction Model to Avoid Post-induction Hypotension Using Electronic Anesthesia Records. ICMU (2019)
Takeshi Takeda, Kenji Hashimoto, Hiroyuki Seki
Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query. ICCCS (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity Results on Register Context-Free Grammars and Register Tree Automata. ICTAC (2018)
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Counting Algorithms for Recognizable and Algebraic Series. IEICE Trans. Inf. Syst. (6) (2018)
Takashi Seyama, Shinya Kumagai, Teppei Oyama, Daisuke Jitsukawa, Takashi Dateki, Koji Matsuyama, Hiroyuki Seki, Morihiko Minowa
Robust Scheduler Prioritizing UEs with Time-Variant Channels in Small-Delay Slots from Channel Estimation Timing for 5G Large-Scale MU-MIMO. VTC Fall (2018)
Kenji Hashimoto, Ryunosuke Takayama, Hiroyuki Seki
Direct Update of XML Documents with Data Values Compressed by Tree Grammars. IEICE Trans. Inf. Syst. (6) (2018)
Hiroyuki Seki, Masafumi Tsutsui, Morihiko Minowa, Kotaro Shiizaki, Chiyoshi Akiyama, Tatsuki Okuyama, Jun Mashino, Satoshi Suyama, Yukihiko Okumura
Field Experiment of High-Capacity Technologies for 5G Ultra High-Density Distributed Antenna Systems. VTC Spring (2017)
Tatsuki Okuyama, Satoshi Suyama, Jun Mashino, Yukihiko Okumura, Kotaro Shiizaki, Chiyoshi Akiyama, Masafumi Tsutsui, Hiroyuki Seki, Morihiko Minowa
Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments. VTC Fall (2017)
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen
Availability checking of dynamic spatial information for automobiles. ICSRS (2017)
Shinya Kumagai, Takaharu Kobayashi, Daisuke Jitsukawa, Takashi Seyama, Takashi Dateki, Hiroyuki Seki, Koji Matsuyama, Morihiko Minowa
Scheduler Reducing CSI Feedback Overhead and Computational Complexity for 5G Ultra High-Density Distributed Antenna Systems with Hybrid BF. VTC Fall (2017)
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. FTSCS (2016)
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
Query Rewriting for Nondeterministic Tree Transducers. IEICE Trans. Inf. Syst. (6) (2016)
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers. IEICE Trans. Inf. Syst. (3) (2016)
Nobukazu Fudaba, Tadashi Nakamura, Hiroyuki Seki
Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions. VTC Spring (2016)
Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. WPTE@FSCD (2016)
Takashi Seyama, Takashi Dateki, Hiroyuki Seki
Efficient selection of user sets for downlink non-orthogonal multiple access. PIMRC (2015)
Jovilyn Therese B. Fajardo, Keiichi Yasumoto, Hiroyuki Seki
A post-haiyan community level mobility model. ICMU (2015)
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers. IEICE Trans. Inf. Syst. (3) (2015)
Hiroyuki Seki, Fumiyuki Adachi
Centralized Inter-Cell Interference Coordination Using Multi-Band 3D Beam-Switching in Cellular Networks. IEICE Trans. Commun. (7) (2015)
Tsuyoshi Shimomura, Teppei Oyama, Hiroyuki Seki
Analysis of TV White Space Availability in Japan. IEICE Trans. Commun. (2) (2014)
Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki
Information theoretical evaluation of the bucketing technique to mitigate timing attacks. ISITA (2014)
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers. TTATT (2013)
Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers. LATA (2013)
Hiroyuki Seki, Takaharu Kobayashi, Dai Kimura
Selection of Component Carriers Using Centralized Baseband Pooling for LTE-Advanced Heterogeneous Networks. IEICE Trans. Commun. (6) (2013)
Dai Kimura, Junji Otonari, Hiroyuki Seki
Autonomous downlink interference control for LTE femtocells in residential deployment. PIMRC (2013)
Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki
-Secrecy for XML Databases. IEICE Trans. Inf. Syst. (6) (2013)
Teppei Oyama, Tsuyoshi Shimomura, Hiroyuki Seki
TV white space availability in Japan estimated using D/U-based and I/N-based protection rules. GLOBECOM (2012)
Tsuyoshi Shimomura, Teppei Oyama, Hiroyuki Seki
Analysis of TV White Space Availability in Japan. VTC Fall (2012)
Ramon Francisco Pacquiao Mejia, Yuichi Kaji, Hiroyuki Seki
Error Control for High-density Monochrome Two-dimensional Barcodes. Inf. Media Technol. 7 (3) (2012)
Abdeldjalil Aïssa-El-Bey, Dai Kimura, Hiroyuki Seki, Tomohiko Taniguchi
Blind and Semi-Blind Sparse Channel Identification in MIMO OFDM Systems. ICC (2011)
Nobuyoshi Mizoguchi, Yuki Kato, Hiroyuki Seki
A grammar-based approach to RNA pseudoknotted structure prediction for aligned sequences. ICCABS (2011)
Dai Kimura, Yuya Harada, Hiroyuki Seki
De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems. VTC Spring (2011)
Ramon Francisco Pacquiao Mejia, Yuichi Kaji, Hiroyuki Seki
Poster: trans-organizational role-based access control. CCS (2011)
Hiroyuki Seki
Foreword. IEICE Trans. Inf. Syst. (5) (2010)
Yoshiaki Takata, Hiroyuki Seki
Automatic Generation of History-Based Access Control from Information Flow Specification. ATVA (2010)
Ryo Yoshinaka, Yuichi Kaji, Hiroyuki Seki
Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages. LATA (2010)
Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki
A grammatical approach to RNA-RNA interaction prediction. Pattern Recognit. 42 (4) (2009)
Yoshiaki Takata, Hiroyuki Seki
Comparison of the Expressive Power of Language-Based Access Control Models. IEICE Trans. Inf. Syst. (5) (2009)
Yoshiaki Takata, Hiroyuki Seki
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation. IEICE Trans. Inf. Syst. (2) (2009)
Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki
Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction. J. Comput. Biol. 16 (7) (2009)
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation. Inf. Media Technol. 3 (1) (2008)
Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki
Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach. PRIB (2008)
Hiroyuki Seki, Yuki Kato
On the Generative Power of Multiple Context-Free Grammars and Macro Grammars. IEICE Trans. Inf. Syst. (2) (2008)
Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. AINA Workshops (2) (2007)
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
A Static Analysis using Tree Automata for XML Access Control. Inf. Media Technol. 2 (2) (2007)
Yuki Kato, Hiroyuki Seki, Tadao Kasami
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar. Inf. Media Technol. 2 (1) (2007)
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power. IEICE Trans. Inf. Syst. (5) (2007)
Hiroyuki Seki, Masafumi Tsutsui
Throughput Performance of Pre-coding MIMO Transmission with Multi-Beam Selection. ICC (2007)
Masafumi Tsutsui, Hiroyuki Seki
Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook. VTC Spring (2007)
Hitoshi Ohsaki, Hiroyuki Seki
Languages Modulo Normalization. FroCoS (2007)
Chigusa Kita, David L. Ferro, Dag Spicer, Kelly Rodoski, Hiroyuki Seki, Fred R. Shapiro, Thomas J. Bergin
Events and Sightings. IEEE Ann. Hist. Comput. 29 (4) (2007)
Yasunori Ishihara, Toshiyuki Morita, Hiroyuki Seki, Minoru Ito
An equational logic based approach to the security problem against inference attacks on object-oriented databases. J. Comput. Syst. Sci. 73 (5) (2007)
Yuki Kato, Hiroyuki Seki, Tadao Kasami
Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling. TAG (2006)
Naoya Nitta, Hiroyuki Seki
LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations. Inf. Media Technol. 1 (2) (2006)
Jing Wang, Yoshiaki Takata, Hiroyuki Seki
HBAC: A Model for History-Based Access Control and Its Model Checking. ESORICS (2006)
Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki
Integrating presence inference into trust management for ubiquitous systems. SACMAT (2006)
Hiroyuki Kawai, Kenichi Higuchi, Noriyuki Maeda, Mamoru Sawahashi, Takumi Ito, Yoshikazu Kakura, Akihisa Ushirokawa, Hiroyuki Seki
Likelihood Function for QRM-MLD Suitable for Soft-Decision Turbo Decoding and Its Performance for OFCDM MIMO Multiplexing in Multipath Fading Channel. IEICE Trans. Commun. (1) (2005)
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
A Static Analysis Using Tree Automata for XML Access Control. ATVA (2005)
Yuki Kato, Hiroyuki Seki, Tadao Kasami
On the Generative Power of Grammars for RNA Secondary Structure. IEICE Trans. Inf. Syst. (1) (2005)
Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki
Policy Controlled System and Its Model Checking. IEICE Trans. Inf. Syst. (7) (2005)
Jing Wang, Naoya Nitta, Hiroyuki Seki
An Efficient Method for Optimal Probe Deployment of Distributed IDS. IEICE Trans. Inf. Syst. (8) (2005)
Kenichi Higuchi, Hiroyuki Kawai, Noriyuki Maeda, Mamoru Sawahashi, Takumi Ito, Yoshikazu Kakura, Akihisa Ushirokawa, Hiroyuki Seki
Likelihood function for QRM-MLD suitable for soft-decision turbo decoding and its performance for OFCDM MIMO multiplexing in multipath fading channel. PIMRC (2004)
Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki
Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. HICSS (2004)

Hiroyuki Seki.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hiroyuki Seki