Твардовский А.С., Евтушенко Н.В. К параллельной композиции автоматов с временными ограничениями // № 14, 2019
Шилов Н.В. О необходимости онтологии для классификации и навигации по универсуму компьютерных языков // № 13, 2018
Твардовский А.С., Евтушенко Н.В. Синтез установочных последовательностей для автоматов с временными ограничениями // № 17, 2020
Зубарев А.Ю. Сравнение эквивалентностей непрерывно-временных сетей Петри относительно стратегий сброса часов // № 24, 2024