![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Hiroyuki Seki
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j57]So Koide, Yoshiaki Takata, Hiroyuki Seki:
Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies. IEICE Trans. Inf. Syst. 107(3): 301-311 (2024) - [c73]Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
Semidirect Product Decompositions for Periodic Regular Languages. DLT 2024: 173-188 - [i8]Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
Semidirect Product Decompositions for Periodic Regular Languages. CoRR abs/2403.05088 (2024) - [i7]Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki:
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata. CoRR abs/2406.11351 (2024) - 2023
- [j56]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: 48667-48676 (2023) - [j55]Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki:
Pumping Lemmas for Languages Expressed by Computational Models with Registers. IEICE Trans. Inf. Syst. 106(3): 284-293 (2023) - [j54]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): 294-302 (2023) - [j53]Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
Weighted Multiple Context-Free Grammars. IEICE Trans. Inf. Syst. 106(3): 309-318 (2023) - [j52]Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
An ambiguity hierarchy of weighted context-free grammars. Theor. Comput. Sci. 974: 114112 (2023) - [c72]Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki:
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. ICTAC 2023: 36-54 - [c71]Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem. CIAA 2023: 166-178 - [i6]Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki:
A game-theoretic approach to indistinguishability of winning objectives as user privacy. CoRR abs/2307.00334 (2023) - 2022
- [j51]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. 105-D(9): 1620-1623 (2022) - [j50]Ryoma Senda, Yoshiaki Takata
, Hiroyuki Seki
:
Complexity results on register context-free grammars and related formalisms. Theor. Comput. Sci. 923: 99-125 (2022) - [c70]Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki:
Active Learning for Deterministic Bottom-Up Nominal Tree Automata. ICTAC 2022: 342-359 - [c69]Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki:
An Ambiguity Hierarchy of Weighted Context-Free Grammars. CIAA 2022: 238-250 - [i5]Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki:
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. CoRR abs/2203.11826 (2022) - [i4]Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki:
Active Learning for Deterministic Bottom-up Nominal Tree Automata. CoRR abs/2208.08319 (2022) - 2021
- [j49]Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
Forward Regularity Preservation Property of Register Pushdown Systems. IEICE Trans. Inf. Syst. 104-D(3): 370-380 (2021) - [j48]Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
LTL Model Checking for Register Pushdown Systems. IEICE Trans. Inf. Syst. 104-D(12): 2131-2144 (2021) - [j47]Hiroyuki Seki
, Reo Yoshimura, Yoshiaki Takata
:
Optimal run problem for weighted register automata. Theor. Comput. Sci. 850: 185-201 (2021) - [c68]Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
Reactive Synthesis from Visibly Register Pushdown Automata. ICTAC 2021: 334-353 - [c67]Riku Inada, Chiaki Doi, Yuki Yamasaki, Hiroshi Shigeno, Hiroyuki Seki:
Intraoperative Hypotension Prediction System by Considering Personal Lifestyle and Medical History. PerCom Workshops 2021: 489-494 - 2020
- [j46]Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
Generalized Register Context-Free Grammars. IEICE Trans. Inf. Syst. 103-D(3): 540-548 (2020) - [j45]Xin Li, Patrick Gardy, Yuxin Deng
, Hiroyuki Seki:
Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35(6): 1295-1311 (2020) - [j44]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: 124-135 (2020) - [c66]Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen:
Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming. ICPHM 2020: 1-8
2010 – 2019
- 2019
- [j43]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. 102-B(8): 1390-1400 (2019) - [j42]Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki:
Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -. IEICE Trans. Inf. Syst. 102-D(10): 1952-1965 (2019) - [c65]Takeshi Takeda, Kenji Hashimoto, Hiroyuki Seki:
Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query. ICCCS 2019: 257-262 - [c64]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: 1-4 - [c63]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: 1-4 - [c62]Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata:
Optimal Run Problem for Weighted Register Automata. ICTAC 2019: 91-110 - [c61]Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
Generalized Register Context-Free Grammars. LATA 2019: 259-271 - [c60]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: 1-5 - [c59]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: 1-5 - [i3]Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki:
Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation. CoRR abs/1903.03802 (2019) - [i2]Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki:
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem. CoRR abs/1905.04409 (2019) - [i1]Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
Complexity Results on Register Pushdown Automata. CoRR abs/1910.10357 (2019) - 2018
- [j41]Kenji Hashimoto, Ryunosuke Takayama, Hiroyuki Seki:
Direct Update of XML Documents with Data Values Compressed by Tree Grammars. IEICE Trans. Inf. Syst. 101-D(6): 1467-1478 (2018) - [j40]Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki:
Counting Algorithms for Recognizable and Algebraic Series. IEICE Trans. Inf. Syst. 101-D(6): 1479-1490 (2018) - [c58]Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
Complexity Results on Register Context-Free Grammars and Register Tree Automata. ICTAC 2018: 415-434 - [c57]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: 1-5 - 2017
- [c56]Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen:
Availability checking of dynamic spatial information for automobiles. ICSRS 2017: 505-511 - [c55]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: 1-5 - [c54]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: 1-5 - [c53]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: 1-5 - 2016
- [j39]Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara:
Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers. IEICE Trans. Inf. Syst. 99-D(3): 575-587 (2016) - [j38]Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki:
Query Rewriting for Nondeterministic Tree Transducers. IEICE Trans. Inf. Syst. 99-D(6): 1410-1419 (2016) - [c52]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: 39-54 - [c51]Nobukazu Fudaba, Tadashi Nakamura, Hiroyuki Seki:
Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions. VTC Spring 2016: 1-5 - [c50]Yutaro Nagae, Masahiko Sakai
, Hiroyuki Seki:
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. WPTE@FSCD 2016: 46-61 - 2015
- [j37]Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki:
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers. IEICE Trans. Inf. Syst. 98-D(3): 512-523 (2015) - [j36]Hiroyuki Seki, Fumiyuki Adachi
:
Centralized Inter-Cell Interference Coordination Using Multi-Band 3D Beam-Switching in Cellular Networks. IEICE Trans. Commun. 98-B(7): 1363-1372 (2015) - [c49]Jovilyn Therese B. Fajardo, Keiichi Yasumoto
, Hiroyuki Seki:
A post-haiyan community level mobility model. ICMU 2015: 70-71 - [c48]Takashi Seyama, Takashi Dateki, Hiroyuki Seki:
Efficient selection of user sets for downlink non-orthogonal multiple access. PIMRC 2015: 1062-1066 - 2014
- [j35]Tsuyoshi Shimomura, Teppei Oyama, Hiroyuki Seki:
Analysis of TV White Space Availability in Japan. IEICE Trans. Commun. 97-B(2): 350-358 (2014) - [c47]Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki:
Information theoretical evaluation of the bucketing technique to mitigate timing attacks. ISITA 2014: 561-565 - 2013
- [j34]Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki:
Deciding Schema k-Secrecy for XML Databases. IEICE Trans. Inf. Syst. 96-D(6): 1268-1277 (2013) - [j33]Hiroyuki Seki, Takaharu Kobayashi, Dai Kimura:
Selection of Component Carriers Using Centralized Baseband Pooling for LTE-Advanced Heterogeneous Networks. IEICE Trans. Commun. 96-B(6): 1288-1296 (2013) - [c46]Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara:
Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers. LATA 2013: 335-346 - [c45]Dai Kimura, Junji Otonari, Hiroyuki Seki:
Autonomous downlink interference control for LTE femtocells in residential deployment. PIMRC 2013: 392-396 - [c44]Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki:
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers. TTATT 2013: 27-37 - 2012
- [j32]Ramon Francisco Pacquiao Mejia, Yuichi Kaji, Hiroyuki Seki:
Error Control for High-density Monochrome Two-dimensional Barcodes. Inf. Media Technol. 7(3): 1136-1144 (2012) - [c43]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: 1302-1307 - [c42]Tsuyoshi Shimomura, Teppei Oyama, Hiroyuki Seki:
Analysis of TV White Space Availability in Japan. VTC Fall 2012: 1-5 - 2011
- [c41]Ramon Francisco Pacquiao Mejia, Yuichi Kaji, Hiroyuki Seki:
Poster: trans-organizational role-based access control. CCS 2011: 817-820 - [c40]Abdeldjalil Aïssa-El-Bey
, Dai Kimura, Hiroyuki Seki, Tomohiko Taniguchi:
Blind and Semi-Blind Sparse Channel Identification in MIMO OFDM Systems. ICC 2011: 1-5 - [c39]Nobuyoshi Mizoguchi, Yuki Kato
, Hiroyuki Seki:
A grammar-based approach to RNA pseudoknotted structure prediction for aligned sequences. ICCABS 2011: 135-140 - [c38]Dai Kimura, Yuya Harada, Hiroyuki Seki:
De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems. VTC Spring 2011: 1-5 - [e1]Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki:
The Mathematics of Language - 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings. Lecture Notes in Computer Science 6878, Springer 2011, ISBN 978-3-642-23210-7 [contents] - 2010
- [j31]Hiroyuki Seki:
Foreword. IEICE Trans. Inf. Syst. 93-D(5): 941 (2010) - [c37]Yoshiaki Takata, Hiroyuki Seki:
Automatic Generation of History-Based Access Control from Information Flow Specification. ATVA 2010: 259-275 - [c36]Ryo Yoshinaka
, Yuichi Kaji, Hiroyuki Seki:
Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages. LATA 2010: 596-607
2000 – 2009
- 2009
- [j30]Yoshiaki Takata, Hiroyuki Seki:
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation. IEICE Trans. Inf. Syst. 92-D(2): 200-210 (2009) - [j29]Yoshiaki Takata, Hiroyuki Seki:
Comparison of the Expressive Power of Language-Based Access Control Models. IEICE Trans. Inf. Syst. 92-D(5): 1033-1036 (2009) - [j28]Yuki Kato
, Tatsuya Akutsu
, Hiroyuki Seki:
Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction. J. Comput. Biol. 16(7): 945-957 (2009) - [j27]Yuki Kato
, Tatsuya Akutsu
, Hiroyuki Seki:
A grammatical approach to RNA-RNA interaction prediction. Pattern Recognit. 42(4): 531-538 (2009) - 2008
- [j26]Hiroyuki Seki, Yuki Kato
:
On the Generative Power of Multiple Context-Free Grammars and Macro Grammars. IEICE Trans. Inf. Syst. 91-D(2): 209-221 (2008) - [j25]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): 165-177 (2008) - [c35]Yuki Kato
, Tatsuya Akutsu, Hiroyuki Seki:
Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach. PRIB 2008: 66-77 - 2007
- [j24]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): 76-81 (2007) - [j23]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. 90-D(5): 799-807 (2007) - [j22]Yuki Kato, Hiroyuki Seki, Tadao Kasami:
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar. Inf. Media Technol. 2(1): 79-88 (2007) - [j21]Isao Yagi, Yoshiaki Takata, Hiroyuki Seki:
A Static Analysis using Tree Automata for XML Access Control. Inf. Media Technol. 2(2): 433-447 (2007) - [j20]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): 788-817 (2007) - [c34]Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki:
Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. AINA Workshops (2) 2007: 479-485 - [c33]Hitoshi Ohsaki, Hiroyuki Seki:
Languages Modulo Normalization. FroCoS 2007: 221-236 - [c32]Hiroyuki Seki, Masafumi Tsutsui:
Throughput Performance of Pre-coding MIMO Transmission with Multi-Beam Selection. ICC 2007: 2785-2790 - [c31]Masafumi Tsutsui, Hiroyuki Seki:
Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook. VTC Spring 2007: 476-480 - 2006
- [j19]Naoya Nitta, Hiroyuki Seki:
LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations. Inf. Media Technol. 1(2): 712-729 (2006) - [c30]Jing Wang, Yoshiaki Takata, Hiroyuki Seki:
HBAC: A Model for History-Based Access Control and Its Model Checking. ESORICS 2006: 263-278 - [c29]Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki:
Integrating presence inference into trust management for ubiquitous systems. SACMAT 2006: 59-68 - [c28]Yuki Kato, Hiroyuki Seki, Tadao Kasami:
Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling. TAG 2006: 57-64 - 2005
- [j18]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. 88-B(1): 47-57 (2005) - [j17]Yuki Kato, Hiroyuki Seki, Tadao Kasami:
On the Generative Power of Grammars for RNA Secondary Structure. IEICE Trans. Inf. Syst. 88-D(1): 53-64 (2005) - [j16]Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki:
Policy Controlled System and Its Model Checking. IEICE Trans. Inf. Syst. 88-D(7): 1685-1696 (2005) - [j15]Jing Wang, Naoya Nitta, Hiroyuki Seki:
An Efficient Method for Optimal Probe Deployment of Distributed IDS. IEICE Trans. Inf. Syst. 88-D(8): 1948-1957 (2005) - [c27]Isao Yagi
, Yoshiaki Takata, Hiroyuki Seki:
A Static Analysis Using Tree Automata for XML Access Control. ATVA 2005: 234-247 - 2004
- [j14]Yasunori Ishihara, Shin Ishii
, Hiroyuki Seki, Minoru Ito:
Temporal Reasoning about Two Concurrent Sequences of Events. SIAM J. Comput. 34(2): 498-513 (2004) - [c26]Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki:
Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. HICSS 2004 - [c25]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: 1142-1148 - [c24]Yuki Kato, Hiroyuki Seki, Tadao Kasami:
Subclasses of Tree Adjoining Grammar for RNA Secondary Structure. TAG+ 2004: 48-55 - 2003
- [c23]Naoya Nitta, Hiroyuki Seki:
An Extension of Pushdown System and Its Model Checking Method. CONCUR 2003: 278-292 - [c22]Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki:
Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language. HCI (4) 2003: 1040-1044 - [c21]Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki:
Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. PPAM 2003: 298-305 - [c20]Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai:
Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. RTA 2003: 483-498 - 2002
- [j13]Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue:
An information-leak analysis system based on program slicing. Inf. Softw. Technol. 44(15): 903-910 (2002) - [c19]Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki:
A Specification Language for Distributed Policy Control. ICICS 2002: 386-398 - [c18]Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji:
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. RTA 2002: 98-113 - 2001
- [j12]Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito:
Refinements of Complexity Results on Type Consistency for Object-Oriented Databases. J. Comput. Syst. Sci. 62(4): 537-564 (2001) - [c17]Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue:
Analysis and Implementation Method of Program to Detect Inappropriate Information Leak. APAQS 2001: 5-12 - [c16]Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki:
An efficient security verification method for programs with stack inspection. CCS 2001: 68-77 - [c15]Hiroyuki Seki, Osama W. Ata, Arogyaswami Paulraj:
Effect of customer premises directional antennas on fixed wireless access systems in the downlink multipath channel. ICC 2001: 2312-2316 - [c14]Osama W. Ata, Hiroyuki Seki, Arogyaswami Paulraj:
Capacity enhancement in quad-sector cell architecture with interleaved channel and polarization assignments. ICC 2001: 2317-2321 - [c13]Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue:
An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. ICICS 2001: 292-303 - [c12]Mizuho Ikeda, Yoshiaki Takata, Hiroyuki Seki:
Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design. ISAS-SCI (1) 2001: 422-428 - [c11]Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata:
Security verification of programs with stack inspection. SACMAT 2001: 31-40 - 2000
- [c10]Yoshiaki Takata, Kokoro Nakagawa, Hiroyuki Seki:
Flexible Category Structure for Supporting WWW Retrieval. ER (Workshops) 2000: 165-177 - [c9]Toshinori Takai, Yuichi Kaji, Hiroyuki Seki:
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. RTA 2000: 246-260
1990 – 1999
- 1999
- [c8]Kazuhiro Kosuge, Hiroyuki Seki:
Estimation of position and orientation of multiple robots handling an unknown single object in coordination. IROS 1999: 984-989 - 1998
- [c7]Kazuhiro Kosuge, Hiroyuki Seki, Tomohiro Oosumi:
Calibration of Coordinate System for Decentralized Coordinated Motion Control of Multiple Manipulators. ICRA 1998: 3297-3302 - 1997
- [c6]Yasunori Ishihara, Hiroyuki Seki, Minoru Ito:
Type-Consistency Problems for Queries in Object-Oriented Databases. ICDT 1997: 364-378 - [c5]Kazuhiro Kosuge, Tomohiro Oosumi, Hiroyuki Seki:
Decentralized control of multiple manipulators handling an object in coordination based on impedance control of each arm. IROS 1997: 17-22 - 1996
- [j11]Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami:
A phase connection method for communication protocols. Syst. Comput. Jpn. 27(10): 33-47 (1996) - 1995
- [c4]Hiroyuki Seki, Yasunori Ishihara, Minoru Ito:
Authorization Analysis of Queries in Object-Oriented Databases. DOOD 1995: 521-538 - 1994
- [j10]Yuichi Kaji, Ryuchi Nakanishi, Hiroyuki Seki, Tadao Kasami:
The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars. Comput. Intell. 10: 440-452 (1994) - 1993
- [c3]Hiroyuki Seki, Ryuichi Nakanishi, Yuichi Kaji, Sachiko Ando, Tadao Kasami:
Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars. ACL 1993: 130-139 - [c2]Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami:
A translation method from natural language specifications into formal specifications using contextual dependencies. RE 1993: 232-239 - 1992
- [j9]Hiroyuki Seki, Tadao Kasami, Eiji Nabika, Takashi Matsumura:
A method for translating natural language program specifications into algebraic specifications. Syst. Comput. Jpn. 23(11): 1-16 (1992) - [c1]Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami:
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV 1992: 384-395 - 1991
- [j8]Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami:
The generative power of multiple context-free grammars and head grammars. Syst. Comput. Jpn. 22(4): 41-56 (1991) - [j7]Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami:
On Multiple Context-Free Grammars. Theor. Comput. Sci. 88(2): 191-229 (1991) - [p1]Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. Software Science and Engineering 1991: 60-77
1980 – 1989
- 1989
- [j6]Tadao Kasami, Hiroyuki Seki, Mamoru Fujii:
Membership problem for head languages and multiple context-free languages. Syst. Comput. Jpn. 20(6): 43-51 (1989) - [j5]Tadao Kasami, Hiroyuki Seki, Mamoru Fujii:
Generalized context-free grammars and multiple context-free grammars. Syst. Comput. Jpn. 20(7): 43-52 (1989) - 1988
- [j4]Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi:
Analysis of Functional Programs to Detect Run-Time Garbage Cells. ACM Trans. Program. Lang. Syst. 10(4): 555-578 (1988) - 1987
- [j3]Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki:
Principles of algebraic language ASL. Syst. Comput. Jpn. 18(7): 11-20 (1987) - 1986
- [j2]Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
Compiling and Optimizing Methods for the Functional Language ASL/F. Sci. Comput. Program. 7(3): 297-312 (1986) - 1985
- [j1]Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami:
Optimization of functional language ASL/F programs. Syst. Comput. Jpn. 16(4): 9-18 (1985)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-02 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint