Marika Izawa

According to our database, Marika Izawa authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Conflict Reduction of Acyclic Flow Event Structures.

Toshiyuki Miyamoto, Marika Izawa

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., May, 2023

2021

A Case Study of Choreography Realizability Checking on Smart Home Application.

Marika Izawa, Toshiyuki Miyamoto

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

2020

A Study on Re-Constructibility of Event Structures.

Marika Izawa, Toshiyuki Miyamoto

IEICE Trans. Inf. Syst., 2020