Hiroyuki SEKI


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 transducersquery rewritingquery 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: 
determinacysubsumptiontree 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 coordination3D beam-switchingPF utilityKKT algorithmspatial 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: 
XMLtree automatatree transducersrun-based queriesquery 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 spaceprotected areainterference contourminimum separation distanceregulation
 Summary | Full Text:PDF(2.7MB)

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-advancedcarrier aggregationcomponent carrierheterogeneous networksbaseband pooling
 Summary | Full Text:PDF(2.2MB)

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 attacksecuritystatic analysisXML database
 Summary | Full Text:PDF(656KB)

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 controlstack inspectionshallow history automatonexpressive 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 managementtrust negotiationnegotiation strategycomputational complexitycontext-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 grammarmacro grammarcontext-free tree grammargenerative powerlinearity
 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 systempushdown automatonformal modelaspect-oriented programmingAspectJ
 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 securityintrusion detectionnetwork IDSdistributed IDSIDS 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 controlpolicy controlled systemverificationmodel checkingpushdown system
 Summary | Full Text:PDF(1.3MB)

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: 
MIMOOFCDMQR decompositionmaximum likelihood detectionturbo coding
 Summary | Full Text:PDF(1.7MB)

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 structurepseudoknotmultiple context-free grammartree adjoining grammar
 Summary | Full Text:PDF(390.5KB)

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 systemtree automatonrecognizabilityrecognizability preserving propertylayered 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 systemterminationtree 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 verificationmodel checkingreactive systemreachability 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 databaseauthorizationsecurity flawterm 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 grammarmultiple context-free grammarboolean matrices multiplicationrecognition algorithmformal 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 systemaccess controlauthorization modelinference 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 programmingmethod schemabase methoduser methodconsistency
 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 memoryformal languagenatural languageunification-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 specificationalgebraic specificationdata type
 Summary | Full Text:PDF(777.8KB)

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 theoryrecognizable seriesautomataformal language
 Summary | Full Text:PDF(669.2KB)

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 grammarmodified head grammarformal languagegenerative capacity
 Summary | Full Text:PDF(754.6KB)

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 theorylearning correctly from queriesformal languageextracting 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 systemsparallel multiple context-free grammarstree automatacomputational complexityformal 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 specificationalgebraic specificationcommunication protocoltranslation
 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 registerunbounded communication channelsafety propertyterm rewriting systemOSI 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 protocolcommunicating sequential machinessafety propertyverificationreachability 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 grammarsformal languageautomatagenerative 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 grammarsuniversal recognition problemcomputational complexityformal 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 grammarsrecognition problemcomputational complexityformal language
 Summary | Full Text:PDF(881.6KB)