| 2008 |
|---|
| 39 | 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 |
|---|
| 38 | 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 |
| 37 | EE | Hitoshi Ohsaki,
Hiroyuki Seki:
Languages Modulo Normalization.
FroCos 2007: 221-236 |
| 36 | EE | Masafum 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) |
