Yoshiki Kinoshita

	2011
9		Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita: A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. CALCO 2011: 253-267
	2009
8		Yoshiki Kinoshita: Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST. ISORC 2009: 119-124
	2005
7		Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita: Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN 2005: 824
	2000
6		Yoshiki Kinoshita, John Power: Data Refinement and Algebraic Structure. Acta Inf. 36(9/10): 693-719 (2000)
	1999
5		Yoshiki Kinoshita, John Power: Data-Refinement for Call-By-Value Programming Languages. CSL 1999: 562-576
4		Yoshiki Kinoshita, John Power: A General Completeness Result in Refinement. WADT 1999: 201-218
	1997
3		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. TACS 1997: 191-212
2		Yoshiki Kinoshita, John Power, Makoto Takeyama: Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. Electr. Notes Theor. Comput. Sci. 6: 235-248 (1997)
	1996
1		Yoshiki Kinoshita, A. John Power: A Fibrational Semantics for Logic Programs. ELP 1996: 177-191

Coauthor Index

1	Yutaka Ishikawa	[7]
2	Takuya Katayama	[7]
3	Jun Kohjina	[9]
4	Peter W. O'Hearn	[3]
5	John Power (A. John Power)	[1] [2] [3] [4] [5] [6]
6	Makoto Takeyama	[2] [3]
7	Robert D. Tennent	[3]
8	Toshimitsu Ushio	[9]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page