The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yoshiki Kinoshita: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yoshiki Kinoshita, John Power
    Data-Refinement for Call-By-Value Programming Languages. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:562-576 [Conf]
  2. Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita
    Workshop on Dependable Software - Tools and Methods - Workshop Abstract. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:824- [Conf]
  3. Yoshiki Kinoshita, A. John Power
    A Fibrational Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:177-191 [Conf]
  4. Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
    An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:191-212 [Conf]
  5. Yoshiki Kinoshita, John Power
    A General Completeness Result in Refinement. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:201-218 [Conf]
  6. Yoshiki Kinoshita, John Power
    Data Refinement and Algebraic Structure. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:36, n:9/10, pp:693-719 [Journal]
  7. Yoshiki Kinoshita, John Power, Makoto Takeyama
    Sketches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]

  8. Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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