Concepedia

Hiroyuki Seki

HS

22

Publications

847

Citations

15

H-Index

1986

Active since

Affiliations

Nara Institute of Science and Technology(Current)

Fujitsu (Japan)

The University of Osaka

Hiroyuki Seki is an author at Nara Institute of Science and Technology specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationSyntaxGrammarFormal MethodsSoftware AnalysisComputer EngineeringComputational LinguisticsLanguage

Publications per year

1986–2017

22

Publications

22

On multiple context-free grammars

Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii et al. · Theoretical Computer Science · 1991 · 394 citations

Syntax, Grammatical Formalism, Computational Linguistics +6

Analysis of functional programs to detect run-time garbage cells

Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi · ACM Transactions on Programming Languages and Systems · 1988 · 61 citations · Full text

Engineering, Verification, Computer Architecture +22

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

Kenichi Higuchi, H. Kawai, Noriko Maeda et al. · 2005 · 44 citations

Wireless Communications, Mimo System, Multi-carrier Communication +13

A grammatical approach to RNA–RNA interaction prediction

Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki · Pattern Recognition · 2008 · 32 citations

Functional Genomics, Engineering, Genetics +7

De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems

Dai Kimura, Yuya Harada, Hiroyuki Seki · 2011 · 31 citations

Downlink Lte Systems, Fractional Frequency Reuse, Engineering +8

Rows per page

1–5 of 22