The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Naoki Yonezaki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.015secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002