Yuichiro Hosokawa

According to our database¹, Yuichiro Hosokawa authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models.

[DOI]

J. Log. Lang. Inf., December, 2024

2023

From Counterfactual Conditionals to Temporal Conditionals.

[DOI]

J. Log. Lang. Inf., October, 2023

2021

Assurance Carrying Code for Software Supply Chain.

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021