Selected Publications, Hiroyuki Seki

Journal Papers

  1. Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki, Dynamic Programming Algorithms and Grammatical Modeling for Protein Beta-Sheet Prediction, Journal of Computational Biology, Journal of Computational Biology, 16(7), 945-957, July 2009.
  2. Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki, A Grammatical Approach to RNA-RNA Interaction Prediction, Pattern Recognition, 42, 531-538, April 2009.
  3. Hiroyuki Seki and Yuki Kato, On the Generative Power of Multiple Context-Free Grammars and Macro Grammars, IEICE Transactions on Information and Systems, E91-D(2), 209-221, Feb. 2008.
  4. Yasunori Ishihara, Toshiyuki Morita, Hiroyuki Seki and Minoru Ito, An Equational Logic Based Approach to the Security Problem against Inference Attacks on Object-Oriented Databases, Journal of Computer and System Sciences, 73, 788-817, 2007.
  5. Yuki Kato, Hiroyuki Seki and Tadao Kasami, RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar, IPSJ Transactions on Bioinformatics, 47, SIG 17(TBIO 1), 12-21, Nov. 2006. The authors received
    2007 IPSJ Best Paper Award (May 2008), 2006 SIGBIO Best Paper Award (December 2008) and
    2006 IPSJ Digital Courier Funai Young Researcher Encouragement Award (March 2007).
  6. Yasunori Ishihara, Shin Ishii, Hiroyuki Seki and Minoru Ito, Temporal Reasoning about Two Concurrent Sequence of Events, SIAM Journal on Computing, 34(2), 498-513, 2005.
  7. Yuki Kato, Hiroyuki Seki and Tadao Kasami, On the Generative Power of Grammars for RNA Secondary Structure, IEICE Transactions on Information and Systems, E88-D(1), 53-64, Jan. 2005.
  8. Yasunori Ishihara, Shogo Shimizu, Hiroyuki Seki and Minoru Ito, Refinements of Complexity Results on Type Consistency for Object-Oriented Databases, Journal of Computer and System Sciences, 62(4), 537-564, 2001.
  9. Yuichi Kaji, Ryuichi Nakanishi, Hiroyuki Seki and Tadao Kasami, The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars, Computational Intelligence, 10(4), 431-443, Nov. 1994.
  10. Hiroyuki Ohnishi, Hiroyuki Seki and Tadao Kasami, A Polynomial Time Learning Algorithm for Recognizable Series, IEICE Transactions on Information and Systems, E77-D(10), 1077-1085 Oct. 1994.
  11. Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii and Tadao Kasami, On Multiple Context-Free Grammars, Theoretical Computer Science, 88(2), 191-229, Oct. 1991.
  12. Katsuro Inoue, Hiroyuki Seki and Hikaru Yagi, Analysis of Functional Programs to Detect Run-Time Garbage Cells, ACM Transactions on Programming Languages and Systems, 10(4), 555-578, Oct. 1988.
  13. Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi and Tadao Kasami, Compiling and Optimizing Methods for the Functional Language ASL/F, Science of Computer Programming, 7(3), 297-312, 1986.

Conference Papers

  1. Nobuyoshi Mizoguchi, Yuki Kato and Hiroyuki Seki, A Grammar-Based Approach to RNA Pseudoknotted Structure Prediction for Aligned Sequences, 1st IEEE International Conference on Computational Advances in Bio and medical Sciences (ICCABS 2011), pp.135-140, Orlando, Florida, Feb. 2011.
  2. Yoshiaki Takata and Hiroyuki Seki, Automatic Generation of History-based Access Control from Information Flow Specification, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Singapore, Sept. 2010, Lecture Notes in Computer Science 6252, pp.259-275.
  3. Ryo Yoshinaka, Yuichi Kaji and Hiroyuki Seki, Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages, 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Trier, Germany, May 2010, Lecture Notes in Computer Science 6031, pp.596-607.
  4. Hitoshi Ohsaki and Hiroyuki Seki, Languages Modulo Normalization, 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007), Liverpool, U.K., Sept. 2007, Lecture Notes in Artificial Intelligence 4720, pp.221-236.
  5. Jing Wang, Yoshiaki Takata and Hiroyuki Seki, HBAC: A Model for History-based Access Control and Its Model Checking, 11th European Symposium On Research In Computer Security (ESORICS 2006), Hamburg, Germany, Sept. 2006, Lecture Notes in Computer Science 4189, pp.263-278.
  6. Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata and Hiroyuki Seki, Integrating Presence Inference into Trust Management for Ubiquitous Systems, 11th ACM Symposium on Access Control Models and Technologies (ACM SACMAT 2006), pp.59-68, CA, June 2006.
  7. Isao Yagi, Yoshiaki Takata and Hiroyuki Seki, A Static Analysis using Tree Automata for XML Access Control, 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan, Oct. 2005, Lecture Notes in Computer Science 3707, pp.234-247.
  8. Susumu Kiyamura, Yoshiaki Takata and Hiroyuki Seki, Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition, 5th International Conference on Parallel Processing and Applied Mathematics (PPAM 2003), Czestochowa, Poland, Sept. 2003, Lecture Notes in Computer Science 3019, pp.298-305.
  9. Naoya Nitta and Hiroyuki Seki, An Extension of Pushdown System and Its Model Checking Method, 14th International Conference on Concurrency Theory (CONCUR 2003), Marseille, France, Sept. 2003, Lecture Notes in Computer Science 2761, pp.281-295.
  10. Hitoshi Ohsaki, Hiroyuki Seki and Toshinori Takai, Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism, 14th International Conference on Rewriting Techniques and Applications (RTA 2003), Valencia, Spain, June 2003, Lecture Notes in Computer Science 2706, pp.483-498.
  11. Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae and Hiroyuki Seki, A Specification Language for Distributed Policy Control, 4th International Conference on Information and Communications Security (ICICS 2002), Singapore, Dec. 2002, Lecture Notes in Computer Science 2513, pp.386-398.
  12. Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka and Yuichi Kaji, Layered Transducing Term Rewriting System and Its Recognizability Preserving Property, 13th International Conference on Rewriting Techniques and Applications (RTA 2002), Copenhagen, Denmark, July 2002, Lecture Notes in Computer Science 2378, pp.98-113.
  13. Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki and Katsuro Inoue, An Efficient Information Flow Analysis of Recursive Programs based on a Lattice Model of Security Classes, 3rd International Conference on Information and Communications Security (ICICS 2001), Xian, China, Nov. 2001, Lecture Notes in Computer Science 2229, pp.292-303.
  14. Naoya Nitta, Yoshiaki Takata and Hiroyuki Seki, An Efficient Security Verification Method for Programs with Stack Inspection, 8th ACM Conference on Computer and Communications Security (ACM CCS 2001), pp.68-77, Philadelphia, Pennsylvania, Nov. 2001.
  15. Naoya Nitta, Yoshiaki Takata and Hiroyuki Seki, Security Verification of Programs with Stack Inspection, 6th ACM Symposium on Access Control Models and Technologies, (ACM SACMAT 2001), Chantilly, Virginia, 31-40, May 2001.
  16. Yoshiaki Takata, Kokoro Nakagawa and Hiroyuki Seki, Flexible Category Structure for Supporting WWW Retrieval, 2nd International Workshop on The World Wide Web and Conceptual Modeling (WCM 2000), Salt Lake City, Utah, Oct. 2000, Lecture Notes in Computer Science, 1921, 165-177.
  17. Toshinori Takai, Yuichi Kaji and Hiroyuki Seki, Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability, 11th International Conference on Rewriting Techniques and Applications (RTA 2000), Norwich, U.K. July 2000. Lecture Notes in Computer Science 1833, 246-260.
  18. Ryuichi Nakanishi, K. Takada and Hiroyuki Seki, An Efficient Recognition Algorithm for Multiple Context-Free Languages, 5th Meeting on the Mathematics of Language (MOL 1997), Saarbruecken, Germany, 119-123, Aug. 1997.
  19. Yasunori Ishihara, Hiroyuki Seki and Minoru Ito, Type-Consistency Problems for Queries in Object-Oriented Databases, 6th International Conference on Database Theory (ICDT 1997), Jan. 1997, Lecture Notes in Computer Science 1186, pp.364-378,
  20. Hiroyuki Seki, Yasunori Ishihara and Minoru Ito, Authorization Analysis of Queries in Object-Oriented Databases, 4th International Conference on Deductive and Object-Oriented Databases (DooD 1995), Singapore, Dec. 1995, Lecture Notes in Computer Science 1013, pp.521-538.
  21. Hiroyuki Seki, Ryuichi Nakanishi, Yuchi Kaji, Sachiko Ando and Tadao Kasami, Parallel Multiple Context-Free Grammars, Finite-State Translation Systems and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars, 31st Annual Meeting of the Association for Computational Linguistics (ACL 1993), pp.130-139, Columbus, Ohio, June 1993.
  22. Yasunori Ishihara, Hiroyuki Seki and Tadao Kasami, A Translation Method from Natural Language Specifications into Formal Specifications Using Contextual Dependencies, IEEE International Symposium on Requirements Engineering (RE 1993), pp.232-239, San Diego, California, Jan. 1993.
  23. Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii and Tadao Kasami, A Verification Procedure via Invariant for Extended Communicating Finite-State Machines, 4th Workshop on Computer Aided Verification (CAV 1992), Montreal, Canada, June, 1992, Lecture Notes in Computer Science, 663, pp.384-395.

Complete publication list