Yoshiki Kinoshita

According to our database1, Yoshiki Kinoshita
  • authored at least 13 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

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

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
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


  Loading...