Hiroyuki Seki
Orcid: 0000-0003-2001-7507
According to our database1,
Hiroyuki Seki
authored at least 129 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata.
IEICE Trans. Inf. Syst., 2024
Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies.
IEICE Trans. Inf. Syst., 2024
Proceedings of the Implementation and Application of Automata, 2024
Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024
Proceedings of the Developments in Language Theory - 28th International Conference, 2024
2023
Theor. Comput. Sci., September, 2023
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata.
IEICE Trans. Inf. Syst., March, 2023
IEICE Trans. Inf. Syst., March, 2023
Data Generation With Filtered β-VAE for the Preoperative Prediction of Adverse Events.
IEEE Access, 2023
When Is Context-Freeness Distinguishable from Regularity? an Extension of Parikh's Theorem.
Proceedings of the Implementation and Application of Automata, 2023
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
2022
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.
IEICE Trans. Inf. Syst., September, 2022
Theor. Comput. Sci., 2022
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022
2021
IEICE Trans. Inf. Syst., 2021
Intraoperative Hypotension Prediction System by Considering Personal Lifestyle and Medical History.
Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2021
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021
2020
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.
J. Inf. Process., 2020
J. Comput. Sci. Technol., 2020
Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming.
Proceedings of the IEEE International Conference on Prognostics and Health Management, 2020
2019
Experimental Study of Large-Scale Coordinated Multi-User MIMO for 5G Ultra High-Density Distributed Antenna Systems.
IEICE Trans. Commun., 2019
Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -.
IEICE Trans. Inf. Syst., 2019
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem.
CoRR, 2019
5G R&D Activities for High Capacity Technologies with Ultra High-Density Multi-Band and Multi-Access Layered Cells.
Proceedings of the 89th IEEE Vehicular Technology Conference, 2019
Proceedings of the 90th IEEE Vehicular Technology Conference, 2019
Proceedings of the Twelfth International Conference on Mobile Computing and Ubiquitous Network, 2019
Proposal of Anesthetic Dose Prediction Model to Avoid Post-induction Hypotension Using Electronic Anesthesia Records.
Proceedings of the Twelfth International Conference on Mobile Computing and Ubiquitous Network, 2019
Proceedings of the IEEE 4th International Conference on Computer and Communication Systems, 2019
2018
IEICE Trans. Inf. Syst., 2018
IEICE Trans. Inf. Syst., 2018
Robust Scheduler Prioritizing UEs with Time-Variant Channels in Small-Delay Slots from Channel Estimation Timing for 5G Large-Scale MU-MIMO.
Proceedings of the 88th IEEE Vehicular Technology Conference, 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
2017
Field Experiment of High-Capacity Technologies for 5G Ultra High-Density Distributed Antenna Systems.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017
Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017
Scheduler Reducing CSI Feedback Overhead and Computational Complexity for 5G Ultra High-Density Distributed Antenna Systems with Hybrid BF.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017
Proceedings of the 2nd International Conference on System Reliability and Safety, 2017
2016
IEICE Trans. Inf. Syst., 2016
Proceedings of the Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2016
Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016
2015
Centralized Inter-Cell Interference Coordination Using Multi-Band 3D Beam-Switching in Cellular Networks.
IEICE Trans. Commun., 2015
IEICE Trans. Inf. Syst., 2015
Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015
Proceedings of the Eighth International Conference on Mobile Computing and Ubiquitous Networking, 2015
2014
Information theoretical evaluation of the bucketing technique to mitigate timing attacks.
Proceedings of the International Symposium on Information Theory and its Applications, 2014
2013
Selection of Component Carriers Using Centralized Baseband Pooling for LTE-Advanced Heterogeneous Networks.
IEICE Trans. Commun., 2013
Autonomous downlink interference control for LTE femtocells in residential deployment.
Proceedings of the 24th IEEE Annual International Symposium on Personal, 2013
2012
Inf. Media Technol., 2012
TV white space availability in Japan estimated using D/U-based and I/N-based protection rules.
Proceedings of the 2012 IEEE Global Communications Conference, 2012
2011
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011
A grammar-based approach to RNA pseudoknotted structure prediction for aligned sequences.
Proceedings of the IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, 2011
Proceedings of IEEE International Conference on Communications, 2011
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011
2010
Proceedings of the Language and Automata Theory and Applications, 2010
Automatic Generation of History-Based Access Control from Information Flow Specification.
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction.
J. Comput. Biol., 2009
IEICE Trans. Inf. Syst., 2009
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation.
IEICE Trans. Inf. Syst., 2009
2008
New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation.
Inf. Media Technol., 2008
IEICE Trans. Inf. Syst., 2008
Proceedings of the Pattern Recognition in Bioinformatics, 2008
2007
An equational logic based approach to the security problem against inference attacks on object-oriented databases.
J. Comput. Syst. Sci., 2007
Inf. Media Technol., 2007
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar.
Inf. Media Technol., 2007
A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power.
IEICE Trans. Inf. Syst., 2007
Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook.
Proceedings of the 65th IEEE Vehicular Technology Conference, 2007
Proceedings of IEEE International Conference on Communications, 2007
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2006
Inf. Media Technol., 2006
Proceedings of the Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms, 2006
Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, 2006
Proceedings of the Computer Security, 2006
2005
IEICE Trans. Inf. Syst., 2005
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., 2005
IEICE Trans. Inf. Syst., 2005
2004
Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms, 2004
Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004
2003
Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.
Proceedings of the Parallel Processing and Applied Mathematics, 2003
Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language.
Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003
Proceedings of the CONCUR 2003, 2003
2002
Inf. Softw. Technol., 2002
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the Information and Communications Security, 4th International Conference, 2002
2001
J. Comput. Syst. Sci., 2001
Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, 2001
Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design.
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001
An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes.
Proceedings of the Information and Communications Security, Third International Conference, 2001
Effect of customer premises directional antennas on fixed wireless access systems in the downlink multipath channel.
Proceedings of the IEEE International Conference on Communications, 2001
Capacity enhancement in quad-sector cell architecture with interleaved channel and polarization assignments.
Proceedings of the IEEE International Conference on Communications, 2001
Proceedings of the CCS 2001, 2001
Analysis and Implementation Method of Program to Detect Inappropriate Information Leak.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001
2000
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability.
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000
Proceedings of the Conceptual Modeling for E-Business and the Web, 2000
1999
Estimation of position and orientation of multiple robots handling an unknown single object in coordination.
Proceedings of the Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients, 1999
1998
Calibration of Coordinate System for Decentralized Coordinated Motion Control of Multiple Manipulators.
Proceedings of the IEEE International Conference on Robotics and Automation, 1998
1997
Decentralized control of multiple manipulators handling an object in coordination based on impedance control of each arm.
Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97, 1997
Proceedings of the Database Theory, 1997
1996
1995
Proceedings of the Deductive and Object-Oriented Databases, 1995
1994
The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars.
Comput. Intell., 1994
1993
A translation method from natural language specifications into formal specifications using contextual dependencies.
Proceedings of IEEE International Symposium on Requirements Engineering, 1993
Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars.
Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics, 1993
1992
A method for translating natural language program specifications into algebraic specifications.
Syst. Comput. Jpn., 1992
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991
Syst. Comput. Jpn., 1991
1989
Syst. Comput. Jpn., 1989
Syst. Comput. Jpn., 1989
1988
ACM Trans. Program. Lang. Syst., 1988
1987
1986
Sci. Comput. Program., 1986
1985