| 2008 |
|---|
| 19 | | Koji Tashima,
Naoko Izumi,
Naoki Yonezaki:
A Quantitative Semantics of Formal Ontology of Drug Interactions.
BIOCOMP 2008: 760-766 |
| 2007 |
|---|
| 18 | | Souhei Ito,
Shigeki Hagihara,
Naoki Yonezaki:
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products.
EJC 2007: 290-297 |
| 2006 |
|---|
| 17 | EE | Souhei Ito,
Shigeki Hagihara,
Naoki Yonezaki:
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
ASIAN 2006: 264-271 |
| 2004 |
|---|
| 16 | | Kokichi Futatsugi,
Fumio Mizoguchi,
Naoki Yonezaki:
Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers
Springer 2004 |
| 2003 |
|---|
| 15 | EE | Ashraf Bhery,
Shigeki Hagihara,
Naoki Yonezaki:
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.
ISSS 2003: 87-112 |
| 2002 |
|---|
| 14 | | Sima Asgari,
Naoki Yonezaki:
A Multi-level Qualitative Formal Model for Geographic Maps.
BalticDB&IS 2002: 91-104 |
| 2001 |
|---|
| 13 | EE | Kenji Masui,
Masahiko Tomoishi,
Naoki Yonezaki:
Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD.
ISC 2001: 536-553 |
| 2000 |
|---|
| 12 | | Takenobu Aoshima,
Naoki Yonezaki:
An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications.
EJC 2000: 363-374 |
| 1999 |
|---|
| 11 | | Shigeki Hagihara,
Naoki Yonezaki:
Resolution Method for Modal Logic with Well-Founded Frames.
CSL 1999: 277-291 |
| 10 | EE | Sima Asgari,
Naoki Yonezaki:
An Object-Oriented Model of Maps.
DEXA Workshop 1999: 514-515 |
| 9 | EE | Sima Asgari,
Naoki Yonezaki:
A General Object-Oriented Model for Spatial Data.
Ershov Memorial Conference 1999: 352-357 |
| 1994 |
|---|
| 8 | | Ryosei Mori,
Naoki Yonezaki:
Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic.
FTRTFT 1994: 567-582 |
| 7 | | Shin Miyakawa,
Naoki Yonezaki:
Temporal logic extended with object creation and destruction.
SEKE 1994: 156-163 |
| 1993 |
|---|
| 6 | | Naoki Yonezaki,
Tapani Kinnula,
Motoshi Saeki,
Jan Ljungberg:
TAP: A New Model for Software Process: Tasks-Agents-Products.
SEKE 1993: 346-350 |
| 5 | | Noriaki Yoshiura,
Naoki Yonezaki:
More Expressive Temporal Logic for Specifications.
SEKE 1993: 363-366 |
| 1985 |
|---|
| 4 | | Naoki Yonezaki,
Hajime Enomoto,
Motoshi Saeki:
Logical environments for natural language approach.
ISPW 1985: 84-86 |
| 1982 |
|---|
| 3 | | Naoki Yonezaki,
Takao Katayama:
Functional Specification of Synchronized Processes Based on Modal Logic.
ICSE 1982: 208-217 |
| 1980 |
|---|
| 2 | EE | Naoki Yonezaki,
Hajime Enomoto:
Database System Based On Intensional Logic.
COLING 1980: 220-227 |
| 1 | | Hajime Enomoto,
Naoki Yonezaki,
Isao Miyamura,
Masayuki Sunuma:
A parallel programming language and description of scheduler.
Operating Systems Engineering 1980: 23-41 |
