Зубарев Алексей Юрьевич Россия, Новосибирск Область научных интересов спецификация и верификация параллельных систем реального времени сети Петри Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — младший научный сотрудник Адрес электронной почты auzubarev@mail.ru
Зубарев А.Ю. Анализ типов в трансляторе с языка предикатного программирования // Системная информатика. — 2017. — № 9. — С. 1-22
Зубарев А.Ю. Сравнение эквивалентностей непрерывно-временных сетей Петри относительно стратегий сброса часов // Системная информатика. — 2024. — № 24. — С. 33-58
