Hiroyuki Seki

	2009
44		Yoshiaki Takata, Hiroyuki Seki: Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation. IEICE Transactions 92-D(2): 200-210 (2009)
43		Yoshiaki Takata, Hiroyuki Seki: Comparison of the Expressive Power of Language-Based Access Control Models. IEICE Transactions 92-D(5): 1033-1036 (2009)
42		Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki: A grammatical approach to RNA-RNA interaction prediction. Pattern Recognition 42(4): 531-538 (2009)
	2008
41		Yuki Kato, Tatsuya Akutsu, Hiroyuki Seki: Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach. PRIB 2008: 66-77
40		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		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		Hitoshi Ohsaki, Hiroyuki Seki: Languages Modulo Normalization. FroCos 2007: 221-236
37		Hiroyuki Seki, Masafumi Tsutsui: Throughput Performance of Pre-coding MIMO Transmission with Multi-Beam Selection. ICC 2007: 2785-2790
36		Masafumi Tsutsui, Hiroyuki Seki: Throughput Performance of Downlink MIMO Transmission with Multi-Beam Selection using a Novel Codebook. VTC Spring 2007: 476-480
35		Chigusa Kita, David L. Ferro, Dag Spicer, Kelly Rodoski, Hiroyuki Seki, Fred R. Shapiro, Thomas J. Bergin: Events and Sightings. IEEE Annals of the History of Computing 29(4): 76-81 (2007)
34		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		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		Jing Wang, Yoshiaki Takata, Hiroyuki Seki: HBAC: A Model for History-Based Access Control and Its Model Checking. ESORICS 2006: 263-278
31		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		Isao Yagi, Yoshiaki Takata, Hiroyuki Seki: A Static Analysis Using Tree Automata for XML Access Control. ATVA 2005: 234-247
29		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		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		Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005)
26		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		Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki: Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. HICSS 2004
24		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		Naoya Nitta, Hiroyuki Seki: An Extension of Pushdown System and Its Model Checking Method. CONCUR 2003: 278-292
22		Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki: Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. PPAM 2003: 298-305
21		Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai: Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. RTA 2003: 483-498
	2002
20		Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki: A Specification Language for Distributed Policy Control. ICICS 2002: 386-398
19		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		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		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		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		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		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		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		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)

Coauthor Index

1	Tatsuya Akutsu	[41] [42]
2	Sachiko Ando	[5]
3	Tim Bergin (Thomas J. Bergin)	[35]
4	David L. Ferro	[35]
5	Mamoru Fujii	[3] [4]
6	Youhei Fujinaka	[19]
7	Kenichi Higuchi	[29]
8	Masahiro Higuchi	[4]
9	Itaru Hosomi	[31]
10	Mizuho Ikeda	[14]
11	Katsuro Inoue	[1] [2] [15] [16] [18]
12	Yasunori Ishihara	[7] [8] [12] [24] [33]
13	Shin Ishii	[24]
14	Minoru Ito	[7] [8] [12] [24] [33]
15	Takumi Ito	[29]
16	Yuichi Kaji	[5] [6] [10] [19]
17	Yoshikazu Kakura	[29]
18	Tadao Kasami	[1] [3] [4] [5] [6] [28]
19	Yuki Kato	[28] [40] [41] [42]
20	Hiroyuki Kawai	[29]
21	Chigusa Kita	[35]
22	Susumu Kiyamura	[22]
23	Kazuhiro Kosuge	[9]
24	Shigeta Kuninobu	[15] [20] [27]
25	Noriyuki Maeda	[29]
26	T. Matsumura	[3]
27	Toshiyuki Morita	[33]
28	Hisashi Mouri (Hisashi Mohri)	[31] [39]
29	Masayuki Nakae	[20]
30	Kokoro Nakagawa	[11]
31	Takeshi Nakamura	[25]
32	Ryuchi Nakanishi	[6]
33	Ryuichi Nakanishi	[5]
34	Naoya Nitta	[13] [17] [23] [26] [27]
35	Jun Noda	[31]
36	Fumiaki Ohata	[16] [18]
37	Hitoshi Ohsaki	[21] [38]
38	Tomohiro Oosumi	[9]
39	Kelly Rodoski	[35]
40	Mamoru Sawahashi	[29]
41	Fred R. Shapiro	[35]
42	Shougo Shimizu	[12]
43	Osamu Shirakawa	[4]
44	Dag Spicer	[35]
45	Daigo Taguchi	[20]
46	Mie Takahashi	[31]
47	Toshinori Takai	[10] [19] [21]
48	Yoshiaki Takata	[11] [13] [14] [15] [16] [17] [18] [20] [22] [25] [27] [30] [31] [32] [34] [39] [43] [44]
49	Kenichi Taniguchi	[1]
50	Masafumi Tsutsui	[36] [37]
51	Akihisa Ushirokawa	[29]
52	Jing Wang	[26] [32]
53	Hikaru Yagi	[2]
54	Isao Yagi	[30] [34]
55	Ikuya Yasuda	[39]
56	Reishi Yokomori	[16] [18]

Colors in the list of coauthors