A Fibrational Semantics for Logic Programs. - Yoshiki Kinoshita; A. John Power (ELP, 1996)

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. - Yoshiki Kinoshita; Peter W. O'Hearn; John Power; Makoto Takeyama; Robert D. Tennent (TACS, 1997)

Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. - Yoshiki Kinoshita; John Power; Makoto Takeyama (MFPS, 1997)

Data-Refinement for Call-By-Value Programming Languages. - Yoshiki Kinoshita; John Power (CSL, 1999)

A General Completeness Result in Refinement. - Yoshiki Kinoshita; John Power (WADT, 1999)

Data Refinement and Algebraic Structure. - Yoshiki Kinoshita; John Power (Acta Informatica, 2000)

Workshop on Dependable Software - Tools and Methods - Workshop Abstract. - Takuya Katayama; Yutaka Ishikawa; Yoshiki Kinoshita (DSN, 2005)

Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST. - Yoshiki Kinoshita (ISORC, 2009)

An Algebraic Semantics of Predicate Abstraction for PML. - Yoshiki Kinoshita; Koki Nishizawa (Inf. Media Technol., 2010)

A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. - Jun Kohjina; Toshimitsu Ushio; Yoshiki Kinoshita (CALCO, 2011)

Agda Implementors Meeting (NII Shonan Meeting 2011-2). - Peter Dybjer; Yoshiki Kinoshita; Shin-Cheng Mu (NII Shonan Meet. Rep., 2011)

A chain of accountabilities in open systems based on assured entrustments. - Makoto Hirai; Yoshifumi Yuasa; Yoshiki Kinoshita (ISSRE (Supplemental Proceedings), 2013)

Category theoretic structure of setoids. - Yoshiki Kinoshita; John Power (Theor. Comput. Sci., 2014)

Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2). - Yoshiki Kinoshita; Bengt Nordström (NII Shonan Meet. Rep., 2015)

The 6W1H Model as a Basis for Systems Assurance Argument. - Shuji Kinoshita; Yoshiki Kinoshita (SAFECOMP Workshops, 2016)

A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect. - Shuji Kinoshita; Yoshiki Kinoshita (SAFECOMP Workshops, 2017)

A Modelling Approach for System Life Cycles Assurance. - Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama (SAFECOMP Workshops, 2019)

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Philippa Ryan; Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama; Yutaka Matsubara; Peter Popov Kazuki Imai; Yoshinori Tsutake (CoRR, 2020)

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Philippa Ryan; Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama; Yutaka Matsubara; Peter Popov Kazuki Imai; Yoshinori Tsutake (CoRR, 2020)