Hiroyuki Seki and Technology - Free people check

(1 - 6 from 7

)

Automated Technology for Verification and Analysis: 8th International...

books.google.com.ua

... Ken McMillan Kedar Namjoshi Hua Phung Nguyen Richard Paige Madhusudan Parthasarathy Doron Peled Zongyan Qiu Hiroyuki Seki Natarajan Shankar A.

Automated Technology for Verification and Analysis: Third...

books.google.de

A Static Analysis Using Tree Automata for XML Access Control Isao Yagi, Yoshiaki Takata, and Hiroyuki Seki Graduate School of Information Science, Nara ...

ICICS Javier Lopez, Sihan Qing, International Conference on...

books.google.de

Hiroyuki Seki of Nara Institute of Science and Technology for his helpful comments on the proofs in Sections 4 and 5 and Appendix. The authors are also grateful ...

Conceptual Modeling for E-Business and the Web: ER Workshops on...

books.google.co.uk

Retrieval Yoshiaki Takata, Kokoro Nakagawa, and Hiroyuki Seki Graduate School of Information Science Nara Institute of Science and Technology {y-takata, ...