IEICE Trans

Hiroyuki SEKI

Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking Yoshiaki TAKATA Ryoma SENDA Hiroyuki SEKI
Publication: Publication Date: 2022/09/01 Vol. E105-D No. 9 pp. 1620-1623 Type of Manuscript: LETTER Category: Fundamentals of Information Systems Keyword: model checking, register pushdown system, regular valuation,
	Summary \| Full Text:PDF(107.1KB)

LTL Model Checking for Register Pushdown Systems Ryoma SENDA Yoshiaki TAKATA Hiroyuki SEKI
Publication: Publication Date: 2021/12/01 Vol. E104-D No. 12 pp. 2131-2144 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: register pushdown system, LTL model checking, regularity preservation, register automaton,
	Summary \| Full Text:PDF(395.6KB)

Forward Regularity Preservation Property of Register Pushdown Systems Ryoma SENDA Yoshiaki TAKATA Hiroyuki SEKI
Publication: Publication Date: 2021/03/01 Vol. E104-D No. 3 pp. 370-380 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — New Trends of Theory of Computation and Algorithm —) Category: Keyword: register pushdown system, register automaton, regularity preservation property,
	Summary \| Full Text:PDF(304.8KB)

Generalized Register Context-Free Grammars Ryoma SENDA Yoshiaki TAKATA Hiroyuki SEKI
Publication: Publication Date: 2020/03/01 Vol. E103-D No. 3 pp. 540-548 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —) Category: Keyword: register context-free grammar, register type, computational complexity, data word, data language,
	Summary \| Full Text:PDF(343.5KB)

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation - Bao Trung CHU Kenji HASHIMOTO Hiroyuki SEKI
Publication: Publication Date: 2019/10/01 Vol. E102-D No. 10 pp. 1952-1965 Type of Manuscript: PAPER Category: Software System Keyword: quantitative information flow, hybrid monitor, dynamic leakage,
	Summary \| Full Text:PDF(456.4KB)

Experimental Study of Large-Scale Coordinated Multi-User MIMO for 5G Ultra High-Density Distributed Antenna Systems Takaharu KOBAYASHI Masafumi TSUTSUI Takashi DATEKI Hiroyuki SEKI Morihiko MINOWA Chiyoshi AKIYAMA Tatsuki OKUYAMA Jun MASHINO Satoshi SUYAMA Yukihiko OKUMURA
Publication: Publication Date: 2019/08/01 Vol. E102-B No. 8 pp. 1390-1400 Type of Manuscript: Special Section PAPER (Special Section on Technology Trials and Proof-of-Concept Activities for 5G and Beyond) Category: Keyword: 5G, cell densification, distributed antenna system, coordinated multi-user MIMO, field experiment,
	Summary \| Full Text:PDF(3.5MB)

Direct Update of XML Documents with Data Values Compressed by Tree Grammars Kenji HASHIMOTO Ryunosuke TAKAYAMA Hiroyuki SEKI
Publication: Publication Date: 2018/06/01 Vol. E101-D No. 6 pp. 1467-1478 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: XML, compression, tree grammars, update,
	Summary \| Full Text:PDF(605.3KB)

Counting Algorithms for Recognizable and Algebraic Series Bao Trung CHU Kenji HASHIMOTO Hiroyuki SEKI
Publication: Publication Date: 2018/06/01 Vol. E101-D No. 6 pp. 1479-1490 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: string counting, recognizable series, algebraic series, context-free grammar,
	Summary \| Full Text:PDF(435.1KB)

Query Rewriting for Nondeterministic Tree Transducers Kazuki MIYAHARA Kenji HASHIMOTO Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2016/06/01 Vol. E99-D No. 6 pp. 1410-1419 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal Methods Keyword: tree transducers, query rewriting, query preservation,
	Summary \| Full Text:PDF(432.9KB)

Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers Kenji HASHIMOTO Ryuta SAWADA Yasunori ISHIHARA Hiroyuki SEKI Toru FUJIWARA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2016/03/01 Vol. E99-D No. 3 pp. 575-587 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science---Developments of the Theory of Algorithms and Computation---) Category: Keyword: determinacy, subsumption, tree transducer,
	Summary \| Full Text:PDF(558.8KB)

