On multiple context-free grammars H Seki, T Matsumura, M Fujii, T Kasami Theoretical Computer Science 88 (2), 191-229, 1991 | 435 | 1991 |

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 | 102 | 2000 |

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 | 80 | 1988 |

A grammatical approach to RNA–RNA interaction prediction Y Kato, T Akutsu, H Seki Pattern Recognition 42 (4), 531-538, 2009 | 40 | 2009 |

RNA pseudoknotted structure prediction using stochastic multiple context-free grammar Y Kato, H Seki, T Kasami IPSJ Digital Courier 2, 655-664, 2006 | 34 | 2006 |

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 | 32 | 2001 |

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 | 30 | 2008 |

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 | 30 | 2002 |

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 | 28 | 2003 |

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 | 26 | 1993 |

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 | 25 | 2004 |

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 Proceedings of the 31st annual meeting on Association for Computational …, 1993 | 24 | 1993 |

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 | 22 | 2006 |

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 | 22 | 2006 |

Principles of algebraic language ASL T Kasami, K Taniguchi, Y Sugiyama, H Seki Systems and computers in Japan 18 (7), 11-20, 1987 | 21 | 1987 |

Generalized context-free grammars, multiple context-free grammars and head grammars T Kasami Preprint of WG on Natural Language of IPSJ, 1987 | 21 | 1987 |

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 | 20 | 2001 |

An efficient recognition algorithm for multiple context-free languages R Nakanishi, K Takada, H Seki In Proceedings of the Fifth Meeting on Mathematics of Language, MOL5, 1997 | 18 | 1997 |

Authorization analysis of queries in object-oriented databases H Seki, Y Ishihara, M Ito International Conference on Deductive and Object-Oriented Databases, 521-538, 1995 | 18 | 1995 |

The universal recognition problems for parallel multiple context-free grammars and for their subclasses Y Kaji, R Nakanishi, H Seki, T Kasami IEICE TRANSACTIONS on Information and Systems 75 (4), 499-508, 1992 | 18 | 1992 |