Hiroyuki Seki
Hiroyuki Seki
Graduate School of Informatics, Nagoya University
Verified email at i.nagoya-u.ac.jp
Title
Cited by
Cited by
Year
On multiple context-free grammars
H Seki, T Matsumura, M Fujii, T Kasami
Theoretical Computer Science 88 (2), 191-229, 1991
4931991
Right-linear finite path overlapping term rewriting systems effectively preserve recognizability
T Takai, Y Kaji, H Seki
International Conference on Rewriting Techniques and Applications, 246-260, 2000
1062000
Analysis of functional programs to detect run-time garbage cells
K Inoue, H Seki, H Yagi
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (4), 555-578, 1988
841988
A grammatical approach to RNA–RNA interaction prediction
Y Kato, T Akutsu, H Seki
Pattern Recognition 42 (4), 531-538, 2009
432009
RNA pseudoknotted structure prediction using stochastic multiple context-free grammar
Y Kato, H Seki, T Kasami
IPSJ Digital Courier 2, 655-664, 2006
362006
On the generative power of multiple context-free grammars and macro grammars
H Seki, Y Kato
IEICE Transactions on Information and Systems 91 (2), 209-221, 2008
322008
An efficient security verification method for programs with stack inspection
N Nitta, Y Takata, H Seki
Proceedings of the 8th ACM conference on Computer and Communications …, 2001
322001
Layered transducing term rewriting system and its recognizability preserving property
H Seki, T Takai, Y Fujinaka, Y Kaji
International Conference on Rewriting Techniques and Applications, 98-113, 2002
302002
Parallel multiple context-free grammars, finite-state translation systems, and polynomial-time recognizable subclasses of lexical-functional grammars
H Seki, R Nakanishi, Y Kaji, S Ando, T Kasami
31st Annual meeting of the association for computational linguistics, 130-139, 1993
301993
Recognizing boolean closed a-tree languages with membership conditional rewriting mechanism
H Ohsaki, H Seki, T Takai
International Conference on Rewriting Techniques and Applications, 483-498, 2003
292003
Accessibility verification of WWW documents by an automatic guideline verification tool
Y Takata, T Nakamura, H Seki
37th Annual Hawaii International Conference on System Sciences, 2004 …, 2004
262004
A translation method from natural language specifications into formal specifications using contextual dependencies
Y Ishihara, H Seki, T Kasami
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
261993
Stochastic multiple context-free grammar for RNA pseudoknot modeling
Y Kato, H Seki, T Kasami
Proceedings of the Eighth International Workshop on Tree Adjoining Grammar …, 2006
242006
HBAC: A model for history-based access control and its model checking
J Wang, Y Takata, H Seki
European Symposium on Research in Computer Security, 263-278, 2006
232006
Principles of algebraic language ASL
T Kasami, K Taniguchi, Y Sugiyama, H Seki
Systems and computers in Japan 18 (7), 11-20, 1987
231987
Generalized context-free grammars, multiple context-free grammars and head grammars
T Kasami
Preprint of WG on Natural Language of IPSJ, 1987
211987
Security verification of programs with stack inspection
N Nitta, H Seki, Y Takata
Proceedings of the sixth ACM symposium on Access control models and …, 2001
202001
The universal recognition problems for multiple context-free grammars and for linear context-free rewriting systems
Y Kaji, R NAKANISI, H Seki, T Kasami
IEICE Transactions on Information and Systems 75 (1), 78-88, 1992
191992
Compiling and optimizing methods for the functional language ASL/F
K Inoue, H Seki, K Taniguchi, T Kasami
Science of Computer Programming 7, 297-312, 1986
191986
Certificate chain discovery in web of trust for ad hoc networks
H Mohri, I Yasuda, Y Takata, H Seki
21st International Conference on Advanced Information Networking and …, 2007
182007
The system can't perform the operation now. Try again later.
Articles 1–20