default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hiroyuki Seki
@article{DBLP:journals/ieicetd/KoideTS24,
author = {So Koide and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Non-Cooperative Rational Synthesis Problem on Stochastic Games for
Positional Strategies},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {107},
number = {3},
pages = {301--311},
year = {2024},
url = {https://doi.org/10.1587/transinf.2023fcp0003},
doi = {10.1587/TRANSINF.2023FCP0003},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/KoideTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/InoueHS24,
author = {Yusuke Inoue and
Kenji Hashimoto and
Hiroyuki Seki},
editor = {Joel D. Day and
Florin Manea},
title = {Semidirect Product Decompositions for Periodic Regular Languages},
booktitle = {Developments in Language Theory - 28th International Conference, {DLT}
2024, G{\"{o}}ttingen, Germany, August 12-16, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14791},
pages = {173--188},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-66159-4\_13},
doi = {10.1007/978-3-031-66159-4\_13},
timestamp = {Tue, 06 Aug 2024 21:14:46 +0200},
biburl = {https://dblp.org/rec/conf/dlt/InoueHS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Seki24,
author = {Hiroyuki Seki},
editor = {Szil{\'{a}}rd Zsolt Fazekas},
title = {Automata and Grammars for Data Words},
booktitle = {Implementation and Application of Automata - 28th International Conference,
{CIAA} 2024, Akita, Japan, September 3-6, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15015},
pages = {3--16},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71112-1\_1},
doi = {10.1007/978-3-031-71112-1\_1},
timestamp = {Wed, 11 Sep 2024 11:32:06 +0200},
biburl = {https://dblp.org/rec/conf/wia/Seki24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-05088,
author = {Yusuke Inoue and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Semidirect Product Decompositions for Periodic Regular Languages},
journal = {CoRR},
volume = {abs/2403.05088},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.05088},
doi = {10.48550/ARXIV.2403.05088},
eprinttype = {arXiv},
eprint = {2403.05088},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-05088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-11351,
author = {Yoshiaki Takata and
Akira Onishi and
Ryoma Senda and
Hiroyuki Seki},
title = {A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to
Buchi Register Automata},
journal = {CoRR},
volume = {abs/2406.11351},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.11351},
doi = {10.48550/ARXIV.2406.11351},
eprinttype = {arXiv},
eprint = {2406.11351},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-11351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YamasakiDKSS23,
author = {Yuki Yamasaki and
Chiaki Doi and
Shiori Kitagawa and
Hiroyuki Seki and
Hiroshi Shigeno},
title = {Data Generation With Filtered {\(\beta\)}-VAE for the Preoperative
Prediction of Adverse Events},
journal = {{IEEE} Access},
volume = {11},
pages = {48667--48676},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3276783},
doi = {10.1109/ACCESS.2023.3276783},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/YamasakiDKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/NakanishiTS23,
author = {Rindo Nakanishi and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Pumping Lemmas for Languages Expressed by Computational Models with
Registers},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {106},
number = {3},
pages = {284--293},
year = {2023},
url = {https://doi.org/10.1587/transinf.2022fcp0004},
doi = {10.1587/TRANSINF.2022FCP0004},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicetd/NakanishiTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/TakataOSS23,
author = {Yoshiaki Takata and
Akira Onishi and
Ryoma Senda and
Hiroyuki Seki},
title = {A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to
Register Automata},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {106},
number = {3},
pages = {294--302},
year = {2023},
url = {https://doi.org/10.1587/transinf.2022fcp0003},
doi = {10.1587/TRANSINF.2022FCP0003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicetd/TakataOSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/InoueHS23,
author = {Yusuke Inoue and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Weighted Multiple Context-Free Grammars},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {106},
number = {3},
pages = {309--318},
year = {2023},
url = {https://doi.org/10.1587/transinf.2022fcp0006},
doi = {10.1587/TRANSINF.2022FCP0006},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicetd/InoueHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/InoueHS23,
author = {Yusuke Inoue and
Kenji Hashimoto and
Hiroyuki Seki},
title = {An ambiguity hierarchy of weighted context-free grammars},
journal = {Theor. Comput. Sci.},
volume = {974},
pages = {114112},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114112},
doi = {10.1016/J.TCS.2023.114112},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/InoueHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/NakanishiTS23,
author = {Rindo Nakanishi and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {A Game-Theoretic Approach to Indistinguishability of Winning Objectives
as User Privacy},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {36--54},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_4},
doi = {10.1007/978-3-031-47963-2\_4},
timestamp = {Fri, 01 Dec 2023 18:39:19 +0100},
biburl = {https://dblp.org/rec/conf/ictac/NakanishiTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/InoueHS23,
author = {Yusuke Inoue and
Kenji Hashimoto and
Hiroyuki Seki},
editor = {Benedek Nagy},
title = {When Is Context-Freeness Distinguishable from Regularity? an Extension
of Parikh's Theorem},
booktitle = {Implementation and Application of Automata - 27th International Conference,
{CIAA} 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14151},
pages = {166--178},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40247-0\_12},
doi = {10.1007/978-3-031-40247-0\_12},
timestamp = {Mon, 14 Aug 2023 16:42:49 +0200},
biburl = {https://dblp.org/rec/conf/wia/InoueHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-00334,
author = {Rindo Nakanishi and
Yoshiaki Takata and
Hiroyuki Seki},
title = {A game-theoretic approach to indistinguishability of winning objectives
as user privacy},
journal = {CoRR},
volume = {abs/2307.00334},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.00334},
doi = {10.48550/ARXIV.2307.00334},
eprinttype = {arXiv},
eprint = {2307.00334},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-00334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/TakataSS22,
author = {Yoshiaki Takata and
Ryoma Senda and
Hiroyuki Seki},
title = {Reduction of Register Pushdown Systems with Freshness Property to
Pushdown Systems in {LTL} Model Checking},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {105-D},
number = {9},
pages = {1620--1623},
year = {2022},
url = {https://doi.org/10.1587/transinf.2022edl8030},
doi = {10.1587/TRANSINF.2022EDL8030},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/TakataSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SendaTS22,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Complexity results on register context-free grammars and related formalisms},
journal = {Theor. Comput. Sci.},
volume = {923},
pages = {99--125},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.04.055},
doi = {10.1016/J.TCS.2022.04.055},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/SendaTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/NakanishiTS22,
author = {Rindo Nakanishi and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Active Learning for Deterministic Bottom-Up Nominal Tree Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {342--359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_22},
doi = {10.1007/978-3-031-17715-6\_22},
timestamp = {Fri, 07 Oct 2022 16:33:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/NakanishiTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/InoueHS22,
author = {Yusuke Inoue and
Kenji Hashimoto and
Hiroyuki Seki},
editor = {Pascal Caron and
Ludovic Mignot},
title = {An Ambiguity Hierarchy of Weighted Context-Free Grammars},
booktitle = {Implementation and Application of Automata - 26th International Conference,
{CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13266},
pages = {238--250},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07469-1\_19},
doi = {10.1007/978-3-031-07469-1\_19},
timestamp = {Fri, 03 Jun 2022 16:42:29 +0200},
biburl = {https://dblp.org/rec/conf/wia/InoueHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-11826,
author = {Yoshiaki Takata and
Ryoma Senda and
Hiroyuki Seki},
title = {Reduction of Register Pushdown Systems with Freshness Property to
Pushdown Systems in {LTL} Model Checking},
journal = {CoRR},
volume = {abs/2203.11826},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.11826},
doi = {10.48550/ARXIV.2203.11826},
eprinttype = {arXiv},
eprint = {2203.11826},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-11826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-08319,
author = {Rindo Nakanishi and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Active Learning for Deterministic Bottom-up Nominal Tree Automata},
journal = {CoRR},
volume = {abs/2208.08319},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.08319},
doi = {10.48550/ARXIV.2208.08319},
eprinttype = {arXiv},
eprint = {2208.08319},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-08319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/SendaTS21,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Forward Regularity Preservation Property of Register Pushdown Systems},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {104-D},
number = {3},
pages = {370--380},
year = {2021},
url = {http://search.ieice.org/bin/summary.php?id=e104-d\_3\_370},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/SendaTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/SendaTS21a,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
title = {{LTL} Model Checking for Register Pushdown Systems},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {104-D},
number = {12},
pages = {2131--2144},
year = {2021},
url = {https://doi.org/10.1587/transinf.2020edp7265},
doi = {10.1587/TRANSINF.2020EDP7265},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicetd/SendaTS21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SekiYT21,
author = {Hiroyuki Seki and
Reo Yoshimura and
Yoshiaki Takata},
title = {Optimal run problem for weighted register automata},
journal = {Theor. Comput. Sci.},
volume = {850},
pages = {185--201},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.11.003},
doi = {10.1016/J.TCS.2020.11.003},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SekiYT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SendaTS21,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {Reactive Synthesis from Visibly Register Pushdown Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {334--353},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_19},
doi = {10.1007/978-3-030-85315-0\_19},
timestamp = {Wed, 25 Aug 2021 09:47:08 +0200},
biburl = {https://dblp.org/rec/conf/ictac/SendaTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/InadaDYSS21,
author = {Riku Inada and
Chiaki Doi and
Yuki Yamasaki and
Hiroshi Shigeno and
Hiroyuki Seki},
title = {Intraoperative Hypotension Prediction System by Considering Personal
Lifestyle and Medical History},
booktitle = {19th {IEEE} International Conference on Pervasive Computing and Communications
Workshops and other Affiliated Events, PerCom Workshops 2021, Kassel,
Germany, March 22-26, 2021},
pages = {489--494},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/PerComWorkshops51409.2021.9430993},
doi = {10.1109/PERCOMWORKSHOPS51409.2021.9430993},
timestamp = {Wed, 02 Jun 2021 11:59:28 +0200},
biburl = {https://dblp.org/rec/conf/percom/InadaDYSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SendaTS20,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Generalized Register Context-Free Grammars},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {103-D},
number = {3},
pages = {540--548},
year = {2020},
url = {http://search.ieice.org/bin/summary.php?id=e103-d\_3\_540},
doi = {10.1587/TRANSINF.2019FCP0010},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/SendaTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/LiGDS20,
author = {Xin Li and
Patrick Gardy and
Yuxin Deng and
Hiroyuki Seki},
title = {Reachability of Patterned Conditional Pushdown Systems},
journal = {J. Comput. Sci. Technol.},
volume = {35},
number = {6},
pages = {1295--1311},
year = {2020},
url = {https://doi.org/10.1007/s11390-020-0541-z},
doi = {10.1007/S11390-020-0541-Z},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/LiGDS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/SatoHSIY20,
author = {Shuichi Sato and
Shogo Hattori and
Hiroyuki Seki and
Yutaka Inamori and
Shoji Yuen},
title = {Automating Time-series Safety Analysis for Automotive Control Systems
Using Weighted Partial Max-SMT},
journal = {J. Inf. Process.},
volume = {28},
pages = {124--135},
year = {2020},
url = {https://doi.org/10.2197/ipsjjip.28.124},
doi = {10.2197/IPSJJIP.28.124},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/SatoHSIY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphm/SatoWSIY20,
author = {Shuichi Sato and
Yosuke Watanabe and
Hiroyuki Seki and
Yoshinao Ishii and
Shoji Yuen},
title = {Fault Diagnosis for Distributed Cooperative System Using Inductive
Logic Programming},
booktitle = {{IEEE} International Conference on Prognostics and Health Management,
{ICPHM} 2020, Detroit, MI, USA, June 8-10, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICPHM49022.2020.9187032},
doi = {10.1109/ICPHM49022.2020.9187032},
timestamp = {Tue, 22 Sep 2020 11:57:51 +0200},
biburl = {https://dblp.org/rec/conf/icphm/SatoWSIY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KobayashiTDSMAO19,
author = {Takaharu Kobayashi and
Masafumi Tsutsui and
Takashi Dateki and
Hiroyuki Seki and
Morihiko Minowa and
Chiyoshi Akiyama and
Tatsuki Okuyama and
Jun Mashino and
Satoshi Suyama and
Yukihiko Okumura},
title = {Experimental Study of Large-Scale Coordinated Multi-User {MIMO} for
5G Ultra High-Density Distributed Antenna Systems},
journal = {{IEICE} Trans. Commun.},
volume = {102-B},
number = {8},
pages = {1390--1400},
year = {2019},
url = {https://doi.org/10.1587/transcom.2018TTP0012},
doi = {10.1587/TRANSCOM.2018TTP0012},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/KobayashiTDSMAO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ChuHS19,
author = {Bao Trung Chu and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based
Calculation -},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {102-D},
number = {10},
pages = {1952--1965},
year = {2019},
url = {https://doi.org/10.1587/transinf.2019EDP7132},
doi = {10.1587/TRANSINF.2019EDP7132},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/ChuHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccoms/TakedaHS19,
author = {Takeshi Takeda and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Graph Compression by Tree Grammars and Direct Evaluation of Regular
Path Query},
booktitle = {{IEEE} 4th International Conference on Computer and Communication
Systems, {ICCCS} 2019, Singapore, February 23-25, 2019},
pages = {257--262},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CCOMS.2019.8821730},
doi = {10.1109/CCOMS.2019.8821730},
timestamp = {Sun, 08 Aug 2021 01:40:50 +0200},
biburl = {https://dblp.org/rec/conf/ccoms/TakedaHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmu/AsaiDIISKYMS19,
author = {Nanaka Asai and
Chiaki Doi and
Koki Iwai and
Satoshi Ideno and
Hiroyuki Seki and
Jungo Kato and
Takashige Yamada and
Hiroshi Morisaki and
Hiroshi Shigeno},
title = {Proposal of Anesthetic Dose Prediction Model to Avoid Post-induction
Hypotension Using Electronic Anesthesia Records},
booktitle = {Twelfth International Conference on Mobile Computing and Ubiquitous
Network, {ICMU} 2019, Kathmandu, Nepal, November 4-6, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ICMU48249.2019.9006672},
doi = {10.23919/ICMU48249.2019.9006672},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmu/AsaiDIISKYMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmu/IwaiDASIKYMS19,
author = {Koki Iwai and
Chiaki Doi and
Nanaka Asai and
Hiroshi Shigeno and
Satoshi Ideno and
Jungo Kato and
Takashige Yamada and
Hiroshi Morisaki and
Hiroyuki Seki},
title = {Prediction of Post-induction Hypotension Using Stacking Method},
booktitle = {Twelfth International Conference on Mobile Computing and Ubiquitous
Network, {ICMU} 2019, Kathmandu, Nepal, November 4-6, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ICMU48249.2019.9006639},
doi = {10.23919/ICMU48249.2019.9006639},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmu/IwaiDASIKYMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SekiYT19,
author = {Hiroyuki Seki and
Reo Yoshimura and
Yoshiaki Takata},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Optimal Run Problem for Weighted Register Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {91--110},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_6},
doi = {10.1007/978-3-030-32505-3\_6},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/ictac/SekiYT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/SendaTS19,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {Generalized Register Context-Free Grammars},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {259--271},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_19},
doi = {10.1007/978-3-030-13435-8\_19},
timestamp = {Tue, 03 Mar 2020 11:22:06 +0100},
biburl = {https://dblp.org/rec/conf/lata/SendaTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/KumagaiMOMSOKOA19,
author = {Shinya Kumagai and
Morihiko Minowa and
Tatsuki Okuyama and
Jun Mashino and
Satoshi Suyama and
Yukihiko Okumura and
Takaharu Kobayashi and
Teppei Oyama and
Chiyoshi Akiyama and
Masafumi Tsutsui and
Daisuke Jitsukawa and
Takashi Seyama and
Takashi Dateki and
Hiroyuki Seki},
title = {Experimental Trials of 5G Ultra High-Density Distributed Antenna Systems},
booktitle = {90th {IEEE} Vehicular Technology Conference, {VTC} Fall 2019, Honolulu,
HI, USA, September 22-25, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/VTCFall.2019.8891604},
doi = {10.1109/VTCFALL.2019.8891604},
timestamp = {Mon, 20 Dec 2021 11:29:04 +0100},
biburl = {https://dblp.org/rec/conf/vtc/KumagaiMOMSOKOA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/MinowaSOSTSTAHY19,
author = {Morihiko Minowa and
Hiroyuki Seki and
Yukihiko Okumura and
Satoshi Suyama and
Jun Terada and
Satoshi Shigematsu and
Yasushi Takatori and
Hiroaki Asano and
Yukio Hirano and
Yasushi Yamao and
Fumiyuki Adachi and
Masataka Nakazawa},
title = {5G R{\&}D Activities for High Capacity Technologies with Ultra
High-Density Multi-Band and Multi-Access Layered Cells},
booktitle = {89th {IEEE} Vehicular Technology Conference, {VTC} Spring 2019, Kuala
Lumpur, Malaysia, April 28 - May 1, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/VTCSpring.2019.8746622},
doi = {10.1109/VTCSPRING.2019.8746622},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/MinowaSOSTSTAHY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-03802,
author = {Bao Trung Chu and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based
Calculation},
journal = {CoRR},
volume = {abs/1903.03802},
year = {2019},
url = {http://arxiv.org/abs/1903.03802},
eprinttype = {arXiv},
eprint = {1903.03802},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-03802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-04409,
author = {Bao Trung Chu and
Kenji Hashimoto and
Hiroyuki Seki},
title = {On the Compositionality of Dynamic Leakage and Its Application to
the Quantification Problem},
journal = {CoRR},
volume = {abs/1905.04409},
year = {2019},
url = {http://arxiv.org/abs/1905.04409},
eprinttype = {arXiv},
eprint = {1905.04409},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10357,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Complexity Results on Register Pushdown Automata},
journal = {CoRR},
volume = {abs/1910.10357},
year = {2019},
url = {http://arxiv.org/abs/1910.10357},
eprinttype = {arXiv},
eprint = {1910.10357},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HashimotoTS18,
author = {Kenji Hashimoto and
Ryunosuke Takayama and
Hiroyuki Seki},
title = {Direct Update of {XML} Documents with Data Values Compressed by Tree
Grammars},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {101-D},
number = {6},
pages = {1467--1478},
year = {2018},
url = {https://doi.org/10.1587/transinf.2017FOP0002},
doi = {10.1587/TRANSINF.2017FOP0002},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/HashimotoTS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ChuHS18,
author = {Bao Trung Chu and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Counting Algorithms for Recognizable and Algebraic Series},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {101-D},
number = {6},
pages = {1479--1490},
year = {2018},
url = {https://doi.org/10.1587/transinf.2017FOP0003},
doi = {10.1587/TRANSINF.2017FOP0003},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ChuHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SendaTS18,
author = {Ryoma Senda and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Complexity Results on Register Context-Free Grammars and Register
Tree Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {415--434},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_22},
doi = {10.1007/978-3-030-02508-3\_22},
timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
biburl = {https://dblp.org/rec/conf/ictac/SendaTS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/SeyamaKOJDMSM18,
author = {Takashi Seyama and
Shinya Kumagai and
Teppei Oyama and
Daisuke Jitsukawa and
Takashi Dateki and
Koji Matsuyama and
Hiroyuki Seki and
Morihiko Minowa},
title = {Robust Scheduler Prioritizing UEs with Time-Variant Channels in Small-Delay
Slots from Channel Estimation Timing for 5G Large-Scale {MU-MIMO}},
booktitle = {88th {IEEE} Vehicular Technology Conference, {VTC} Fall 2018, Chicago,
IL, USA, August 27-30, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/VTCFall.2018.8690898},
doi = {10.1109/VTCFALL.2018.8690898},
timestamp = {Mon, 20 Dec 2021 11:29:23 +0100},
biburl = {https://dblp.org/rec/conf/vtc/SeyamaKOJDMSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/SatoWSY17,
author = {Shuichi Sato and
Yosuke Watanabe and
Hiroyuki Seki and
Shoji Yuen},
title = {Availability checking of dynamic spatial information for automobiles},
booktitle = {2nd International Conference on System Reliability and Safety, {ICSRS}
2017, Milan, Italy, December 20-22, 2017},
pages = {505--511},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICSRS.2017.8272873},
doi = {10.1109/ICSRS.2017.8272873},
timestamp = {Tue, 11 Jan 2022 13:19:37 +0100},
biburl = {https://dblp.org/rec/conf/icsrs/SatoWSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/KumagaiKJSDSMM17,
author = {Shinya Kumagai and
Takaharu Kobayashi and
Daisuke Jitsukawa and
Takashi Seyama and
Takashi Dateki and
Hiroyuki Seki and
Koji Matsuyama and
Morihiko Minowa},
title = {Scheduler Reducing {CSI} Feedback Overhead and Computational Complexity
for 5G Ultra High-Density Distributed Antenna Systems with Hybrid
{BF}},
booktitle = {86th {IEEE} Vehicular Technology Conference, {VTC} Fall 2017, Toronto,
ON, Canada, September 24-27, 2017},
pages = {1--5},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/VTCFall.2017.8288099},
doi = {10.1109/VTCFALL.2017.8288099},
timestamp = {Mon, 20 Dec 2021 11:29:16 +0100},
biburl = {https://dblp.org/rec/conf/vtc/KumagaiKJSDSMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/OkuyamaSMOSATSM17,
author = {Tatsuki Okuyama and
Satoshi Suyama and
Jun Mashino and
Yukihiko Okumura and
Kotaro Shiizaki and
Chiyoshi Akiyama and
Masafumi Tsutsui and
Hiroyuki Seki and
Morihiko Minowa},
title = {Antenna Deployment of 5G Ultra High-Density Distributed Massive {MIMO}
by Low-SHF-Band Indoor and Outdoor Experiments},
booktitle = {86th {IEEE} Vehicular Technology Conference, {VTC} Fall 2017, Toronto,
ON, Canada, September 24-27, 2017},
pages = {1--5},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/VTCFall.2017.8288005},
doi = {10.1109/VTCFALL.2017.8288005},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vtc/OkuyamaSMOSATSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/SekiTMSAOMSO17,
author = {Hiroyuki Seki and
Masafumi Tsutsui and
Morihiko Minowa and
Kotaro Shiizaki and
Chiyoshi Akiyama and
Tatsuki Okuyama and
Jun Mashino and
Satoshi Suyama and
Yukihiko Okumura},
title = {Field Experiment of High-Capacity Technologies for 5G Ultra High-Density
Distributed Antenna Systems},
booktitle = {85th {IEEE} Vehicular Technology Conference, {VTC} Spring 2017, Sydney,
Australia, June 4-7, 2017},
pages = {1--5},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/VTCSpring.2017.8108652},
doi = {10.1109/VTCSPRING.2017.8108652},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/vtc/SekiTMSAOMSO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HashimotoSISF16,
author = {Kenji Hashimoto and
Ryuta Sawada and
Yasunori Ishihara and
Hiroyuki Seki and
Toru Fujiwara},
title = {Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {99-D},
number = {3},
pages = {575--587},
year = {2016},
url = {https://doi.org/10.1587/transinf.2015FCP0015},
doi = {10.1587/TRANSINF.2015FCP0015},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/HashimotoSISF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MiyaharaHS16,
author = {Kazuki Miyahara and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Query Rewriting for Nondeterministic Tree Transducers},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {99-D},
number = {6},
pages = {1410--1419},
year = {2016},
url = {https://doi.org/10.1587/transinf.2015FOP0007},
doi = {10.1587/TRANSINF.2015FOP0007},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/MiyaharaHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SatoHSIY16,
author = {Shuichi Sato and
Shogo Hattori and
Hiroyuki Seki and
Yutaka Inamori and
Shoji Yuen},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Automating Time Series Safety Analysis for Automotive Control Systems
in {STPA} Using Weighted Partial Max-SMT},
booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {694},
pages = {39--54},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-53946-1\_3},
doi = {10.1007/978-3-319-53946-1\_3},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/SatoHSIY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/FudabaNS16,
author = {Nobukazu Fudaba and
Tadashi Nakamura and
Hiroyuki Seki},
title = {Investigation of a Femto-DAS Hybrid System for In-Building Wireless
Solutions},
booktitle = {{IEEE} 83rd Vehicular Technology Conference, {VTC} Spring 2016, Nanjing,
China, May 15-18, 2016},
pages = {1--5},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/VTCSpring.2016.7504300},
doi = {10.1109/VTCSPRING.2016.7504300},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/vtc/FudabaNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NagaeSS17,
author = {Yutaro Nagae and
Masahiko Sakai and
Hiroyuki Seki},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {An Extension of Proof Graphs for Disjunctive Parameterised Boolean
Equation Systems},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {46--61},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.4},
doi = {10.4204/EPTCS.235.4},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NagaeSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/MiyaharaHS15,
author = {Kazuki Miyahara and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Node Query Preservation for Deterministic Linear Top-Down Tree Transducers},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {98-D},
number = {3},
pages = {512--523},
year = {2015},
url = {https://doi.org/10.1587/transinf.2014FCP0014},
doi = {10.1587/TRANSINF.2014FCP0014},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/MiyaharaHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SekiA15,
author = {Hiroyuki Seki and
Fumiyuki Adachi},
title = {Centralized Inter-Cell Interference Coordination Using Multi-Band
3D Beam-Switching in Cellular Networks},
journal = {{IEICE} Trans. Commun.},
volume = {98-B},
number = {7},
pages = {1363--1372},
year = {2015},
url = {https://doi.org/10.1587/transcom.E98.B.1363},
doi = {10.1587/TRANSCOM.E98.B.1363},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SekiA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmu/FajardoYS15,
author = {Jovilyn Therese B. Fajardo and
Keiichi Yasumoto and
Hiroyuki Seki},
title = {A post-haiyan community level mobility model},
booktitle = {Eighth International Conference on Mobile Computing and Ubiquitous
Networking, {ICMU} 2015, Hakodate, Japan, January 20-22, 2015},
pages = {70--71},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICMU.2015.7061034},
doi = {10.1109/ICMU.2015.7061034},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmu/FajardoYS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/SeyamaDS15,
author = {Takashi Seyama and
Takashi Dateki and
Hiroyuki Seki},
title = {Efficient selection of user sets for downlink non-orthogonal multiple
access},
booktitle = {26th {IEEE} Annual International Symposium on Personal, Indoor, and
Mobile Radio Communications, {PIMRC} 2015, Hong Kong, China, August
30 - September 2, 2015},
pages = {1062--1066},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/PIMRC.2015.7343455},
doi = {10.1109/PIMRC.2015.7343455},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/pimrc/SeyamaDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ShimomuraOS14,
author = {Tsuyoshi Shimomura and
Teppei Oyama and
Hiroyuki Seki},
title = {Analysis of {TV} White Space Availability in Japan},
journal = {{IEICE} Trans. Commun.},
volume = {97-B},
number = {2},
pages = {350--358},
year = {2014},
url = {https://doi.org/10.1587/transcom.E97.B.350},
doi = {10.1587/TRANSCOM.E97.B.350},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ShimomuraOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isita/KobayashiKS14,
author = {Yasuyuki Kobayashi and
Yuichi Kaji and
Hiroyuki Seki},
title = {Information theoretical evaluation of the bucketing technique to mitigate
timing attacks},
booktitle = {International Symposium on Information Theory and its Applications,
{ISITA} 2014, Melbourne, Australia, October 26-29, 2014},
pages = {561--565},
publisher = {{IEEE}},
year = {2014},
url = {https://ieeexplore.ieee.org/document/6979906/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isita/KobayashiKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/PhonharathHS13,
author = {Chittaphone Phonharath and
Kenji Hashimoto and
Hiroyuki Seki},
title = {Deciding Schema \emph{k}-Secrecy for {XML} Databases},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {96-D},
number = {6},
pages = {1268--1277},
year = {2013},
url = {https://doi.org/10.1587/transinf.E96.D.1268},
doi = {10.1587/TRANSINF.E96.D.1268},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/PhonharathHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SekiKK13,
author = {Hiroyuki Seki and
Takaharu Kobayashi and
Dai Kimura},
title = {Selection of Component Carriers Using Centralized Baseband Pooling
for LTE-Advanced Heterogeneous Networks},
journal = {{IEICE} Trans. Commun.},
volume = {96-B},
number = {6},
pages = {1288--1296},
year = {2013},
url = {https://doi.org/10.1587/transcom.E96.B.1288},
doi = {10.1587/TRANSCOM.E96.B.1288},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SekiKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/HashimotoSISF13,
author = {Kenji Hashimoto and
Ryuta Sawada and
Yasunori Ishihara and
Hiroyuki Seki and
Toru Fujiwara},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {335--346},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_30},
doi = {10.1007/978-3-642-37064-9\_30},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/HashimotoSISF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/KimuraOS13,
author = {Dai Kimura and
Junji Otonari and
Hiroyuki Seki},
title = {Autonomous downlink interference control for {LTE} femtocells in residential
deployment},
booktitle = {24th {IEEE} Annual International Symposium on Personal, Indoor, and
Mobile Radio Communications, {PIMRC} 2013, London, United Kingdom,
September 8-11, 2013},
pages = {392--396},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/PIMRC.2013.6666167},
doi = {10.1109/PIMRC.2013.6666167},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/pimrc/KimuraOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MiyaharaHS13,
author = {Kazuki Miyahara and
Kenji Hashimoto and
Hiroyuki Seki},
editor = {Sebastian Maneth},
title = {Node Query Preservation for Deterministic Linear Top-Down Tree Transducers},
booktitle = {Proceedings Second International Workshop on Trends in Tree Automata
and Tree Transducers, {TTATT} 2013, Hanoi, Vietnam, 19/10/2013},
series = {{EPTCS}},
volume = {134},
pages = {27--37},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.134.4},
doi = {10.4204/EPTCS.134.4},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiyaharaHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/MejiaKS12,
author = {Ramon Francisco Pacquiao Mejia and
Yuichi Kaji and
Hiroyuki Seki},
title = {Error Control for High-density Monochrome Two-dimensional Barcodes},
journal = {Inf. Media Technol.},
volume = {7},
number = {3},
pages = {1136--1144},
year = {2012},
url = {https://doi.org/10.11185/imt.7.1136},
doi = {10.11185/IMT.7.1136},
timestamp = {Sat, 31 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/MejiaKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/OyamaSS12,
author = {Teppei Oyama and
Tsuyoshi Shimomura and
Hiroyuki Seki},
title = {{TV} white space availability in Japan estimated using D/U-based and
I/N-based protection rules},
booktitle = {2012 {IEEE} Global Communications Conference, {GLOBECOM} 2012, Anaheim,
CA, USA, December 3-7, 2012},
pages = {1302--1307},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/GLOCOM.2012.6503293},
doi = {10.1109/GLOCOM.2012.6503293},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/globecom/OyamaSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/ShimomuraOS12,
author = {Tsuyoshi Shimomura and
Teppei Oyama and
Hiroyuki Seki},
title = {Analysis of {TV} White Space Availability in Japan},
booktitle = {Proceedings of the 76th {IEEE} Vehicular Technology Conference, {VTC}
Fall 2012, Quebec City, QC, Canada, September 3-6, 2012},
pages = {1--5},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/VTCFall.2012.6399270},
doi = {10.1109/VTCFALL.2012.6399270},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/vtc/ShimomuraOS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/MejiaKS11,
author = {Ramon Francisco Pacquiao Mejia and
Yuichi Kaji and
Hiroyuki Seki},
editor = {Yan Chen and
George Danezis and
Vitaly Shmatikov},
title = {Poster: trans-organizational role-based access control},
booktitle = {Proceedings of the 18th {ACM} Conference on Computer and Communications
Security, {CCS} 2011, Chicago, Illinois, USA, October 17-21, 2011},
pages = {817--820},
publisher = {{ACM}},
year = {2011},
url = {https://dl.acm.org/citation.cfm?id=2093501},
timestamp = {Tue, 10 Nov 2020 19:56:39 +0100},
biburl = {https://dblp.org/rec/conf/ccs/MejiaKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/Aissa-El-BeyKST11,
author = {Abdeldjalil A{\"{\i}}ssa{-}El{-}Bey and
Dai Kimura and
Hiroyuki Seki and
Tomohiko Taniguchi},
title = {Blind and Semi-Blind Sparse Channel Identification in {MIMO} {OFDM}
Systems},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2011, Kyoto, Japan, 5-9 June, 2011},
pages = {1--5},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/icc.2011.5962968},
doi = {10.1109/ICC.2011.5962968},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/Aissa-El-BeyKST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccabs/MizoguchiKS11,
author = {Nobuyoshi Mizoguchi and
Yuki Kato and
Hiroyuki Seki},
editor = {Ion I. Mandoiu and
Satoru Miyano and
Teresa M. Przytycka and
Sanguthevar Rajasekaran},
title = {A grammar-based approach to {RNA} pseudoknotted structure prediction
for aligned sequences},
booktitle = {{IEEE} 1st International Conference on Computational Advances in Bio
and Medical Sciences, {ICCABS} 2011, Orlando, FL, USA, February 3-5,
2011},
pages = {135--140},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICCABS.2011.5729868},
doi = {10.1109/ICCABS.2011.5729868},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccabs/MizoguchiKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/KimuraHS11,
author = {Dai Kimura and
Yuya Harada and
Hiroyuki Seki},
title = {De-Centralized Dynamic {ICIC} Using {X2} Interfaces for Downlink {LTE}
Systems},
booktitle = {Proceedings of the 73rd {IEEE} Vehicular Technology Conference, {VTC}
Spring 2011, 15-18 May 2011, Budapest, Hungary},
pages = {1--5},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/VETECS.2011.5956164},
doi = {10.1109/VETECS.2011.5956164},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/KimuraHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mol/2011,
editor = {Makoto Kanazawa and
Andr{\'{a}}s Kornai and
Marcus Kracht and
Hiroyuki Seki},
title = {The Mathematics of Language - 12th Biennial Conference, {MOL} 12,
Nara, Japan, September 6-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6878},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23211-4},
doi = {10.1007/978-3-642-23211-4},
isbn = {978-3-642-23210-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mol/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Seki10,
author = {Hiroyuki Seki},
title = {Foreword},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {5},
pages = {941},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.941},
doi = {10.1587/TRANSINF.E93.D.941},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/Seki10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TakataS10,
author = {Yoshiaki Takata and
Hiroyuki Seki},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Automatic Generation of History-Based Access Control from Information
Flow Specification},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {259--275},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_20},
doi = {10.1007/978-3-642-15643-4\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/TakataS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/YoshinakaKS10,
author = {Ryo Yoshinaka and
Yuichi Kaji and
Hiroyuki Seki},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Chomsky-Sch{\"{u}}tzenberger-Type Characterization of Multiple
Context-Free Languages},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {596--607},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_50},
doi = {10.1007/978-3-642-13089-2\_50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/YoshinakaKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/TakataS09,
author = {Yoshiaki Takata and
Hiroyuki Seki},
title = {Formal Language Theoretic Approach to the Disclosure Tree Strategy
in Trust Negotiation},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {2},
pages = {200--210},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.200},
doi = {10.1587/TRANSINF.E92.D.200},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/TakataS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/TakataS09a,
author = {Yoshiaki Takata and
Hiroyuki Seki},
title = {Comparison of the Expressive Power of Language-Based Access Control
Models},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {5},
pages = {1033--1036},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.1033},
doi = {10.1587/TRANSINF.E92.D.1033},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/TakataS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/KatoAS09,
author = {Yuki Kato and
Tatsuya Akutsu and
Hiroyuki Seki},
title = {Dynamic Programming Algorithms and Grammatical Modeling for Protein
Beta-Sheet Prediction},
journal = {J. Comput. Biol.},
volume = {16},
number = {7},
pages = {945--957},
year = {2009},
url = {https://doi.org/10.1089/cmb.2008.0228},
doi = {10.1089/CMB.2008.0228},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcb/KatoAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/KatoAS09,
author = {Yuki Kato and
Tatsuya Akutsu and
Hiroyuki Seki},
title = {A grammatical approach to {RNA-RNA} interaction prediction},
journal = {Pattern Recognit.},
volume = {42},
number = {4},
pages = {531--538},
year = {2009},
url = {https://doi.org/10.1016/j.patcog.2008.08.004},
doi = {10.1016/J.PATCOG.2008.08.004},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pr/KatoAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SekiK08,
author = {Hiroyuki Seki and
Yuki Kato},
title = {On the Generative Power of Multiple Context-Free Grammars and Macro
Grammars},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {91-D},
number = {2},
pages = {209--221},
year = {2008},
url = {https://doi.org/10.1093/ietisy/e91-d.2.209},
doi = {10.1093/IETISY/E91-D.2.209},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SekiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/MohriYTS08,
author = {Hisashi Mohri and
Ikuya Yasuda and
Yoshiaki Takata and
Hiroyuki Seki},
title = {New Certificate Chain Discovery Methods for Trust Establishment in
Ad Hoc Networks and Their Evaluation},
journal = {Inf. Media Technol.},
volume = {3},
number = {1},
pages = {165--177},
year = {2008},
url = {https://doi.org/10.11185/imt.3.165},
doi = {10.11185/IMT.3.165},
timestamp = {Wed, 28 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/MohriYTS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prib/KatoAS08,
author = {Yuki Kato and
Tatsuya Akutsu and
Hiroyuki Seki},
editor = {Madhu Chetty and
Alioune Ngom and
Shandar Ahmad},
title = {Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical
Approach},
booktitle = {Pattern Recognition in Bioinformatics, Third {IAPR} International
Conference, {PRIB} 2008, Melbourne, Australia, October 15-17, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5265},
pages = {66--77},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88436-1\_6},
doi = {10.1007/978-3-540-88436-1\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prib/KatoAS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/KitaFSRSSB07,
author = {Chigusa Kita and
David L. Ferro and
Dag Spicer and
Kelly Rodoski and
Hiroyuki Seki and
Fred R. Shapiro and
Thomas J. Bergin},
title = {Events and Sightings},
journal = {{IEEE} Ann. Hist. Comput.},
volume = {29},
number = {4},
pages = {76--81},
year = {2007},
url = {http://doi.ieeecomputersociety.org/10.1109/MAHC.2007.57},
doi = {10.1109/MAHC.2007.57},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/annals/KitaFSRSSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/YagiTS07,
author = {Isao Yagi and
Yoshiaki Takata and
Hiroyuki Seki},
title = {A Labeled Transition Model {A-LTS} for History-Based Aspect Weaving
and Its Expressive Power},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {90-D},
number = {5},
pages = {799--807},
year = {2007},
url = {https://doi.org/10.1093/ietisy/e90-d.5.799},
doi = {10.1093/IETISY/E90-D.5.799},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/YagiTS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/KatoSK07,
author = {Yuki Kato and
Hiroyuki Seki and
Tadao Kasami},
title = {{RNA} Pseudoknotted Structure Prediction Using Stochastic Multiple
Context-Free Grammar},
journal = {Inf. Media Technol.},
volume = {2},
number = {1},
pages = {79--88},
year = {2007},
url = {https://doi.org/10.11185/imt.2.79},
doi = {10.11185/IMT.2.79},
timestamp = {Tue, 27 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/KatoSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/YagiTS07,
author = {Isao Yagi and
Yoshiaki Takata and
Hiroyuki Seki},
title = {A Static Analysis using Tree Automata for {XML} Access Control},
journal = {Inf. Media Technol.},
volume = {2},
number = {2},
pages = {433--447},
year = {2007},
url = {https://doi.org/10.11185/imt.2.433},
doi = {10.11185/IMT.2.433},
timestamp = {Tue, 27 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/YagiTS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/IshiharaMSI07,
author = {Yasunori Ishihara and
Toshiyuki Morita and
Hiroyuki Seki and
Minoru Ito},
title = {An equational logic based approach to the security problem against
inference attacks on object-oriented databases},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {5},
pages = {788--817},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2007.01.001},
doi = {10.1016/J.JCSS.2007.01.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/IshiharaMSI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MohriYTS07,
author = {Hisashi Mohri and
Ikuya Yasuda and
Yoshiaki Takata and
Hiroyuki Seki},
title = {Certificate Chain Discovery in Web of Trust for Ad Hoc Networks},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), Workshops Proceedings, Volume 2, May 21-23,
2007, Niagara Falls, Canada},
pages = {479--485},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINAW.2007.118},
doi = {10.1109/AINAW.2007.118},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/MohriYTS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/OhsakiS07,
author = {Hitoshi Ohsaki and
Hiroyuki Seki},
editor = {Boris Konev and
Frank Wolter},
title = {Languages Modulo Normalization},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {221--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_15},
doi = {10.1007/978-3-540-74621-8\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/OhsakiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/SekiT07,
author = {Hiroyuki Seki and
Masafumi Tsutsui},
title = {Throughput Performance of Pre-coding {MIMO} Transmission with Multi-Beam
Selection},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2007, Glasgow, Scotland, UK, 24-28 June 2007},
pages = {2785--2790},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICC.2007.463},
doi = {10.1109/ICC.2007.463},
timestamp = {Tue, 19 Jun 2018 07:53:33 +0200},
biburl = {https://dblp.org/rec/conf/icc/SekiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/TsutsuiS07,
author = {Masafumi Tsutsui and
Hiroyuki Seki},
title = {Throughput Performance of Downlink {MIMO} Transmission with Multi-Beam
Selection using a Novel Codebook},
booktitle = {Proceedings of the 65th {IEEE} Vehicular Technology Conference, {VTC}
Spring 2007, 22-25 April 2007, Dublin, Ireland},
pages = {476--480},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/VETECS.2007.109},
doi = {10.1109/VETECS.2007.109},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/TsutsuiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/NittaS06,
author = {Naoya Nitta and
Hiroyuki Seki},
title = {{LTL} Model Checking for Extended Pushdown Systems with Regular Tree
Valuations},
journal = {Inf. Media Technol.},
volume = {1},
number = {2},
pages = {712--729},
year = {2006},
url = {https://doi.org/10.11185/imt.1.712},
doi = {10.11185/IMT.1.712},
timestamp = {Mon, 26 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/NittaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/WangTS06,
author = {Jing Wang and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Dieter Gollmann and
Jan Meier and
Andrei Sabelfeld},
title = {{HBAC:} {A} Model for History-Based Access Control and Its Model Checking},
booktitle = {Computer Security - {ESORICS} 2006, 11th European Symposium on Research
in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4189},
pages = {263--278},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11863908\_17},
doi = {10.1007/11863908\_17},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/WangTS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/NodaTHMTS06,
author = {Jun Noda and
Mie Takahashi and
Itaru Hosomi and
Hisashi Mouri and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {David F. Ferraiolo and
Indrakshi Ray},
title = {Integrating presence inference into trust management for ubiquitous
systems},
booktitle = {11th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2006, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings},
pages = {59--68},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133058.1133068},
doi = {10.1145/1133058.1133068},
timestamp = {Tue, 06 Nov 2018 16:57:59 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/NodaTHMTS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/KatoSK06,
author = {Yuki Kato and
Hiroyuki Seki and
Tadao Kasami},
editor = {Tilman Becker and
Laura Kallmeyer},
title = {Stochastic Multiple Context-Free Grammar for {RNA} Pseudoknot Modeling},
booktitle = {Proceedings of the Eighth International Workshop on Tree Adjoining
Grammar and Related Formalisms, {TAG} 2006, Sydney, Australia, July
15-16, 2006},
pages = {57--64},
publisher = {Association for Computational Linguistics},
year = {2006},
url = {https://aclanthology.org/W06-1508/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tag/KatoSK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KawaiHMSIKUS05,
author = {Hiroyuki Kawai and
Kenichi Higuchi and
Noriyuki Maeda and
Mamoru Sawahashi and
Takumi Ito and
Yoshikazu Kakura and
Akihisa Ushirokawa and
Hiroyuki Seki},
title = {Likelihood Function for {QRM-MLD} Suitable for Soft-Decision Turbo
Decoding and Its Performance for {OFCDM} {MIMO} Multiplexing in Multipath
Fading Channel},
journal = {{IEICE} Trans. Commun.},
volume = {88-B},
number = {1},
pages = {47--57},
year = {2005},
url = {https://doi.org/10.1093/ietcom/E88-B.1.47},
doi = {10.1093/IETCOM/E88-B.1.47},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/KawaiHMSIKUS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KatoSK05,
author = {Yuki Kato and
Hiroyuki Seki and
Tadao Kasami},
title = {On the Generative Power of Grammars for {RNA} Secondary Structure},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {1},
pages = {53--64},
year = {2005},
url = {http://search.ieice.org/bin/summary.php?id=e88-d\_1\_53\&\#38;category=D\&\#38;year=2005\&\#38;lang=E\&\#38;abst=},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/KatoSK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KuninobuTNS05,
author = {Shigeta Kuninobu and
Yoshiaki Takata and
Naoya Nitta and
Hiroyuki Seki},
title = {Policy Controlled System and Its Model Checking},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {7},
pages = {1685--1696},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.7.1685},
doi = {10.1093/IETISY/E88-D.7.1685},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/KuninobuTNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/WangNS05,
author = {Jing Wang and
Naoya Nitta and
Hiroyuki Seki},
title = {An Efficient Method for Optimal Probe Deployment of Distributed {IDS}},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {8},
pages = {1948--1957},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.8.1948},
doi = {10.1093/IETISY/E88-D.8.1948},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/WangNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/YagiTS05,
author = {Isao Yagi and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {A Static Analysis Using Tree Automata for {XML} Access Control},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {234--247},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_19},
doi = {10.1007/11562948\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/YagiTS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/IshiharaISI04,
author = {Yasunori Ishihara and
Shin Ishii and
Hiroyuki Seki and
Minoru Ito},
title = {Temporal Reasoning about Two Concurrent Sequences of Events},
journal = {{SIAM} J. Comput.},
volume = {34},
number = {2},
pages = {498--513},
year = {2004},
url = {https://doi.org/10.1137/S0097539799362172},
doi = {10.1137/S0097539799362172},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/IshiharaISI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/TakataNS04,
author = {Yoshiaki Takata and
Takeshi Nakamura and
Hiroyuki Seki},
title = {Accessibility Verification of {WWW} Documents by an Automatic Guideline
Verification Tool},
booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37}
2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HICSS.2004.1265265},
doi = {10.1109/HICSS.2004.1265265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/TakataNS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/HiguchiKMSIKUS04,
author = {Kenichi Higuchi and
Hiroyuki Kawai and
Noriyuki Maeda and
Mamoru Sawahashi and
Takumi Ito and
Yoshikazu Kakura and
Akihisa Ushirokawa and
Hiroyuki Seki},
title = {Likelihood function for {QRM-MLD} suitable for soft-decision turbo
decoding and its performance for {OFCDM} {MIMO} multiplexing in multipath
fading channel},
booktitle = {Proceedings of the {IEEE} 15th International Symposium on Personal,
Indoor and Mobile Radio Communications, {PIMRC} 2004, 5-8 September
2004, Barcelona, Spain},
pages = {1142--1148},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/PIMRC.2004.1373877},
doi = {10.1109/PIMRC.2004.1373877},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pimrc/HiguchiKMSIKUS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/KatoSK04,
author = {Yuki Kato and
Hiroyuki Seki and
Tadao Kasami},
editor = {Owen Rambow and
Matthew Stone},
title = {Subclasses of Tree Adjoining Grammar for {RNA} Secondary Structure},
booktitle = {Proceedings of the 7th International Workshop on Tree Adjoining Grammar
and Related Formalisms, {TAG+} 2004, Vancouver, Canada, May 20-22,
2004},
pages = {48--55},
publisher = {Simon Fraser University},
year = {2004},
url = {https://aclanthology.org/W04-3307/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tag/KatoSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NittaS03,
author = {Naoya Nitta and
Hiroyuki Seki},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {An Extension of Pushdown System and Its Model Checking Method},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {278--292},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_19},
doi = {10.1007/978-3-540-45187-7\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NittaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/TakataNS03,
author = {Yoshiaki Takata and
Takeshi Nakamura and
Hiroyuki Seki},
editor = {Constantine Stephanidis},
title = {Automatic Accessibility Guideline Validation of {XML} Documents Based
on a Specification Language},
booktitle = {Human-Computer Interaction: Universal Access in {HCI:} Inclusive Design
in the Information Society, Proceedings of {HCI} International 2003
(the 10th International Conference on Human-Computer Interaction),
{HCI} 2003, Crete, Greece, June 22-27, 2003, Volume 4},
pages = {1040--1044},
publisher = {Lawrence Erlbaum},
year = {2003},
timestamp = {Tue, 30 May 2023 17:06:04 +0200},
biburl = {https://dblp.org/rec/conf/hci/TakataNS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/KiyamuraTS03,
author = {Susumu Kiyamura and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Marcin Paprzycki and
Jerzy Wasniewski},
title = {Process Decomposition via Synchronization Events and Its Application
to Counter-Process Decomposition},
booktitle = {Parallel Processing and Applied Mathematics, 5th International Conference,
{PPAM} 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3019},
pages = {298--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24669-5\_39},
doi = {10.1007/978-3-540-24669-5\_39},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ppam/KiyamuraTS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/OhsakiST03,
author = {Hitoshi Ohsaki and
Hiroyuki Seki and
Toshinori Takai},
editor = {Robert Nieuwenhuis},
title = {Recognizing Boolean Closed A-Tree Languages with Membership Conditional
Rewriting Mechanism},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {483--498},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_34},
doi = {10.1007/3-540-44881-0\_34},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/OhsakiST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/YokomoriOTSI02,
author = {Reishi Yokomori and
Fumiaki Ohata and
Yoshiaki Takata and
Hiroyuki Seki and
Katsuro Inoue},
title = {An information-leak analysis system based on program slicing},
journal = {Inf. Softw. Technol.},
volume = {44},
number = {15},
pages = {903--910},
year = {2002},
url = {https://doi.org/10.1016/S0950-5849(02)00127-1},
doi = {10.1016/S0950-5849(02)00127-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/YokomoriOTSI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/KuninobuTTNS02,
author = {Shigeta Kuninobu and
Yoshiaki Takata and
Daigo Taguchi and
Masayuki Nakae and
Hiroyuki Seki},
editor = {Robert H. Deng and
Sihan Qing and
Feng Bao and
Jianying Zhou},
title = {A Specification Language for Distributed Policy Control},
booktitle = {Information and Communications Security, 4th International Conference,
{ICICS} 2002, Singapore, December 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2513},
pages = {386--398},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36159-6\_33},
doi = {10.1007/3-540-36159-6\_33},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icics/KuninobuTTNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SekiTFK02,
author = {Hiroyuki Seki and
Toshinori Takai and
Youhei Fujinaka and
Yuichi Kaji},
editor = {Sophie Tison},
title = {Layered Transducing Term Rewriting System and Its Recognizability
Preserving Property},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {98--113},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_8},
doi = {10.1007/3-540-45610-4\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/SekiTFK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/IshiharaSSI01,
author = {Yasunori Ishihara and
Shougo Shimizu and
Hiroyuki Seki and
Minoru Ito},
title = {Refinements of Complexity Results on Type Consistency for Object-Oriented
Databases},
journal = {J. Comput. Syst. Sci.},
volume = {62},
number = {4},
pages = {537--564},
year = {2001},
url = {https://doi.org/10.1006/jcss.2001.1750},
doi = {10.1006/JCSS.2001.1750},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/IshiharaSSI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/YokomoriOTSI01,
author = {Reishi Yokomori and
Fumiaki Ohata and
Yoshiaki Takata and
Hiroyuki Seki and
Katsuro Inoue},
title = {Analysis and Implementation Method of Program to Detect Inappropriate
Information Leak},
booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
December 2001, Hong Kong, China, Proceedings},
pages = {5--12},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APAQS.2001.989996},
doi = {10.1109/APAQS.2001.989996},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/YokomoriOTSI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/NittaTS01,
author = {Naoya Nitta and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Michael K. Reiter and
Pierangela Samarati},
title = {An efficient security verification method for programs with stack
inspection},
booktitle = {{CCS} 2001, Proceedings of the 8th {ACM} Conference on Computer and
Communications Security, Philadelphia, Pennsylvania, USA, November
6-8, 2001},
pages = {68--77},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/501983.501994},
doi = {10.1145/501983.501994},
timestamp = {Tue, 10 Nov 2020 20:00:35 +0100},
biburl = {https://dblp.org/rec/conf/ccs/NittaTS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/SekiAP01,
author = {Hiroyuki Seki and
Osama W. Ata and
Arogyaswami Paulraj},
title = {Effect of customer premises directional antennas on fixed wireless
access systems in the downlink multipath channel},
booktitle = {{IEEE} International Conference on Communications, {ICC} 2001, June
11-14, Helsinki, Finland},
pages = {2312--2316},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICC.2001.937068},
doi = {10.1109/ICC.2001.937068},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/SekiAP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/AtaSP01,
author = {Osama W. Ata and
Hiroyuki Seki and
Arogyaswami Paulraj},
title = {Capacity enhancement in quad-sector cell architecture with interleaved
channel and polarization assignments},
booktitle = {{IEEE} International Conference on Communications, {ICC} 2001, June
11-14, Helsinki, Finland},
pages = {2317--2321},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICC.2001.937069},
doi = {10.1109/ICC.2001.937069},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/AtaSP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/KuninobuTSI01,
author = {Shigeta Kuninobu and
Yoshiaki Takata and
Hiroyuki Seki and
Katsuro Inoue},
editor = {Sihan Qing and
Tatsuaki Okamoto and
Jianying Zhou},
title = {An Efficient Information Flow Analysis of Recursive Programs Based
on a Lattice Model of Security Classes},
booktitle = {Information and Communications Security, Third International Conference,
{ICICS} 2001, Xian, China, November 13-16, 2001},
series = {Lecture Notes in Computer Science},
volume = {2229},
pages = {292--303},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45600-7\_33},
doi = {10.1007/3-540-45600-7\_33},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icics/KuninobuTSI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isas-sci/IkedaTS01,
author = {Mizuho Ikeda and
Yoshiaki Takata and
Hiroyuki Seki},
editor = {Nagib Callaos and
Ivan Nunes da Silva and
Jorge Molero},
title = {Formal Specification and Implemenation Using a Task Flow Diagram in
Interactive System Design},
booktitle = {World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs
2001, July 22-25, 2001, Orlando, Florida, USA, Proceedings, Volume
{I:} Information Systems Development},
pages = {422--428},
publisher = {{IIIS}},
year = {2001},
timestamp = {Thu, 03 Jan 2002 12:04:14 +0100},
biburl = {https://dblp.org/rec/conf/isas-sci/IkedaTS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/NittaST01,
author = {Naoya Nitta and
Hiroyuki Seki and
Yoshiaki Takata},
editor = {Ravi S. Sandhu and
Trent Jaeger},
title = {Security verification of programs with stack inspection},
booktitle = {6th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2001, Litton-TASC, Chantilly, Virginia, USA, May 3-4, 2001},
pages = {31--40},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/373256.373260},
doi = {10.1145/373256.373260},
timestamp = {Tue, 09 Feb 2021 08:50:30 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/NittaST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/TakataNS00,
author = {Yoshiaki Takata and
Kokoro Nakagawa and
Hiroyuki Seki},
editor = {Stephen W. Liddle and
Heinrich C. Mayr and
Bernhard Thalheim},
title = {Flexible Category Structure for Supporting {WWW} Retrieval},
booktitle = {Conceptual Modeling for E-Business and the Web, {ER} 2000 Workshops
on Conceptual Modeling Approaches for E-Business and The World Wide
Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1921},
pages = {165--177},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45394-6\_15},
doi = {10.1007/3-540-45394-6\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/TakataNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/TakaiKS00,
author = {Toshinori Takai and
Yuichi Kaji and
Hiroyuki Seki},
editor = {Leo Bachmair},
title = {Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively
Preserve Recognizability},
booktitle = {Rewriting Techniques and Applications, 11th International Conference,
{RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1833},
pages = {246--260},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721975\_17},
doi = {10.1007/10721975\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/TakaiKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/KosugeS99,
author = {Kazuhiro Kosuge and
Hiroyuki Seki},
title = {Estimation of position and orientation of multiple robots handling
an unknown single object in coordination},
booktitle = {Proceedings 1999 {IEEE/RSJ} International Conference on Intelligent
Robots and Systems. Human and Environment Friendly Robots with High
Intelligence and Emotional Quotients, October 17-21,1999, Hyundai
Hotel, Kyongju, Korea},
pages = {984--989},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/IROS.1999.812808},
doi = {10.1109/IROS.1999.812808},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/KosugeS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KosugeSO98,
author = {Kazuhiro Kosuge and
Hiroyuki Seki and
Tomohiro Oosumi},
title = {Calibration of Coordinate System for Decentralized Coordinated Motion
Control of Multiple Manipulators},
booktitle = {Proceedings of the {IEEE} International Conference on Robotics and
Automation, ICRA-98, Leuven, Belgium, May 16-20, 1998},
pages = {3297--3302},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ROBOT.1998.680947},
doi = {10.1109/ROBOT.1998.680947},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/KosugeSO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/IshiharaSI97,
author = {Yasunori Ishihara and
Hiroyuki Seki and
Minoru Ito},
editor = {Foto N. Afrati and
Phokion G. Kolaitis},
title = {Type-Consistency Problems for Queries in Object-Oriented Databases},
booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
Greece, January 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1186},
pages = {364--378},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62222-5\_57},
doi = {10.1007/3-540-62222-5\_57},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/IshiharaSI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/KosugeOS97,
author = {Kazuhiro Kosuge and
Tomohiro Oosumi and
Hiroyuki Seki},
title = {Decentralized control of multiple manipulators handling an object
in coordination based on impedance control of each arm},
booktitle = {Proceedings of the 1997 {IEEE/RSJ} International Conference on Intelligent
Robot and Systems. Innovative Robotics for Real-World Applications.
{IROS} '97, September 7-11, 1997, Grenoble, France},
pages = {17--22},
publisher = {{IEEE}},
year = {1997},
url = {https://doi.org/10.1109/IROS.1997.648976},
doi = {10.1109/IROS.1997.648976},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/KosugeOS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/SanoHSK96,
author = {Tetsuo Sano and
Masahiro Higuchi and
Hiroyuki Seki and
Tadao Kasami},
title = {A phase connection method for communication protocols},
journal = {Syst. Comput. Jpn.},
volume = {27},
number = {10},
pages = {33--47},
year = {1996},
url = {https://doi.org/10.1002/scj.4690271004},
doi = {10.1002/SCJ.4690271004},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/SanoHSK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dood/SekiII95,
author = {Hiroyuki Seki and
Yasunori Ishihara and
Minoru Ito},
editor = {Tok Wang Ling and
Alberto O. Mendelzon and
Laurent Vieille},
title = {Authorization Analysis of Queries in Object-Oriented Databases},
booktitle = {Deductive and Object-Oriented Databases, Fourth International Conference,
DOOD'95, Singapore, December 4-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1013},
pages = {521--538},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60608-4\_59},
doi = {10.1007/3-540-60608-4\_59},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/dood/SekiII95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/KajiNSK94,
author = {Yuichi Kaji and
Ryuchi Nakanishi and
Hiroyuki Seki and
Tadao Kasami},
title = {The Computational Complexity of the Universal Recognition Problem
for Parallel Multiple Context-Free Grammars},
journal = {Comput. Intell.},
volume = {10},
pages = {440--452},
year = {1994},
url = {https://doi.org/10.1111/j.1467-8640.1994.tb00008.x},
doi = {10.1111/J.1467-8640.1994.TB00008.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/KajiNSK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/SekiNKAK93,
author = {Hiroyuki Seki and
Ryuichi Nakanishi and
Yuichi Kaji and
Sachiko Ando and
Tadao Kasami},
editor = {Lenhart K. Schubert},
title = {Parallel Multiple Context-Free Grammars, Finite-State Translation
Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional
Grammars},
booktitle = {31st Annual Meeting of the Association for Computational Linguistics,
22-26 June 1993, Ohio State University, Columbus, Ohio, USA, Proceedings},
pages = {130--139},
publisher = {{ACL}},
year = {1993},
url = {https://aclanthology.org/P93-1018/},
doi = {10.3115/981574.981592},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/SekiNKAK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/IshiharaSK93,
author = {Yasunori Ishihara and
Hiroyuki Seki and
Tadao Kasami},
title = {A translation method from natural language specifications into formal
specifications using contextual dependencies},
booktitle = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
{RE} 1993, San Diego, California, USA, January 4-6, 1993},
pages = {232--239},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISRE.1993.324853},
doi = {10.1109/ISRE.1993.324853},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/IshiharaSK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/SekiKNM92,
author = {Hiroyuki Seki and
Tadao Kasami and
Eiji Nabika and
Takashi Matsumura},
title = {A method for translating natural language program specifications into
algebraic specifications},
journal = {Syst. Comput. Jpn.},
volume = {23},
number = {11},
pages = {1--16},
year = {1992},
url = {https://doi.org/10.1002/scj.4690231101},
doi = {10.1002/SCJ.4690231101},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/SekiKNM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HiguchiSSFK92,
author = {Masahiro Higuchi and
Osamu Shirakawa and
Hiroyuki Seki and
Mamoru Fujii and
Tadao Kasami},
editor = {Gregor von Bochmann and
David K. Probst},
title = {A Verification Procedure via Invariant for Extended Communicating
Finite-State Machines},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {384--395},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_30},
doi = {10.1007/3-540-56496-9\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HiguchiSSFK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/MatsumuraSFK91,
author = {Takashi Matsumura and
Hiroyuki Seki and
Mamoru Fujii and
Tadao Kasami},
title = {The generative power of multiple context-free grammars and head grammars},
journal = {Syst. Comput. Jpn.},
volume = {22},
number = {4},
pages = {41--56},
year = {1991},
url = {https://doi.org/10.1002/scj.4690220405},
doi = {10.1002/SCJ.4690220405},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/MatsumuraSFK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SekiMFK91,
author = {Hiroyuki Seki and
Takashi Matsumura and
Mamoru Fujii and
Tadao Kasami},
title = {On Multiple Context-Free Grammars},
journal = {Theor. Comput. Sci.},
volume = {88},
number = {2},
pages = {191--229},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90374-B},
doi = {10.1016/0304-3975(91)90374-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SekiMFK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/SekiTK91,
author = {Hiroyuki Seki and
Kenichi Taniguchi and
Tadao Kasami},
editor = {Ikuo Nakata and
Masami Hagiya},
title = {On Operational Semantics of Congruence Relation Defined in Algebraic
Language {ASL/}},
booktitle = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
series = {World Scientific Series in Computer Science},
volume = {31},
pages = {60--77},
publisher = {World Scientific},
year = {1991},
url = {https://doi.org/10.1142/9789814360128\_0004},
doi = {10.1142/9789814360128\_0004},
timestamp = {Tue, 23 Jun 2020 13:49:03 +0200},
biburl = {https://dblp.org/rec/series/wsscs/SekiTK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/KasamiSF89,
author = {Tadao Kasami and
Hiroyuki Seki and
Mamoru Fujii},
title = {Membership problem for head languages and multiple context-free languages},
journal = {Syst. Comput. Jpn.},
volume = {20},
number = {6},
pages = {43--51},
year = {1989},
url = {https://doi.org/10.1002/scj.4690200605},
doi = {10.1002/SCJ.4690200605},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/KasamiSF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/KasamiSF89a,
author = {Tadao Kasami and
Hiroyuki Seki and
Mamoru Fujii},
title = {Generalized context-free grammars and multiple context-free grammars},
journal = {Syst. Comput. Jpn.},
volume = {20},
number = {7},
pages = {43--52},
year = {1989},
url = {https://doi.org/10.1002/scj.4690200705},
doi = {10.1002/SCJ.4690200705},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/KasamiSF89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/InoueSY88,
author = {Katsuro Inoue and
Hiroyuki Seki and
Hikaru Yagi},
title = {Analysis of Functional Programs to Detect Run-Time Garbage Cells},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {10},
number = {4},
pages = {555--578},
year = {1988},
url = {https://doi.org/10.1145/48022.48025},
doi = {10.1145/48022.48025},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/InoueSY88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/KasamiTSS87,
author = {Tadao Kasami and
Kenichi Taniguchi and
Yuji Sugiyama and
Hiroyuki Seki},
title = {Principles of algebraic language {ASL}},
journal = {Syst. Comput. Jpn.},
volume = {18},
number = {7},
pages = {11--20},
year = {1987},
url = {https://doi.org/10.1002/scj.4690180702},
doi = {10.1002/SCJ.4690180702},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/KasamiTSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/InoueSTK86,
author = {Katsuro Inoue and
Hiroyuki Seki and
Kenichi Taniguchi and
Tadao Kasami},
title = {Compiling and Optimizing Methods for the Functional Language {ASL/F}},
journal = {Sci. Comput. Program.},
volume = {7},
number = {3},
pages = {297--312},
year = {1986},
url = {https://doi.org/10.1016/0167-6423(86)90012-2},
doi = {10.1016/0167-6423(86)90012-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/InoueSTK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/SekiTK85,
author = {Hiroyuki Seki and
Kenichi Taniguchi and
Tadao Kasami},
title = {Optimization of functional language {ASL/F} programs},
journal = {Syst. Comput. Jpn.},
volume = {16},
number = {4},
pages = {9--18},
year = {1985},
url = {https://doi.org/10.1002/scj.4690160402},
doi = {10.1002/SCJ.4690160402},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/SekiTK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-13 01:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
