Search the dblp DataBase

Publications of Author

1. Sima Asgari, Naoki Yonezaki
   A Multi-level Qualitative Formal Model for Geographic Maps. [Citation Graph (0, 0)][DBLP]
   BalticDB&IS, 2002, pp:91-104 [Conf]
   
2. Naoki Yonezaki, Hajime Enomoto
   Database System Based On Intensional Logic. [Citation Graph (0, 0)][DBLP]
   COLING, 1980, pp:220-227 [Conf]
   
3. Shigeki Hagihara, Naoki Yonezaki
   Resolution Method for Modal Logic with Well-Founded Frames. [Citation Graph (0, 0)][DBLP]
   CSL, 1999, pp:277-291 [Conf]
   
4. Sima Asgari, Naoki Yonezaki
   An Object-Oriented Model of Maps. [Citation Graph (0, 0)][DBLP]
   DEXA Workshop, 1999, pp:514-515 [Conf]
   
5. Takenobu Aoshima, Naoki Yonezaki
   An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications. [Citation Graph (0, 0)][DBLP]
   EJC, 2000, pp:363-374 [Conf]
   
6. Sima Asgari, Naoki Yonezaki
   A General Object-Oriented Model for Spatial Data. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 1999, pp:352-357 [Conf]
   
7. Ryosei Mori, Naoki Yonezaki
   Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1994, pp:567-582 [Conf]
   
8. Hajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma
   A parallel programming language and description of scheduler. [Citation Graph (0, 0)][DBLP]
   Operating Systems Engineering, 1980, pp:23-41 [Conf]
   
9. Naoki Yonezaki, Takao Katayama
   Functional Specification of Synchronized Processes Based on Modal Logic. [Citation Graph (0, 0)][DBLP]
   ICSE, 1982, pp:208-217 [Conf]
   
10. Naoki Yonezaki, Hajime Enomoto, Motoshi Saeki
    Logical environments for natural language approach. [Citation Graph (0, 0)][DBLP]
    ISPW, 1985, pp:84-86 [Conf]
    
11. Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki
    A Formal System for Analysis of Cryptographic Encryption and Their Security Properties. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:87-112 [Conf]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    ISC, 2001, pp:536-553 [Conf]
    
13. Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg
    TAP: A New Model for Software Process: Tasks-Agents-Products. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:346-350 [Conf]
    
14. Noriaki Yoshiura, Naoki Yonezaki
    More Expressive Temporal Logic for Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:363-366 [Conf]
    
15. Shin Miyakawa, Naoki Yonezaki
    Temporal logic extended with object creation and destruction. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:156-163 [Conf]
    
16. 
    Extracting Environmental Constraints to Make Reactive System Specifications Realizable. [Citation Graph (, )][DBLP]
    
    
17. 
    An Operational Semantics of Program Dependence Graphs for Unstructured Programs. [Citation Graph (, )][DBLP]
    
    
18. 
    Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. [Citation Graph (, )][DBLP]
    
    
19. 
    A Quantitative Semantics of Formal Ontology of Drug Interactions. [Citation Graph (, )][DBLP]
    
    
20. 
    A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. [Citation Graph (, )][DBLP]
    
    
21. 
    Formal system of interactions on biomedical ontology. [Citation Graph (, )][DBLP]