Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // # 17, 2020
Gribovskaya N., Virbitskaite I. Transition Systems from Casual Reversible Prime Event Structures // # 24, 2024
Gribovskaya N., Virbitskaite I. Partial Orders in Transition Systems from Resolvable Conflict Event Structures // # 20, 2022
