# Yoshiki Kinoshita

According to our database

^{1}, Yoshiki Kinoshita## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

A Thought Experiment on Evolution of Assurance Cases - - from a Logical Aspect.

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

The 6W1H Model as a Basis for Systems Assurance Argument.

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2).

NII Shonan Meet. Rep., 2015

2014

Category theoretic structure of setoids.

Theor. Comput. Sci., 2014

2013

A chain of accountabilities in open systems based on assured entrustments.

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2011

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

2009

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

2005

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

2000

Data Refinement and Algebraic Structure.

Acta Inf., 2000

1999

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

1997

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

1996

A Fibrational Semantics for Logic Programs.

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996