Academic papers

Google Scholar and DBLP

• Google Scholar
• DBLP

Recent papers (selected)

Philosophy of Logic

• Suzuki, U. & Yamagata. Y(2023). Notion of validity for the bilateral classical logic. arXiv preprint arXiv:2310.13376. preprint

Stochastic analysis, formal method

• Ikeda, M., Yamagata, Y. & Kihara, T(2023). On the Metric Temporal Logic for Continuous Stochastic Processes. arXiv preprint arXiv:2308.00984. preprint

COVID19

• Yamagata, Y., Takami, S., Yamazaki, K., Nakaya, T., & Onishi, M.(2022). Individual-based epidemic model of COVID19 using location data. In Big Data Analytics for Health and Medicine:author version

Bounded arithmetic

• Beckmann, A., & Yamagata, Y. (2022). On proving consistency of equational theories in Bounded Arithmetic. arXiv preprint arXiv:2203.04832.: preprint
• Yamagata, Y. (2018). Consistency proof of a fragment of pv with substitution in bounded arithmetic. The Journal of Symbolic Logic, 83(3), 1063-1090.: published,preprint

Computer Security, safety, assurance

• Matsuno, Y., Yamagata, Y., Nishihara, H., & Hosokawa, Y. (2021, October). Assurance Carrying Code for Software Supply Chain. In 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 276-277). IEEE.: published,submitted
• Yamagata, Y., & Matsuno, Y. (2020, March). Algebraic Approach for Confidence Evaluation of Assurance Cases. In International Conference on Formal Engineering Methods (pp. 318-327). Springer, Cham.: published,submitted

Cyber-physical system, formal method and machine learning

• Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J. (2020). Falsification of cyber-physical systems using deep reinforcement learning. IEEE Transactions on Software Engineering, 47(12), 2823-2840.: published,submitted
• Akazaki, T., Liu, S., Yamagata, Y., Duan, Y., & Hao, J. (2018, July). Falsification of cyber-physical systems using deep reinforcement learning. In International Symposium on Formal Methods (pp. 456-465). Springer, Cham.: published,preprint

Old papers (cannot find except author’s page)

• Yoriyuki Yamagata, Strong normalization of second-order symmetric lambda-mu calculus, Information and Computation 193-1 (2004), Elsevier.: published,subnitted
• Yoriyuki Yamagata, Strong normalization of a symmetric lambda calculus for second-order classical logic, Archive for Mathematical Logic 41-1 (2002), Springer.: published,submitted
• Yoriyuki Yamagata, Strong normalization of second-order symmetric lambda-mu calculus, TACS2001 (Theoretical Aspects of Computer Software, 4th International Symposium), LNCS 2215(2001).: published,submitted