Assurance Carrying Code for Software Supply Chain. - Yutaka Matsuno; Yoriyuki Yamagata; Hideaki Nishihara; Yuichiro Hosokawa (ISSRE Workshops, 2021)

From Counterfactual Conditionals to Temporal Conditionals. - Yuichiro Hosokawa (J. Log. Lang. Inf., 2023)

Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models. - Yuichiro Hosokawa (J. Log. Lang. Inf., 2024)