Yoshiki Kinoshita
According to our database1,
Yoshiki Kinoshita
authored at least 19 papers
between 1996 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2.
CoRR, 2020
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1.
CoRR, 2020
2019
Proceedings of the Computer Safety, Reliability, and Security, 2019
2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
2016
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
2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
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
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
2000
1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 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
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996