ISHIHARA Yasunori

J-GLOBAL         Last updated: Oct 15, 2018 at 17:10
 
Avatar
Name
ISHIHARA Yasunori
Affiliation
Nanzan University
Section
Faculty of Science and Engineering Department of Mechatronics
Job title
Associate Professor
Degree
(BLANK)(Osaka University)
Other affiliation
Osaka UniversityOsaka UniversityOsaka University

Research Areas

 
 

Academic & Professional Experience

 
1994
 - 
1999
: Nara Institute of Science and Technology Instructor,  
 

Education

 
 
 - 
1994
Graduate School, Division of Engineering Science, Osaka University
 
 
 - 
1990
Faculty of Engineering Science, Osaka University
 

Published Papers

 
A Translation Method from Natural Language Specifications into Formal Specifications Using Contextual Dependencies
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
Proceedings of the IEEE International Symposium on Requirements Engineering      Jan 1993   [Refereed]
A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami,Jun Shimabukuro, Kazuhiko Okawa
IEICE Transactions on Information and Systems   76(12) 1479-1489   Dec 1993   [Refereed]
Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
Transactions of Information Processing Society of Japan   36(5) 1114-1125   May 1995   [Refereed]
Authorization Analysis of Queries in Object-Oriented Databases
Hiroyuki Seki, Yasunori Ishihara, Minoru Ito
Proceedings of the Fourth International Conference onDeductive and Object-Oriented Databases, LNCS 1013   79(10) 769-780   Dec 1995   [Refereed]
Assignment of Data Types to Words in a Natural Language Specification
Yasunori Ishihara, Atsushi Ohsaki, Hiroyuki Seki, Tadao Kasami
IEICE Transactions on Information and Systems   79(6) 820-828   Jun 1996   [Refereed]

Misc

 
A Bag-based Data Model with Global Conditions for Incomplete Information
Proceedings of the 16th Data Engineering Workshop      2005
Proceedings of the 12th International Symposium on Database Programming Languages, Lecture Notes in Computer Science 5708   pp.68-83    2009
Journal of Computer and System Sciences   Vol.73, No.5, pp.788-817    2007
Journal of Intelligent Information Systems   Vol. 30, No. 2, pp. 115-135    2008
Complexity of the Type-Consistency Problem for Acyclic Object-Oriented Database Schemas
IEICE Transactions on Information and Systems   E84-D(5) 623-634   2001

Research Grants & Projects

 
Study on Database Security
Study on Automatic Verification of Software