2009 | ||
---|---|---|
42 | EE | Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki: A grammatical approach to RNA-RNA interaction prediction. Pattern Recognition 42(4): 531-538 (2009) |
2008 | ||
41 | EE | Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki: Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach. PRIB 2008: 66-77 |
40 | EE | Hiroyuki Seki, Yuki Kato: On the Generative Power of Multiple Context-Free Grammars and Macro Grammars. IEICE Transactions 91-D(2): 209-221 (2008) |
2007 | ||
39 | EE | Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki: Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. AINA Workshops (2) 2007: 479-485 |
38 | EE | Hitoshi Ohsaki, Hiroyuki Seki: Languages Modulo Normalization. FroCos 2007: 221-236 |
37 | EE | Hiroyuki Seki, Masafumi Tsutsui: Throughput Performance of Pre-coding MIMO Transmission with Multi-Beam Selection. ICC 2007: 2785-2790 |
36 | EE | Masafumi Tsutsui, Hiroyuki Seki: Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook. VTC Spring 2007: 476-480 |
35 | EE | Chigusa Kita, David L. Ferro, Dag Spicer, Kelly Rodoski, Hiroyuki Seki, Fred R. Shapiro, Thomas J. (Tim) Bergin: Events and Sightings. IEEE Annals of the History of Computing 29(4): 76-81 (2007) |
34 | EE | Isao Yagi, Yoshiaki Takata, Hiroyuki Seki: A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power. IEICE Transactions 90-D(5): 799-807 (2007) |
33 | EE | Yasunori Ishihara, Toshiyuki Morita, Hiroyuki Seki, Minoru Ito: An equational logic based approach to the security problem against inference attacks on object-oriented databases. J. Comput. Syst. Sci. 73(5): 788-817 (2007) |
2006 | ||
32 | EE | Jing Wang, Yoshiaki Takata, Hiroyuki Seki: HBAC: A Model for History-Based Access Control and Its Model Checking. ESORICS 2006: 263-278 |
31 | EE | Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki: Integrating presence inference into trust management for ubiquitous systems. SACMAT 2006: 59-68 |
2005 | ||
30 | EE | Isao Yagi, Yoshiaki Takata, Hiroyuki Seki: A Static Analysis Using Tree Automata for XML Access Control. ATVA 2005: 234-247 |
29 | EE | Hiroyuki Kawai, Kenichi Higuchi, Noriyuki Maeda, Mamoru Sawahashi, Takumi Ito, Yoshikazu Kakura, Akihisa Ushirokawa, Hiroyuki Seki: Likelihood Function for QRM-MLD Suitable for Soft-Decision Turbo Decoding and Its Performance for OFCDM MIMO Multiplexing in Multipath Fading Channel. IEICE Transactions 88-B(1): 47-57 (2005) |
28 | EE | Yuki Kato, Hiroyuki Seki, Tadao Kasami: On the Generative Power of Grammars for RNA Secondary Structure. IEICE Transactions 88-D(1): 53-64 (2005) |
27 | EE | Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005) |
26 | EE | Jing Wang, Naoya Nitta, Hiroyuki Seki: An Efficient Method for Optimal Probe Deployment of Distributed IDS. IEICE Transactions 88-D(8): 1948-1957 (2005) |
2004 | ||
25 | EE | Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki: Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. HICSS 2004 |
24 | EE | Yasunori Ishihara, Shin Ishii, Hiroyuki Seki, Minoru Ito: Temporal Reasoning about Two Concurrent Sequences of Events. SIAM J. Comput. 34(2): 498-513 (2004) |
2003 | ||
23 | EE | Naoya Nitta, Hiroyuki Seki: An Extension of Pushdown System and Its Model Checking Method. CONCUR 2003: 278-292 |
22 | EE | Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki: Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. PPAM 2003: 298-305 |
21 | EE | Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai: Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. RTA 2003: 483-498 |
2002 | ||
20 | EE | Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki: A Specification Language for Distributed Policy Control. ICICS 2002: 386-398 |
19 | EE | Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji: Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. RTA 2002: 98-113 |
18 | Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue: An information-leak analysis system based on program slicing. Information & Software Technology 44(15): 903-910 (2002) | |
2001 | ||
17 | EE | Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki: An efficient security verification method for programs with stack inspection. ACM Conference on Computer and Communications Security 2001: 68-77 |
16 | EE | Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue: Analysis and Implementation Method of Program to Detect Inappropriate Information Leak. APAQS 2001: 5-12 |
15 | EE | Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue: An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. ICICS 2001: 292-303 |
14 | Mizuho Ikeda, Yoshiaki Takata, Hiroyuki Seki: Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design. ISAS-SCI (1) 2001: 422-428 | |
13 | EE | Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata: Security verification of programs with stack inspection. SACMAT 2001: 31-40 |
12 | Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito: Refinements of Complexity Results on Type Consistency for Object-Oriented Databases. J. Comput. Syst. Sci. 62(4): 537-564 (2001) | |
2000 | ||
11 | EE | Yoshiaki Takata, Kokoro Nakagawa, Hiroyuki Seki: Flexible Category Structure for Supporting WWW Retrieval. ER (Workshops) 2000: 165-177 |
10 | Toshinori Takai, Yuichi Kaji, Hiroyuki Seki: Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. RTA 2000: 246-260 | |
1998 | ||
9 | Kazuhiro Kosuge, Hiroyuki Seki, Tomohiro Oosumi: Calibration of Coordinate System for Decentralized Coordinated Motion Control of Multiple Manipulators. ICRA 1998: 3297-3302 | |
1997 | ||
8 | EE | Yasunori Ishihara, Hiroyuki Seki, Minoru Ito: Type-Consistency Problems for Queries in Object-Oriented Databases. ICDT 1997: 364-378 |
1995 | ||
7 | Hiroyuki Seki, Yasunori Ishihara, Minoru Ito: Authorization Analysis of Queries in Object-Oriented Databases. DOOD 1995: 521-538 | |
1994 | ||
6 | Yuichi Kaji, Ryuchi Nakanishi, Hiroyuki Seki, Tadao Kasami: The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars. Computational Intelligence 10: 440-452 (1994) | |
1993 | ||
5 | Hiroyuki Seki, Ryuichi Nakanishi, Yuichi Kaji, Sachiko Ando, Tadao Kasami: Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars. ACL 1993: 130-139 | |
1992 | ||
4 | Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami: A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. CAV 1992: 384-395 | |
1991 | ||
3 | Hiroyuki Seki, T. Matsumura, Mamoru Fujii, Tadao Kasami: On Multiple Context-Free Grammars. Theor. Comput. Sci. 88(2): 191-229 (1991) | |
1988 | ||
2 | EE | Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi: Analysis of Functional Programs to Detect Run-Time Garbage Cells. ACM Trans. Program. Lang. Syst. 10(4): 555-578 (1988) |
1986 | ||
1 | Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami: Compiling and Optimizing Methods for the Functional Language ASL/F. Sci. Comput. Program. 7(3): 297-312 (1986) |