According to our database1, Yoshiki Kinoshita
Legend:Book In proceedings Article PhD thesis Other
A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect.
Proceedings of the Computer Safety, Reliability, and Security, 2017
The 6W1H Model as a Basis for Systems Assurance Argument.
Proceedings of the Computer Safety, Reliability, and Security, 2016
Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2).
NII Shonan Meet. Rep., 2015
Category theoretic structure of setoids.
Theor. Comput. Sci., 2014
A chain of accountabilities in open systems based on assured entrustments.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Agda Implementors Meeting (NII Shonan Meeting 2011-2).
NII Shonan Meet. Rep., 2011
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Workshop on Dependable Software - Tools and Methods - Workshop Abstract.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
Data Refinement and Algebraic Structure.
Acta Inf., 2000
A General Completeness Result in Refinement.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Data-Refinement for Call-By-Value Programming Languages.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday.
Electr. Notes Theor. Comput. Sci., 1997
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
A Fibrational Semantics for Logic Programs.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996