Громов Максим Леонидович

Публикации в базе данных Math-Net.Ru

1. «Life» in tensor: implementing cellular automata on graphics adapters
   
   Труды ИСП РАН, 31:3 (2019),  217–228
2. Stuck-at-faults tester as a web-service
   
   Труды ИСП РАН, 30:1 (2018),  41–54
3. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
   
   Модел. и анализ информ. систем, 24:4 (2017),  496–507
4. Минимизация автоматов с таймаутами и временными ограничениями
   
   Труды ИСП РАН, 29:4 (2017),  139–154
5. Experiments on parallel composition of timed finite state machines
   
   Труды ИСП РАН, 29:3 (2017),  233–246
6. Построение каскадной параллельной композиции временных автоматов с использованием BALM-II
   
   Модел. и анализ информ. систем, 23:6 (2016),  715–728
7. Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
   
   ПДМ, 2009, № 4(6),  90–101
8. Об одном классе автоматов с полиномиальной оценкой числа состояний в наблюдаемой форме
   
   Журн. СФУ. Сер. Матем. и физ., 1:3 (2008),  257–261