Centralized Inter-Cell Interference Coordination Using Multi-Band 3D Beam-Switching in Cellular Networks Hiroyuki SEKI Fumiyuki ADACHI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2015/07/01 Vol. E98-B No. 7 pp. 1363-1372 Type of Manuscript: PAPER Category: Terrestrial Wireless Communication/Broadcasting Technologies Keyword: inter-cell interference coordination, 3D beam-switching, PF utility, KKT algorithm, spatial user multiplexing,
	Summary \| Full Text:PDF(2.3MB)

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers Kazuki MIYAHARA Kenji HASHIMOTO Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/03/01 Vol. E98-D No. 3 pp. 512-523 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science---New Spirits in Theory of Computation and Algorithm---) Category: Keyword: XML, tree automata, tree transducers, run-based queries, query preservation,
	Summary \| Full Text:PDF(565.6KB)

Analysis of TV White Space Availability in Japan Tsuyoshi SHIMOMURA Teppei OYAMA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2014/02/01 Vol. E97-B No. 2 pp. 350-358 Type of Manuscript: Special Section PAPER (Special Section on Technologies for Effective Utilization of Spectrum White Space) Category: Keyword: TV white space, protected area, interference contour, minimum separation distance, regulation,
	Summary \| Full Text:PDF(2.7MB)

Deciding Schema k-Secrecy for XML Databases Chittaphone PHONHARATH Kenji HASHIMOTO Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/06/01 Vol. E96-D No. 6 pp. 1268-1277 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Static Analysis Keyword: inference attack, security, static analysis, XML database,
	Summary \| Full Text:PDF(656KB)

Selection of Component Carriers Using Centralized Baseband Pooling for LTE-Advanced Heterogeneous Networks Hiroyuki SEKI Takaharu KOBAYASHI Dai KIMURA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2013/06/01 Vol. E96-B No. 6 pp. 1288-1296 Type of Manuscript: Special Section PAPER (Special Section on Heterogeneous Networks for Future Cellular Systems) Category: Keyword: LTE-advanced, carrier aggregation, component carrier, heterogeneous networks, baseband pooling,
	Summary \| Full Text:PDF(2.2MB)

FOREWORD Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/05/01 Vol. E93-D No. 5 pp. 941-941 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF(59KB)

Comparison of the Expressive Power of Language-Based Access Control Models Yoshiaki TAKATA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-D No. 5 pp. 1033-1036 Type of Manuscript: Special Section LETTER (Special Section on Formal Approach) Category: Keyword: history-based access control, stack inspection, shallow history automaton, expressive power,
	Summary \| Full Text:PDF(201.6KB)

Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation Yoshiaki TAKATA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/02/01 Vol. E92-D No. 2 pp. 200-210 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science) Category: Keyword: trust management, trust negotiation, negotiation strategy, computational complexity, context-free grammar,
	Summary \| Full Text:PDF(543.3KB)

On the Generative Power of Multiple Context-Free Grammars and Macro Grammars Hiroyuki SEKI Yuki KATO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2008/02/01 Vol. E91-D No. 2 pp. 209-221 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science) Category: Formal Language Theory Keyword: multiple context-free grammar, macro grammar, context-free tree grammar, generative power, linearity,
	Summary \| Full Text:PDF(347.8KB)

A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power Isao YAGI Yoshiaki TAKATA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2007/05/01 Vol. E90-D No. 5 pp. 799-807 Type of Manuscript: PAPER Category: Automata and Formal Language Theory Keyword: labeled transition system, pushdown automaton, formal model, aspect-oriented programming, AspectJ,
	Summary \| Full Text:PDF(323.9KB)

An Efficient Method for Optimal Probe Deployment of Distributed IDS Jing WANG Naoya NITTA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/08/01 Vol. E88-D No. 8 pp. 1948-1957 Type of Manuscript: PAPER Category: Dependable Computing Keyword: network security, intrusion detection, network IDS, distributed IDS, IDS partition deployment problem,
	Summary \| Full Text:PDF(1.1MB)

