|
|
naistar (NAIST Academic Repository) >
Browsing by Author Seki, Hiroyuki
Showing results 2 to 12 of 12
| Issue Date | Title | Author(s) | | Mar-2001 | Dicidability and complexity of the security verification problem for programs with stack inspection | Nitta, Naoya; Ikada, Satoshi; Takata, Yoshiaki; Seki, Hiroyuki |
| Jun-2003 | An extension of pushdown system and its model checking method | Nitta, Naoya; Seki, Hiroyuki |
| Dec-1993 | Finite state translation systems and parallel multiple context-free grammars | Kasami, Tadao; Seki, Hiroyuki; Kaji, Yuichi |
| Dec-2000 | Flexible category structure for supporting document retrieval and its evaluation | Nakagawa, Kokoro; Takata, Yoshiaki; Seki, Hiroyuki |
| Jul-1994 | Implementation of natural language specifications of communication protocols by executable specifications | Kasami, Tadao; Seki, Hiroyuki; Ishihara, Yasunori |
| 1-Feb-2003 | Layered transducing term rewriting system and its recognizability preserving property | Takai, Toshinori; Seki, Hiroyuki; Fujinaka, Youhei; Kaji, Yuichi |
| Sep-2006 | On the generative power of multiple context-free grammars and macro grammars | Seki, Hiroyuki; Kato, Yuki |
| Oct-2005 | A presence-aware trust management system | Takata, Yoshiaki; Noda, Jun; Takahashi, Mie; Mouri, Hisashi; Hosomi, Itaru; Taguchi, Daigo; Seki, Hiroyuki |
| Mar-2006 | Stochastic multiple context-free grammar for RNA pseudoknot modeling | Kato, Yuki; Seki, Hiroyuki |
| Aug-1999 | A sufficient condition for the termination of the procedure for solving an order-sorted unification problem | Takai, Toshinori; Kaji, Yuichi; Seki, Hiroyuki |
| Apr-1998 | The Type-Consistency Problem for Queries in Object-Oriented Databases | Ishihara, Yasunori; Shimizu, Shougo; Seki, Hiroyuki; Ito, Minoru |
Showing results 2 to 12 of 12
|
