MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Hiroyuki Seki – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

PTC’07 Proceedings RADIO ACCESS SCHEMES AND TECHNOLOGIES FOR NEXT-GENERATION NETWORK
by Kazuo Kawabata, Kazuhisa Ohbuchi, Hiroyuki Seki, Key Words
… Kazuo Kawabata, Kazuhisa Ohbuchi & Hiroyuki Seki FUJITSU LABORATORIES LTD. JAPAN ABSTRACT All IP…
Add To MetaCart

Layered transducing term rewriting system and its recognizability preserving property
by Toshinori Takai, Hiroyuki Seki, Youhei Fujinaka, Yuichi Kaji — 2000 — In: Proc. 13th RTA Conf., Copenhagen (Denmark
… Takai Hiroyuki Seki Youhei Fujinaka Yuichi Kaji December 25, 2002 Abstract A term rewriting system which…
Cited by 4 (0 self) – Add To MetaCart

Authorization analysis of queries in object-oriented databases
by Hiroyuki Seki, Yasunori Ishihara, Minoru Ito — 1995 — Proc. 4th Int'l Conf. on Deductive and Object-Oriented Databases, LNCS 1013
…Authorization Analysis of Queries in Object-Oriented Databases Hiroyuki SEKI, Yasunori ISHIHARA…
Cited by 3 (2 self) – Add To MetaCart

Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool
by Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki — Proceedings of the 37th Hawaii International Conference on System Sciences, 2004, http://csdl2.computer.org/comp/proceedings/hicss/2004/2056 /04/205640098a.pdf
… Takata Takeshi Nakamura Hiroyuki Seki Graduate School of Information Science Nara Institute of Science…
Cited by 1 (0 self) – Add To MetaCart

An Efficient Recognition Algorithm for Multiple Context-Free Languages
by Ryuichi Nakanishi, Keita Takada, Hiroyuki Seki — 1997 — In Proceedings of the Fifth Meeting on Mathematics of Language, MOL5
… Takada 2 Hiroyuki Seki 1 fnakanisi, sekig@(email omitted); 1 Graduate School of Information…
Cited by 4 (0 self) – Add To MetaCart

Recognizing boolean closed A-tree languages with membership conditional mechanism
by Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai — 2003 — In 14 th International Conference on Rewriting Techniques and Applications, volume 2706 of Lecture notes in computer science
… Hitoshi Ohsaki 1,2 , Hiroyuki Seki 3 , and Toshinori Takai 2 1 PRESTO “Information and Systems” Japan…
Cited by 6 (1 self) – Add To MetaCart

A Formal Approach to Detecting Security Flaws in Object-Oriented Databases
by Toshiyuki Morita, Yasunori Ishihara, Hiroyuki Seki, Minoru Ito — 1999
… , Hiroyuki Seki y , and Minoru Ito y , Members SUMMARY Detecting security flaws is important in order…
Cited by 1 (1 self) – Add To MetaCart

The type-consistency problem for queries in objectoriented databases,” NAIST
by Yasunori Ishihara, Hiroyuki Seki, Minoru Ito — 1998
…Type-Consistency Problems for Queries in Object-Oriented Databases Yasunori ISHIHARA Hiroyuki SEKI…
Cited by 1 (1 self) – Add To MetaCart

Verification of a Microcomputer Program Specification Embedded in a Reactive System
by Yasunori Ishihara, Kiichiro NINOMIYA, Hiroyuki SEKI, Daisuke TAKAHARA, Yutaka YAMADA, Shigesada OMOTO — 1082
… ++ , Nonmember, Hiroyuki SEKI +++ , Member, Daisuke TAKAHARA +++# , Yutaka YAMADA ++ , and Shigesada OMOTO…
Add To MetaCart

Genome Informatics 14: 470--471 (2003) A Comparative Study on
by Formal Grammars For, Yuki Kato, Hiroyuki Seki, Tadao Kasami
… Yuki Kato Hiroyuki Seki Tadao Kasami yuuki-ka@(email omitted); seki@(email omitted); kasami…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB