KINOSHITA Yoshiki's Publications (in English)
- Satoshi Matsuoka, Yoshiki Kinoshita, Koichi Takahashi, Mitsuru Tanaka.
Takeshi Ito and Tsuyoshi Hamakawa. Improvement on Integrity Checking System
for Software in Weighing. Proceedings of 12th International Metrology Congress, 2005.6.
- Hitoshi Furusawa, Yoshiki Kinoshita. Essentially algebraic structure for
Kleene algebra with tests and its application to semantics of while programs.
AIST PROGRAMMING SCIENCE GROUP TECHNICAL REPORT AIST-PS-2002-008
- Masami Hagiya, Yoshiki Kinoshita, and Anthony John Power. Proceedings of the Workshop on Refinement and Abstraction (Preliminary Version), AIST PROGRAMMING SCIENCE GROUP TECHNICAL REPORT, AIST-PS-2001-001, 2001.4.
- Yoshiki Kinoshita and Hiroshi Watanabe. A functorial approach to refinement.
In Proceedings of the Workshop on Refinement and Abstraction, 49-63, ETL technical report 2001-3, 2001.
- Yoshiki Kinoshita and Anthony John Power. A general completeness result in refinement. In Didier Bert, Christine Choppy, and Peter Mosses, editors, Recent Trends in Algebraic Development Techniques, number 1827 in Springer Lecture Notes in Computer Science, 201-218, 2000. also available as citeKP99b.
- Yoshiki Kinoshita and Anthony John Power. Data refinement and algebraic structure. Acta Informatica, 36(9/10), 693-719, 2000. Revised version of ETL technical report TR96-2.
- Yoshiki Kinoshita and Anthony John Power. A general completeness result in refinement. Technical Report 99-36, ETL, 1999. appeared as citeKP2000b. (PostScript)
- Yoshiki Kinoshita and Anthony John Power. Data refinement for call-by-value
programming languages. In CSL '99, number 1683 in Springer Lecture Notes in Computer Science, 562-576, 1999.
- Yoshiki Kinoshita and Koichi Takahashi. Proving through commutative diagrams, 2, 128-142, 1999.
- Yoshiki Kinoshita, Anthony John Power and Makoto Takeyama. Sketches. Journal of Pure and Applied Algebra, 143, 275-291, 1999. appeaed as Electronic Notes in Theoretical Computer Science, 6, 1997.
- Yoshiki Kinoshita. A bicategorical analysis of E-categories. Mathematica Japonica, 47(1), 157-169, 1998. MR 99b:18010.
- Yoshiki Kinoshita, Peter. W. O'Hearn, Anthony John Power, Makoto Takeyama
and Robert. D. Tennent. An axiomatic approach to binary logical relations
with applications to data refinement. In Proceedings of TACS 97, number 1281 in Springer Lecture Notes in Computer Science, pages 191-212,
1997. (PostScript)
- Yoshiki Kinoshita and Anthony John Power. A fibrational semantics of logic programs. In Extensions of Logic Programming, 5th International Workshop, ELP '96, Leipzig,
Germany, Springer Lecture Notes in Computer Science, 177-192, Springer, 1996.
- Yoshiki Kinoshita and Koichi Takahashi. Groupoid of equational proofs. Bulletin of the Electrotechnical Laboratory, 60(11), 711-718, 1996.
- Yoshiki Kinoshita and Koichi Takahashi. Proving through commutative diagrams. Proceedings of the Second Conference on Information-Theoretic Approach to Logic, Language, and Computation, 107-116, 1996.
- Yoshiki Kinoshita and Anthony John Power. Data refinement and algebraic structure. Technical Report TR96-2, ETL, 1995.
- Yoshiki Kinoshita and Koichi Takahashi. Groupoid of equational proofs. Technical Report TR-95-17, Electrotechnical Laboratory, 1995.
- Yoshiki Kinoshita and Anthony John Power. Lax naturality through enrichment. Journal of Pure and Applied Algebra, 112(1): 53-72, 1995. MR 98f:18010.
- Yoshiki Kinoshita and Andreas Knobel . Submodule algebras. Bulletin of the Electrotechnical Laboratory, 59(3), 77-85, 1995. (PostScript)
- Yoshiki Kinoshita and Anthony John Power. Enriched categories and data refinement. Technical Report TR94-23, Electrotechnical Laboratory, 1994.
- Hideyuki Nakashima, Ichiro Osawa, and Yoshiki Kinoshita. Inference with mental situations. TR-91-7, ETL, 1991. (PostScript)
- Yoshiki Kinoshita. Interpreting OBJ3 subsorting in Martin-Lof's subset theory with a universe. Technical Report IPSJ-PROG91-11, Information Processing Society of Japan, November 1991. (PostScript)
- Yoshiki Kinoshita. OBJ3 has predicative polymorphism. In Theoretical Aspects of Computer Software '91, 1991. appeaed as 8th Conference Proceedings of Japan Society for Software Science and Technology, pages 477-480, 1990.
>>Back to KINOSHITA Yoshiki's Home Page