Hiroyuki Seki - RankMe

148 papers A* 5A 5B 7C 18Misc 1Journal 71Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Complexity of the Existence of Constrained Secure Equilibria in Multi-Player Games. CoRR Hiroki Mizuno, Yoshiaki Takata, Hiroyuki Seki
2025	J	`jnl`	Non-Cooperative Rational Synthesis Problem for Probabilistic Strategies. IEICE Trans. Inf. Syst. So Koide, Yoshiaki Takata, Hiroyuki Seki
2025	J	`jnl`	Strategies and Equilibria on Indistinguishability of Winning Objectives and Related Decision Problems. IEICE Trans. Inf. Syst. Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2024	J	`jnl`	A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata. CoRR Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
2024	J	`jnl`	A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata. IEICE Trans. Inf. Syst. Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
2024	C	`conf`	Automata and Grammars for Data Words. CIAA Hiroyuki Seki
2024	J	`jnl`	Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies. IEICE Trans. Inf. Syst. So Koide, Yoshiaki Takata, Hiroyuki Seki
2024	J	`jnl`	Non-cooperative rational synthesis problem for probabilistic strategies. CoRR So Koide, Yoshiaki Takata, Hiroyuki Seki
2024	C	`conf`	Semidirect Product Decompositions for Periodic Regular Languages. DLT Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
2024	J	`jnl`	Semidirect Product Decompositions for Periodic Regular Languages. CoRR Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
2024	C	`conf`	Verification with Common Knowledge of Rationality for Graph Games. ICTAC Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2024	J	`jnl`	Verification with Common Knowledge of Rationality for Graph Games. CoRR Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2023	C	`conf`	A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. ICTAC Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2023	J	`jnl`	A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata. IEICE Trans. Inf. Syst. Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
2023	J	`jnl`	A game-theoretic approach to indistinguishability of winning objectives as user privacy. CoRR Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2023	J	`jnl`	An ambiguity hierarchy of weighted context-free grammars. Theor. Comput. Sci. Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
2023	J	`jnl`	Data Generation With Filtered β-VAE for the Preoperative Prediction of Adverse Events. IEEE Access Yuki Yamasaki, Chiaki Doi, Shiori Kitagawa, Hiroyuki Seki, Hiroshi Shigeno
2023	J	`jnl`	Pumping Lemmas for Languages Expressed by Computational Models with Registers. IEICE Trans. Inf. Syst. Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2023	J	`jnl`	Weighted Multiple Context-Free Grammars. IEICE Trans. Inf. Syst. Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
2023	C	`conf`	When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem. CIAA Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
2022	C	`conf`	Active Learning for Deterministic Bottom-Up Nominal Tree Automata. ICTAC Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2022	J	`jnl`	Active Learning for Deterministic Bottom-up Nominal Tree Automata. CoRR Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
2022	C	`conf`	An Ambiguity Hierarchy of Weighted Context-Free Grammars. CIAA Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki
2022	J	`jnl`	Complexity results on register context-free grammars and related formalisms. Theor. Comput. Sci. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2022	J	`jnl`	Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. CoRR Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
2022	J	`jnl`	Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. IEICE Trans. Inf. Syst. Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
2021	J	`jnl`	Forward Regularity Preservation Property of Register Pushdown Systems. IEICE Trans. Inf. Syst. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2021	—	`conf`	Intraoperative Hypotension Prediction System by Considering Personal Lifestyle and Medical History. PerCom Workshops Riku Inada, Chiaki Doi, Yuki Yamasaki, Hiroshi Shigeno, Hiroyuki Seki
2021	J	`jnl`	LTL Model Checking for Register Pushdown Systems. IEICE Trans. Inf. Syst. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2021	J	`jnl`	Optimal run problem for weighted register automata. Theor. Comput. Sci. Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
2021	C	`conf`	Reactive Synthesis from Visibly Register Pushdown Automata. ICTAC Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2020	J	`jnl`	Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. J. Inf. Process. Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
2020	—	`conf`	Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming. ICPHM Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen
2020	J	`jnl`	Generalized Register Context-Free Grammars. IEICE Trans. Inf. Syst. Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2020	J	`jnl`	Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki
2019	—	`conf`	5G R&D Activities for High Capacity Technologies with Ultra High-Density Multi-Band and Multi-Access Layered Cells. VTC Spring Morihiko Minowa, Hiroyuki Seki, Yukihiko Okumura, Satoshi Suyama, Jun Terada, Satoshi Shigematsu, Yasushi Takatori, Hiroaki Asano, Yukio Hirano, Yasushi Yamao, Fumiyuki Adachi, Masataka Nakazawa
2019	J	`jnl`	Complexity Results on Register Pushdown Automata. CoRR Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2019	J	`jnl`	Experimental Study of Large-Scale Coordinated Multi-User MIMO for 5G Ultra High-Density Distributed Antenna Systems. IEICE Trans. Commun. Takaharu Kobayashi, Masafumi Tsutsui, Takashi Dateki, Hiroyuki Seki, Morihiko Minowa, Chiyoshi Akiyama, Tatsuki Okuyama, Jun Mashino, Satoshi Suyama, Yukihiko Okumura
2019	—	`conf`	Experimental Trials of 5G Ultra High-Density Distributed Antenna Systems. VTC Fall Shinya Kumagai, Morihiko Minowa, Tatsuki Okuyama, Jun Mashino, Satoshi Suyama, Yukihiko Okumura, Takaharu Kobayashi, Teppei Oyama, Chiyoshi Akiyama, Masafumi Tsutsui, Daisuke Jitsukawa, Takashi Seyama, Takashi Dateki, Hiroyuki Seki
2019	C	`conf`	Generalized Register Context-Free Grammars. LATA Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2019	—	`conf`	Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query. ICCCS Takeshi Takeda, Kenji Hashimoto, Hiroyuki Seki
2019	J	`jnl`	On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem. CoRR Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
2019	C	`conf`	Optimal Run Problem for Weighted Register Automata. ICTAC Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata
2019	—	`conf`	Prediction of Post-induction Hypotension Using Stacking Method. ICMU Koki Iwai, Chiaki Doi, Nanaka Asai, Hiroshi Shigeno, Satoshi Ideno, Jungo Kato, Takashige Yamada, Hiroshi Morisaki, Hiroyuki Seki
2019	—	`conf`	Proposal of Anesthetic Dose Prediction Model to Avoid Post-induction Hypotension Using Electronic Anesthesia Records. ICMU Nanaka Asai, Chiaki Doi, Koki Iwai, Satoshi Ideno, Hiroyuki Seki, Jungo Kato, Takashige Yamada, Hiroshi Morisaki, Hiroshi Shigeno
2019	J	`jnl`	Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -. IEICE Trans. Inf. Syst. Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
2019	J	`jnl`	Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation. CoRR Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
2018	C	`conf`	Complexity Results on Register Context-Free Grammars and Register Tree Automata. ICTAC Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
2018	J	`jnl`	Counting Algorithms for Recognizable and Algebraic Series. IEICE Trans. Inf. Syst. Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
2018	J	`jnl`	Direct Update of XML Documents with Data Values Compressed by Tree Grammars. IEICE Trans. Inf. Syst. Kenji Hashimoto, Ryunosuke Takayama, Hiroyuki Seki
2018	—	`conf`	Robust Scheduler Prioritizing UEs with Time-Variant Channels in Small-Delay Slots from Channel Estimation Timing for 5G Large-Scale MU-MIMO. VTC Fall Takashi Seyama, Shinya Kumagai, Teppei Oyama, Daisuke Jitsukawa, Takashi Dateki, Koji Matsuyama, Hiroyuki Seki, Morihiko Minowa
2017	—	`conf`	Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments. VTC Fall Tatsuki Okuyama, Satoshi Suyama, Jun Mashino, Yukihiko Okumura, Kotaro Shiizaki, Chiyoshi Akiyama, Masafumi Tsutsui, Hiroyuki Seki, Morihiko Minowa
2017	—	`conf`	Availability checking of dynamic spatial information for automobiles. ICSRS Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen
2017	—	`conf`	Field Experiment of High-Capacity Technologies for 5G Ultra High-Density Distributed Antenna Systems. VTC Spring Hiroyuki Seki, Masafumi Tsutsui, Morihiko Minowa, Kotaro Shiizaki, Chiyoshi Akiyama, Tatsuki Okuyama, Jun Mashino, Satoshi Suyama, Yukihiko Okumura
2017	—	`conf`	Scheduler Reducing CSI Feedback Overhead and Computational Complexity for 5G Ultra High-Density Distributed Antenna Systems with Hybrid BF. VTC Fall Shinya Kumagai, Takaharu Kobayashi, Daisuke Jitsukawa, Takashi Seyama, Takashi Dateki, Hiroyuki Seki, Koji Matsuyama, Morihiko Minowa
2016	—	`conf`	An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. WPTE@FSCD Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki
2016	—	`conf`	Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. FTSCS Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
2016	J	`jnl`	Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers. IEICE Trans. Inf. Syst. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
2016	—	`conf`	Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions. VTC Spring Nobukazu Fudaba, Tadashi Nakamura, Hiroyuki Seki
2016	J	`jnl`	Query Rewriting for Nondeterministic Tree Transducers. IEICE Trans. Inf. Syst. Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
2015	—	`conf`	A post-haiyan community level mobility model. ICMU Jovilyn Therese B. Fajardo, Keiichi Yasumoto, Hiroyuki Seki
2015	J	`jnl`	Centralized Inter-Cell Interference Coordination Using Multi-Band 3D Beam-Switching in Cellular Networks. IEICE Trans. Commun. Hiroyuki Seki, Fumiyuki Adachi
2015	B	`conf`	Efficient selection of user sets for downlink non-orthogonal multiple access. PIMRC Takashi Seyama, Takashi Dateki, Hiroyuki Seki
2015	J	`jnl`	Node Query Preservation for Deterministic Linear Top-Down Tree Transducers. IEICE Trans. Inf. Syst. Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
2014	J	`jnl`	Analysis of TV White Space Availability in Japan. IEICE Trans. Commun. Tsuyoshi Shimomura, Teppei Oyama, Hiroyuki Seki
2014	C	`conf`	Information theoretical evaluation of the bucketing technique to mitigate timing attacks. ISITA Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki
2013	B	`conf`	Autonomous downlink interference control for LTE femtocells in residential deployment. PIMRC Dai Kimura, Junji Otonari, Hiroyuki Seki
2013	J	`jnl`	Deciding Schema IEICE Trans. Inf. Syst. Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki
2013	C	`conf`	Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers. LATA Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
2013	—	`conf`	Node Query Preservation for Deterministic Linear Top-Down Tree Transducers. TTATT Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
2013	J	`jnl`	Selection of Component Carriers Using Centralized Baseband Pooling for LTE-Advanced Heterogeneous Networks. IEICE Trans. Commun. Hiroyuki Seki, Takaharu Kobayashi, Dai Kimura
2012	—	`conf`	Analysis of TV White Space Availability in Japan. VTC Fall Tsuyoshi Shimomura, Teppei Oyama, Hiroyuki Seki
2012	J	`jnl`	Error Control for High-density Monochrome Two-dimensional Barcodes. Inf. Media Technol. Ramon Francisco Pacquiao Mejia, Yuichi Kaji, Hiroyuki Seki
2012	B	`conf`	TV white space availability in Japan estimated using D/U-based and I/N-based protection rules. GLOBECOM Teppei Oyama, Tsuyoshi Shimomura, Hiroyuki Seki
2011	—	`conf`	A grammar-based approach to RNA pseudoknotted structure prediction for aligned sequences. ICCABS Nobuyoshi Mizoguchi, Yuki Kato, Hiroyuki Seki
2011	—	`conf`	Blind and Semi-Blind Sparse Channel Identification in MIMO OFDM Systems. ICC Abdeldjalil Aïssa-El-Bey, Dai Kimura, Hiroyuki Seki, Tomohiko Taniguchi
2011	—	`conf`	De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems. VTC Spring Dai Kimura, Yuya Harada, Hiroyuki Seki
2011	A*	`conf`	Poster: trans-organizational role-based access control. CCS Ramon Francisco Pacquiao Mejia, Yuichi Kaji, Hiroyuki Seki
2011	—	`ed.`	The Mathematics of Language - 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings MOL Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki
2010	B	`conf`	Automatic Generation of History-Based Access Control from Information Flow Specification. ATVA Yoshiaki Takata, Hiroyuki Seki
2010	C	`conf`	Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages. LATA Ryo Yoshinaka, Yuichi Kaji, Hiroyuki Seki
2010	J	`jnl`	Foreword. IEICE Trans. Inf. Syst. Hiroyuki Seki
2009	J	`jnl`	A grammatical approach to RNA-RNA interaction prediction. Pattern Recognit. Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki
2009	J	`jnl`	Comparison of the Expressive Power of Language-Based Access Control Models. IEICE Trans. Inf. Syst. Yoshiaki Takata, Hiroyuki Seki
2009	J	`jnl`	Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction. J. Comput. Biol. Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki
2009	J	`jnl`	Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation. IEICE Trans. Inf. Syst. Yoshiaki Takata, Hiroyuki Seki
2008	J	`jnl`	New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation. Inf. Media Technol. Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
2008	J	`jnl`	On the Generative Power of Multiple Context-Free Grammars and Macro Grammars. IEICE Trans. Inf. Syst. Hiroyuki Seki, Yuki Kato
2008	—	`conf`	Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach. PRIB Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki
2007	J	`jnl`	A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power. IEICE Trans. Inf. Syst. Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
2007	J	`jnl`	A Static Analysis using Tree Automata for XML Access Control. Inf. Media Technol. Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
2007	J	`jnl`	An equational logic based approach to the security problem against inference attacks on object-oriented databases. J. Comput. Syst. Sci. Yasunori Ishihara, Toshiyuki Morita, Hiroyuki Seki, Minoru Ito
2007	—	`conf`	Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. AINA Workshops (2) Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
2007	J	`jnl`	Events and Sightings. IEEE Ann. Hist. Comput. Chigusa Kita, David L. Ferro, Dag Spicer, Kelly Rodoski, Hiroyuki Seki, Fred R. Shapiro, Thomas J. Bergin
2007	—	`conf`	Languages Modulo Normalization. FroCoS Hitoshi Ohsaki, Hiroyuki Seki
2007	J	`jnl`	RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar. Inf. Media Technol. Yuki Kato, Hiroyuki Seki, Tadao Kasami
2007	—	`conf`	Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook. VTC Spring Masafumi Tsutsui, Hiroyuki Seki
2007	—	`conf`	Throughput Performance of Pre-coding MIMO Transmission with Multi-Beam Selection. ICC Hiroyuki Seki, Masafumi Tsutsui
2006	A	`conf`	HBAC: A Model for History-Based Access Control and Its Model Checking. ESORICS Jing Wang, Yoshiaki Takata, Hiroyuki Seki
2006	C	`conf`	Integrating presence inference into trust management for ubiquitous systems. SACMAT Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki
2006	J	`jnl`	LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations. Inf. Media Technol. Naoya Nitta, Hiroyuki Seki
2006	—	`conf`	Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling. TAG Yuki Kato, Hiroyuki Seki, Tadao Kasami
2005	B	`conf`	A Static Analysis Using Tree Automata for XML Access Control. ATVA Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
2005	J	`jnl`	An Efficient Method for Optimal Probe Deployment of Distributed IDS. IEICE Trans. Inf. Syst. Jing Wang, Naoya Nitta, Hiroyuki Seki
2005	J	`jnl`	Likelihood Function for QRM-MLD Suitable for Soft-Decision Turbo Decoding and Its Performance for OFCDM MIMO Multiplexing in Multipath Fading Channel. IEICE Trans. Commun. Hiroyuki Kawai, Kenichi Higuchi, Noriyuki Maeda, Mamoru Sawahashi, Takumi Ito, Yoshikazu Kakura, Akihisa Ushirokawa, Hiroyuki Seki
2005	J	`jnl`	On the Generative Power of Grammars for RNA Secondary Structure. IEICE Trans. Inf. Syst. Yuki Kato, Hiroyuki Seki, Tadao Kasami
2005	J	`jnl`	Policy Controlled System and Its Model Checking. IEICE Trans. Inf. Syst. Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki
2004	—	`conf`	Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. HICSS Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki
2004	B	`conf`	Likelihood function for QRM-MLD suitable for soft-decision turbo decoding and its performance for OFCDM MIMO multiplexing in multipath fading channel. PIMRC Kenichi Higuchi, Hiroyuki Kawai, Noriyuki Maeda, Mamoru Sawahashi, Takumi Ito, Yoshikazu Kakura, Akihisa Ushirokawa, Hiroyuki Seki
2004	—	`conf`	Subclasses of Tree Adjoining Grammar for RNA Secondary Structure. TAG+ Yuki Kato, Hiroyuki Seki, Tadao Kasami
2004	J	`jnl`	Temporal Reasoning about Two Concurrent Sequences of Events. SIAM J. Comput. Yasunori Ishihara, Shin Ishii, Hiroyuki Seki, Minoru Ito
2003	B	`conf`	An Extension of Pushdown System and Its Model Checking Method. CONCUR Naoya Nitta, Hiroyuki Seki
2003	—	`conf`	Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language. HCI (4) Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki
2003	Misc	`conf`	Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. PPAM Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki
2003	—	`conf`	Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. RTA Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
2002	C	`conf`	A Specification Language for Distributed Policy Control. ICICS Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki
2002	J	`jnl`	An information-leak analysis system based on program slicing. Inf. Softw. Technol. Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
2002	—	`conf`	Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. RTA Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji
2001	C	`conf`	An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. ICICS Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
2001	A*	`conf`	An efficient security verification method for programs with stack inspection. CCS Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki
2001	—	`conf`	Analysis and Implementation Method of Program to Detect Inappropriate Information Leak. APAQS Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
2001	—	`conf`	Capacity enhancement in quad-sector cell architecture with interleaved channel and polarization assignments. ICC Osama W. Ata, Hiroyuki Seki, Arogyaswami Paulraj
2001	—	`conf`	Effect of customer premises directional antennas on fixed wireless access systems in the downlink multipath channel. ICC Hiroyuki Seki, Osama W. Ata, Arogyaswami Paulraj
2001	—	`conf`	Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design. ISAS-SCI (1) Mizuho Ikeda, Yoshiaki Takata, Hiroyuki Seki
2001	J	`jnl`	Refinements of Complexity Results on Type Consistency for Object-Oriented Databases. J. Comput. Syst. Sci. Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito
2001	C	`conf`	Security verification of programs with stack inspection. SACMAT Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata
2000	—	`conf`	Flexible Category Structure for Supporting WWW Retrieval. ER (Workshops) Yoshiaki Takata, Kokoro Nakagawa, Hiroyuki Seki
2000	—	`conf`	Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. RTA Toshinori Takai, Yuichi Kaji, Hiroyuki Seki
1999	A	`conf`	Estimation of position and orientation of multiple robots handling an unknown single object in coordination. IROS Kazuhiro Kosuge, Hiroyuki Seki
1998	A*	`conf`	Calibration of Coordinate System for Decentralized Coordinated Motion Control of Multiple Manipulators. ICRA Kazuhiro Kosuge, Hiroyuki Seki, Tomohiro Oosumi
1997	A	`conf`	Decentralized control of multiple manipulators handling an object in coordination based on impedance control of each arm. IROS Kazuhiro Kosuge, Tomohiro Oosumi, Hiroyuki Seki
1997	A	`conf`	Type-Consistency Problems for Queries in Object-Oriented Databases. ICDT Yasunori Ishihara, Hiroyuki Seki, Minoru Ito
1996	J	`jnl`	A phase connection method for communication protocols. Syst. Comput. Jpn. Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami
1995	—	`conf`	Authorization Analysis of Queries in Object-Oriented Databases. DOOD Hiroyuki Seki, Yasunori Ishihara, Minoru Ito
1994	J	`jnl`	The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars. Comput. Intell. Yuichi Kaji, Ryuchi Nakanishi, Hiroyuki Seki, Tadao Kasami
1993	A	`conf`	A translation method from natural language specifications into formal specifications using contextual dependencies. RE Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
1993	A*	`conf`	Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars. ACL Hiroyuki Seki, Ryuichi Nakanishi, Yuichi Kaji, Sachiko Ando, Tadao Kasami
1992	A*	`conf`	A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1992	J	`jnl`	A method for translating natural language program specifications into algebraic specifications. Syst. Comput. Jpn. Hiroyuki Seki, Tadao Kasami, Eiji Nabika, Takashi Matsumura
1991	J	`jnl`	On Multiple Context-Free Grammars. Theor. Comput. Sci. Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami
1991	—	`ch.`	On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. Software Science and Engineering Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1991	J	`jnl`	The generative power of multiple context-free grammars and head grammars. Syst. Comput. Jpn. Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1989	J	`jnl`	Generalized context-free grammars and multiple context-free grammars. Syst. Comput. Jpn. Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1989	J	`jnl`	Membership problem for head languages and multiple context-free languages. Syst. Comput. Jpn. Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1988	J	`jnl`	Analysis of Functional Programs to Detect Run-Time Garbage Cells. ACM Trans. Program. Lang. Syst. Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi
1987	J	`jnl`	Principles of algebraic language ASL. Syst. Comput. Jpn. Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki
1986	J	`jnl`	Compiling and Optimizing Methods for the Functional Language ASL/F. Sci. Comput. Program. Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1985	J	`jnl`	Optimization of functional language ASL/F programs. Syst. Comput. Jpn. Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami