Hiroyuki Seki

Hiroyuki Seki, Dai Kimura, Junji Otonari, 2013, 2013 IEEE 24th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC).

Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition

Hiroyuki Seki, Yoshiaki Takata, Susumu Kiyamura, 2003, PPAM.

Membership problem for head languages and multiple context-free languages

Tadao Kasami, Hiroyuki Seki, Mamoru Fujii, 1989, Systems and Computers in Japan.

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT

Hiroyuki Seki, Shoji Yuen, Yutaka Inamori, 2020, J. Inf. Process..

Throughput Performance of Pre-coding MIMO Transmission with Multi-Beam Selection

Hiroyuki Seki, Masafumi Tsutsui, 2007, 2007 IEEE International Conference on Communications.

Subclasses of Tree Adjoining Grammar for RNA Secondary Structure

Tadao Kasami, Hiroyuki Seki, Yuki Kato, 2004, TAG+.

Estimation of position and orientation of multiple robots handling an unknown single object in coordination

Kazuhiro Kosuge, Hiroyuki Seki, K. Kosuge, 1999, Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients (Cat. No.99CH36289).

Flexible Category Structure for Supporting WWW Retrieval

Hiroyuki Seki, Yoshiaki Takata, Kokoro Nakagawa, 2000, ER.

New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation

Hiroyuki Seki, Hisashi Mohri, Ikuya Yasuda, 2008 .

Principles of algebraic language ASL

Tadao Kasami, Hiroyuki Seki, Yuji Sugiyama, 1987, Systems and Computers in Japan.

Effect of customer premises directional antennas on fixed wireless access systems in the downlink multipath channel

Hiroyuki Seki, Arogyaswami Paulraj, Osama W. Ata, 2001, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240).

Compiling and Optimizing Methods for the Functional Language ASL/F

Katsuro Inoue, Tadao Kasami, Hiroyuki Seki, 1986, Sci. Comput. Program..

THE COMPUTATIONAL COMPLEXITY OF THE UNIVERSAL RECOGNITION PROBLEM FOR PARALLEL MULTIPLE CONTEXT‐FREE GRAMMARS

Tadao Kasami, Hiroyuki Seki, Yuichi Kaji, 1994, Comput. Intell..

A Static Analysis Using Tree Automata for XML Access Control

Hiroyuki Seki, Isao Yagi, Yoshiaki Takata, 2005, ATVA.

Counting Algorithms for Recognizable and Algebraic Series

Hiroyuki Seki, Kenji Hashimoto, Bao Trung Chu, 2018, IEICE Trans. Inf. Syst..

Analysis of TV White Space Availability in Japan

Hiroyuki Seki, Tsuyoshi Shimomura, Teppei Oyama, 2012, 2012 IEEE Vehicular Technology Conference (VTC Fall).

Information theoretical evaluation of the bucketing technique to mitigate timing attacks

Hiroyuki Seki, Yuichi Kaji, Yasuyuki Kobayashi, 2014, 2014 International Symposium on Information Theory and its Applications.

A method for translating natural language program specifications into algebraic specifications

Tadao Kasami, Hiroyuki Seki, Takashi Matsumura, 1992, Systems and Computers in Japan.

Selection of Component Carriers Using Centralized Baseband Pooling for LTE-Advanced Heterogeneous Networks

Hiroyuki Seki, Dai Kimura, Takaharu Kobayashi, 2013, IEICE Trans. Commun..

Policy Controlled System and Its Model Checking

Hiroyuki Seki, Naoya Nitta, Yoshiaki Takata, 2005, IEICE Trans. Inf. Syst..

Security verification of programs with stack inspection

Hiroyuki Seki, Naoya Nitta, Yoshiaki Takata, 2001, SACMAT '01.

Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions

Hiroyuki Seki, Tadashi Nakamura, Nobukazu Fudaba, 2016, 2016 IEEE 83rd Vehicular Technology Conference (VTC Spring).

TV white space availability in Japan estimated using D/U-based and I/N-based protection rules

Hiroyuki Seki, Tsuyoshi Shimomura, Teppei Oyama, 2012, 2012 IEEE Global Communications Conference (GLOBECOM).

Reachability of Patterned Conditional Pushdown Systems

Hiroyuki Seki, Xin Li, Yuxin Deng, 2020, J. Comput. Sci. Technol..

Dicidability and complexity of the security verification problem for programs with stack inspection

Hiroyuki Seki, Naoya Nitta, Yoshiaki Takata, 2001 .

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

Hiroyuki Seki, Kenji Hashimoto, Kazuki Miyahara, 2015 .

Capacity enhancement in quad-sector cell architecture with interleaved channel and polarization assignments

Hiroyuki Seki, Arogyaswami Paulraj, Osama W. Ata, 2001, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240).

On the Generative Power of Multiple Context-Free Grammars and Macro Grammars

Hiroyuki Seki, Yuki Kato, 2008, IEICE Trans. Inf. Syst..

Authorization Analysis of Queries in Object-Oriented Databases

Minoru Ito, Hiroyuki Seki, Yasunori Ishihara, 1995, DOOD.

Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling

Tadao Kasami, Hiroyuki Seki, Yuki Kato, 2006, TAG.

Calibration of coordinate system for decentralized coordinated motion control of multiple manipulators

Kazuhiro Kosuge, Hiroyuki Seki, Tomohiro Oosumi, 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

Type-Consistency Problems for Queries in Object-Oriented Databases

Minoru Ito, Hiroyuki Seki, Yasunori Ishihara, 1997, ICDT.

The generative power of multiple context-free grammars and head grammars

Tadao Kasami, Hiroyuki Seki, Mamoru Fujii, 1991, Systems and Computers in Japan.

Certificate Chain Discovery in Web of Trust for Ad Hoc Networks

Hiroyuki Seki, Yoshiaki Takata, Hisashi Mouri, 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

An Extension of Pushdown System and Its Model Checking Method

Hiroyuki Seki, Naoya Nitta, 2003, CONCUR.

Automatic Generation of History-Based Access Control from Information Flow Specification

Hiroyuki Seki, Yoshiaki Takata, 2010, ATVA.

Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism

Hiroyuki Seki, Toshinori Takai, Hitoshi Ohsaki, 2003, RTA.

A Specification Language for Distributed Policy Control

Hiroyuki Seki, Yoshiaki Takata, Daigo Taguchi, 2002, ICICS.

A phase connection method for communication protocols

Tadao Kasami, Hiroyuki Seki, Masahiro Higuchi, 1996, Systems and Computers in Japan.

Complexity Results on Register Pushdown Automata pdf

Hiroyuki Seki, Yoshiaki Takata, Ryoma Senda, 2019, ArXiv.

Complexity Results on Register Context-Free Grammars and Register Tree Automata

Hiroyuki Seki, Yoshiaki Takata, Ryoma Senda, 2018, ICTAC.

An Efficient Method for Optimal Probe Deployment of Distributed IDS

Jing Wang, Hiroyuki Seki, Naoya Nitta, 2005, IEICE Trans. Inf. Syst..

Query Rewriting for Nondeterministic Tree Transducers

Hiroyuki Seki, Kenji Hashimoto, Kazuki Miyahara, 2016, IEICE Trans. Inf. Syst..

Blind and Semi-Blind Sparse Channel Identification in MIMO OFDM Systems

Hiroyuki Seki, Abdeldjalil Aïssa-El-Bey, Tomohiko Taniguchi, 2011, 2011 IEEE International Conference on Communications (ICC).

Refinements of Complexity Results on Type Consistency for Object-Oriented Databases

Minoru Ito, Hiroyuki Seki, Yasunori Ishihara, 2001, J. Comput. Syst. Sci..

Analysis of functional programs to detect run-time garbage cells

Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi, 1988, TOPL.

Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach

Tatsuya Akutsu, Hiroyuki Seki, Yuki Kato, 2008, PRIB.

Experimental Trials of 5G Ultra High-Density Distributed Antenna Systems

Satoshi Suyama, Hiroyuki Seki, Takashi Dateki, 2019, 2019 IEEE 90th Vehicular Technology Conference (VTC2019-Fall).

Events and Sightings

Tim Bergin, Chigusa Kita, Hiroyuki Seki, 2007, IEEE Ann. Hist. Comput..

Likelihood Function for Complexity-reduced Maximum Likelihood Detection Based on Symbol Replica-Candidate Selection with QR Decomposition Suitable to Soft-Decision Turbo Decoding in OFCDM MIMO Multiplexing

Hiroyuki Seki, Noriyuki Maeda, Kenichi Higuchi, 2004 .

Optimal Run Problem for Weighted Register Automata

Hiroyuki Seki, Yoshiaki Takata, Reo Yoshimura, 2019, ICTAC.

Direct Update of XML Documents with Data Values Compressed by Tree Grammars

Hiroyuki Seki, Kenji Hashimoto, Ryunosuke Takayama, 2018, IEICE Trans. Inf. Syst..

Efficient selection of user sets for downlink non-orthogonal multiple access

Hiroyuki Seki, Takashi Dateki, Takashi Seyama, 2015, 2015 IEEE 26th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC).

Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation

Hiroyuki Seki, Kenji Hashimoto, Bao Trung Chu, 2019, IEICE Trans. Inf. Syst..

A Translation from a Fragment of XPath to Deterministic Selecting Tree Automata with Lookahead Using Schemas

Hiroyuki Seki, Hashimoto Kenji, Kawamoto Masaya, 2017 .

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

Hiroyuki Seki, Kenji Hashimoto, Kazuki Miyahara, 2013, TTATT.

Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction

Tatsuya Akutsu, Hiroyuki Seki, Yuki Kato, 2009, J. Comput. Biol..

Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation

Hiroyuki Seki, Yoshiaki Takata, 2009, IEICE Trans. Inf. Syst..

An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems

Hiroyuki Seki, Masahiko Sakai, Yutaro Nagae, 2016, WPTE@FSCD.

Temporal Reasoning about Two Concurrent Sequences of Events

Shin Ishii, Minoru Ito, Hiroyuki Seki, 2004, SIAM J. Comput..

Centralized Inter-Cell Interference Coordination Using Multi-Band 3D Beam-Switching in Cellular Networks

Fumiyuki Adachi, Hiroyuki Seki, 2015, IEICE Trans. Commun..

Analysis of power consumption in mobile backhaul network with densely deployed small cells under dynamic traffic behavior

Hiroyuki Seki, Xi Wang, Kyosuke Sone, 2016, 2016 21st OptoElectronics and Communications Conference (OECC) held jointly with 2016 International Conference on Photonics in Switching (PS).

An equational logic based approach to the security problem against inference attacks on object-oriented databases

Minoru Ito, Hiroyuki Seki, Yasunori Ishihara, 2007, J. Comput. Syst. Sci..

Generalized Register Context-Free Grammars

Hiroyuki Seki, Yoshiaki Takata, Ryoma Senda, 2020, IEICE Trans. Inf. Syst..

Robust Scheduler Prioritizing UEs with Time-Variant Channels in Small-Delay Slots from Channel Estimation Timing for 5G Large-Scale MU-MIMO

Hiroyuki Seki, Takashi Dateki, Shinya Kumagai, 2018, 2018 IEEE 88th Vehicular Technology Conference (VTC-Fall).

Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query

Hiroyuki Seki, Kenji Hashimoto, Takeshi Takeda, 2019, 2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS).

Languages Modulo Normalization

Hiroyuki Seki, Hitoshi Ohsaki, H. Seki, 2007, FroCoS.

Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments

Satoshi Suyama, Yukihiko Okumura, Hiroyuki Seki, 2017, 2017 IEEE 86th Vehicular Technology Conference (VTC-Fall).

Decentralized control of multiple manipulators handling an object in coordination based on impedance control of each arm

Kazuhiro Kosuge, Hiroyuki Seki, Tomohiro Oosumi, 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars

Tadao Kasami, Hiroyuki Seki, Yuichi Kaji, 1993, ACL.

Integrating presence inference into trust management for ubiquitous systems

Hiroyuki Seki, Yoshiaki Takata, Itaru Hosomi, 2006, SACMAT '06.

Comparison of the Expressive Power of Language-Based Access Control Models

Hiroyuki Seki, Yoshiaki Takata, 2009, IEICE Trans. Inf. Syst..

Analysis and implementation method of program to detect inappropriate information leak

