Tvardovskii A., Yevtushenko N. On parallel composition of Finite State Machines with timed guards // # 14, 2019
Shilov N. On the need of ontology for classification and navigation in the computer languages universe // # 13, 2018
Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timed guards // # 17, 2020
Zubarev A. The Сomparison of equivalences of dense-time Petri nets with respect to memory policies // # 24, 2024
