Marika Izawa

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Simulation Study

Database Schemes

Spatio Temporal

Top Venues

IEICE Trans. Inf. Syst.

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

Toshiyuki Miyamoto, Marika Izawa
Conflict Reduction of Acyclic Flow Event Structures. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 106 (5) (2023)
Marika Izawa, Toshiyuki Miyamoto
A Case Study of Choreography Realizability Checking on Smart Home Application. ICCE (2021)
Marika Izawa, Toshiyuki Miyamoto
A Study on Re-Constructibility of Event Structures. IEICE Trans. Inf. Syst. (8) (2020)