Yuichiro Hosokawa

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Temporal Relations

Inheritance Reasoning

Top Venues

J. Log. Lang. Inf.

ISSRE Workshops

Publications

Yuichiro Hosokawa
From Counterfactual Conditionals to Temporal Conditionals. J. Log. Lang. Inf. 32 (4) (2023)
Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa
Assurance Carrying Code for Software Supply Chain. ISSRE Workshops (2021)