Policy Controlled System and Its Model Checking Shigeta KUNINOBU Yoshiaki TAKATA Naoya NITTA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/07/01 Vol. E88-D No. 7 pp. 1685-1696 Type of Manuscript: PAPER Category: Application Information Security Keyword: policy control, policy controlled system, verification, model checking, pushdown system,
	Summary \| Full Text:PDF(1.3MB)

On the Generative Power of Grammars for RNA Secondary Structure Yuki KATO Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/01/01 Vol. E88-D No. 1 pp. 53-64 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science) Category: Keyword: RNA secondary structure, pseudoknot, multiple context-free grammar, tree adjoining grammar,
	Summary \| Full Text:PDF(390.5KB)

Likelihood Function for QRM-MLD Suitable for Soft-Decision Turbo Decoding and Its Performance for OFCDM MIMO Multiplexing in Multipath Fading Channel Hiroyuki KAWAI Kenichi HIGUCHI Noriyuki MAEDA Mamoru SAWAHASHI Takumi ITO Yoshikazu KAKURA Akihisa USHIROKAWA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2005/01/01 Vol. E88-B No. 1 pp. 47-57 Type of Manuscript: Special Section PAPER (Special Section on Multi-carrier Signal Processing Techniques for Next Generation Mobile Communications--Part 1) Category: MIMO Keyword: MIMO, OFCDM, QR decomposition, maximum likelihood detection, turbo coding,
	Summary \| Full Text:PDF(1.7MB)

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property Toshinori TAKAI Hiroyuki SEKI Youhei FUJINAKA Yuichi KAJI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/02/01 Vol. E86-D No. 2 pp. 285-295 Type of Manuscript: Special Section PAPER (Special Issue on Selected Papers from LA Symposium) Category: Term Rewriting Systems Keyword: term rewriting system, tree automaton, recognizability, recognizability preserving property, layered transducing TRS,
	Summary \| Full Text:PDF(322.6KB)

Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable Toshinori TAKAI Yuichi KAJI Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/03/01 Vol. E85-D No. 3 pp. 487-496 Type of Manuscript: PAPER Category: Theory/Models of Computation Keyword: term rewriting system, termination, tree automaton,
	Summary \| Full Text:PDF(496KB)

Verification of a Microcomputer Program Specification Embedded in a Reactive System Yasunori ISHIHARA Kiichiro NINOMIYA Hiroyuki SEKI Daisuke TAKAHARA Yutaka YAMADA Shigesada OMOTO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/05/25 Vol. E83-D No. 5 pp. 1082-1091 Type of Manuscript: PAPER Category: Software Engineering Keyword: compositional verification, model checking, reactive system, reachability graph,
	Summary \| Full Text:PDF(806.3KB)

A Formal Approach to Detecting Security Flaws in Object-Oriented Databases Toshiyuki MORITA Yasunori ISHIHARA Hiroyuki SEKI Minoru ITO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/01/25 Vol. E82-D No. 1 pp. 89-98 Type of Manuscript: Special Section PAPER (Special Issue on New Generation Database Technologies) Category: Theoretical Aspects Keyword: object-oriented database, authorization, security flaw, term rewriting system,
	Summary \| Full Text:PDF(348.1KB)

Efficient Recognition Algorithms for Parallel Multiple Context-Free Languages and for Multiple Context-Free Languages Ryuichi NAKANISHI Keita TAKADA Hideki NII Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/11/25 Vol. E81-D No. 11 pp. 1148-1161 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: parallel multiple context-free grammar, multiple context-free grammar, boolean matrices multiplication, recognition algorithm, formal grammar,
	Summary \| Full Text:PDF(1MB)

An Authorization Model for Object-Oriented Databases and Its Efficient Access Control Toshiyuki MORITA Yasunori ISHIHARA Hiroyuki SEKI Minoru ITO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/06/25 Vol. E81-D No. 6 pp. 521-531 Type of Manuscript: PAPER Category: Databases Keyword: database management system, access control, authorization model, inference rule,
	Summary \| Full Text:PDF(930.1KB)

