A Study on Re-Constructibility of Event Structures. - Marika Izawa; Toshiyuki Miyamoto (IEICE Trans. Inf. Syst., 2020)

A Case Study of Choreography Realizability Checking on Smart Home Application. - Marika Izawa; Toshiyuki Miyamoto (ICCE, 2021)

Conflict Reduction of Acyclic Flow Event Structures. - Toshiyuki Miyamoto; Marika Izawa (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2023)