Katsuro Inoue, Hiroyuki Seki, Fumiaki Ohata, 2001, Proceedings Second Asia-Pacific Conference on Quality Software.

Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design

Hiroyuki Seki, Yoshiaki Takata, Mizuho Ikeda, 2000, Multi-Conference on Systemics, Cybernetics and Informatics.

Generalized context-free grammars and multiple context-free grammars

Tadao Kasami, Hiroyuki Seki, Mamoru Fujii, 1989, Systems and Computers in Japan.

A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power

Hiroyuki Seki, Isao Yagi, Yoshiaki Takata, 2007, IEICE Trans. Inf. Syst..

Optimal run problem for weighted register automata

Hiroyuki Seki, Yoshiaki Takata, Reo Yoshimura, 2021, Theor. Comput. Sci..

Deciding Schema k-Secrecy for XML Databases

Hiroyuki Seki, Kenji Hashimoto, Chittaphone Phonharath, 2013, IEICE Trans. Inf. Syst..

An efficient security verification method for programs with stack inspection

Hiroyuki Seki, Naoya Nitta, Yoshiaki Takata, 2001, CCS '01.

Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers

Toru Fujiwara, Hiroyuki Seki, Kenji Hashimoto, 2013, LATA.

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property

Hiroyuki Seki, Yuichi Kaji, Toshinori Takai, 2002, RTA.

Foreword

Hiroyuki Seki, 2010, IEICE Trans. Inf. Syst..

Likelihood Function for QRM-MLD Suitable for Soft-Decision Turbo Decoding and Its Performance for OFCDM MIMO Multiplexing in Multipath Fading Channel

Hiroyuki Kawai, Mamoru Sawahashi, Hiroyuki Seki, 2005, IEICE Trans. Commun..

A grammar-based approach to RNA pseudoknotted structure prediction for aligned sequences

Hiroyuki Seki, Yuki Kato, Nobuyoshi Mizoguchi, 2011, 2011 IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences (ICCABS).

Generalized Register Context-Free Grammars

Hiroyuki Seki, Yoshiaki Takata, Ryoma Senda, 2019, LATA.

On the Generative Power of Grammars for RNA Secondary Structure

Tadao Kasami, Hiroyuki Seki, Yuki Kato, 2005, IEICE Trans. Inf. Syst..

A post-haiyan community level mobility model

Keiichi Yasumoto, Hiroyuki Seki, Jovilyn Therese B. Fajardo, 2015, 2015 Eighth International Conference on Mobile Computing and Ubiquitous Networking (ICMU).

Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming

Hiroyuki Seki, Shoji Yuen, Yosuke Watanabe, 2020, 2020 IEEE International Conference on Prognostics and Health Management (ICPHM).

An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes

Katsuro Inoue, Hiroyuki Seki, Yoshiaki Takata, 2001, ICICS.

Likelihood function for QRM-MLD suitable for soft-decision turbo decoding and its performance for OFCDM MIMO multiplexing in multipath fading channel

Hiroyuki Kawai, Mamoru Sawahashi, Hiroyuki Seki, 2004, 2004 IEEE 15th International Symposium on Personal, Indoor and Mobile Radio Communications (IEEE Cat. No.04TH8754).

Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability

Hiroyuki Seki, Yuichi Kaji, Toshinori Takai, 2000, RTA.

Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages

Ryo Yoshinaka, Hiroyuki Seki, Yuichi Kaji, 2010, LATA.

HBAC: A Model for History-Based Access Control and Its Model Checking

Jing Wang, Hiroyuki Seki, Yoshiaki Takata, 2006, ESORICS.

Scheduler Reducing CSI Feedback Overhead and Computational Complexity for 5G Ultra High-Density Distributed Antenna Systems with Hybrid BF

Hiroyuki Seki, Takashi Dateki, Shinya Kumagai, 2017, 2017 IEEE 86th Vehicular Technology Conference (VTC-Fall).

Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook

Hiroyuki Seki, Masafumi Tsutsui, 2007, 2007 IEEE 65th Vehicular Technology Conference - VTC2007-Spring.

An information-leak analysis system based on program slicing

Katsuro Inoue, Hiroyuki Seki, Fumiaki Ohata, 2002, Inf. Softw. Technol..