Testing Type Consistency of Method Schemas Hiroyuki SEKI Yasunori ISHIHARA Hiroki DODO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/03/25 Vol. E81-D No. 3 pp. 278-287 Type of Manuscript: PAPER Category: Software Theory Keyword: object-oriented programming, method schema, base method, user method, consistency,
	Summary \| Full Text:PDF(819.5KB)

Tree Automaton with Tree Memory Ryuichi NAKANISHI Izumi HAYAKAWA Hiroyuki SEKI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/02/25 Vol. E81-D No. 2 pp. 161-170 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: tree automaton, tree automaton with tree memory, formal language, natural language, unification-based grammar,
	Summary \| Full Text:PDF(684.6KB)

Assignment of Data Types to Words in a Natural Language Specification Yasunori ISHIHARA Atsushi OHSAKI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/06/25 Vol. E79-D No. 6 pp. 820-828 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: natural language specification, algebraic specification, data type,
	Summary \| Full Text:PDF(777.8KB)

A Polynomial-Time Recognizable Subclass of Lexical-Functional Grammars Sachiko ANDO Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/10/25 Vol. E77-D No. 10 pp. 1067-1076 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: lexical-functional grammar, modified head grammar, formal language, generative capacity,
	Summary \| Full Text:PDF(754.6KB)

A Polynomial Time Learning Algorithm for Recognizable Series Hiroyuki OHNISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/10/25 Vol. E77-D No. 10 pp. 1077-1085 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: computational learning theory, recognizable series, automata, formal language,
	Summary \| Full Text:PDF(669.2KB)

A Note on Inadequacy of the Model for Learning from Queries Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/08/25 Vol. E77-D No. 8 pp. 861-868 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: computational learning theory, learning correctly from queries, formal language, extracting long counter example,
	Summary \| Full Text:PDF(715.1KB)

Finite State Translation Systems and Parallel Multiple Context-Free Grammars Yuichi KAJI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/06/25 Vol. E77-D No. 6 pp. 619-630 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: finite state translation systems, parallel multiple context-free grammars, tree automata, computational complexity, formal languages,
	Summary \| Full Text:PDF(925KB)

A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies Yasunori ISHIHARA Hiroyuki SEKI Tadao KASAMI Jun SHIMABUKURO Kazuhiko OKAWA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/12/25 Vol. E76-D No. 12 pp. 1479-1489 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: natural language specification, algebraic specification, communication protocol, translation,
	Summary \| Full Text:PDF(951.3KB)

A Verification Method via Invariant for Communication Protocols Modeled as Extended Communicating Finite-State Machines Masahiro HIGUCHI Osamu SHIRAKAWA Hiroyuki SEKI Mamoru FUJII Tadao KASAMI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1993/11/25 Vol. E76-B No. 11 pp. 1363-1372 Type of Manuscript: PAPER Category: Signaling System and Communication Protocol Keyword: integral register, unbounded communication channel, safety property, term rewriting system, OSI session protocol,
	Summary \| Full Text:PDF(892KB)

A Method of Composing Communication Protocols with Priority Service Masahiro HIGUCHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-B No. 10 pp. 1032-1042 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: communication protocol, communicating sequential machines, safety property, verification, reachability analysis,
	Summary \| Full Text:PDF(878.3KB)

On the Generative Capacity of Lexical-Functional Grammars Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/07/25 Vol. E75-D No. 4 pp. 509-516 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: lexical-functional grammars, formal language, automata, generative capacity,
	Summary \| Full Text:PDF(713.1KB)

The Universal Recognition Problems for Parallel Multiple Context-Free Grammars and for Their Subclasses Yuichi KAJI Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/07/25 Vol. E75-D No. 4 pp. 499-508 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: parallel multiple context-free grammars, universal recognition problem, computational complexity, formal language,
	Summary \| Full Text:PDF(810.4KB)

The Universal Recognition Problems for Multiple Context-Free Grammars and for Linear Context-Free Rewriting Systems Yuichi KAJI Ryuichi NAKANISI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/01/25 Vol. E75-D No. 1 pp. 78-88 Type of Manuscript: Special Section PAPER (Special Section on Theoretical Foundations of Computing) Category: Keyword: multiple context-free grammars, recognition problem, computational complexity, formal language,
	Summary \| Full Text:PDF(881.6KB)