| Верификация автоматных программ СЭ Вельдер, МА Лукин, АА Шалыто, БР Яминов Университет ИТМО, 2011 | 79 | 2011 |
| Верификация автоматных программ с использованием верификатора SPIN МА Лукин, АА Шалыто Научно-технический вестник информационных технологий, механики и оптики, 145-162, 2008 | 8 | 2008 |
| Верификация параллельных автоматных программ МА Лукин Научно-технический вестник информационных технологий, механики и оптики, 60-66, 2014 | 6 | 2014 |
| Верификация визуальных автоматных программ с использованием инструментального средства SPIN. Магистерская работа. СПбГУ ИТМО, 2009 МА Лукин Магистерская диссертация. СПбГУ ИТМО, 2009 | 6 | 2009 |
| Разработка и автоматическая верификация параллельных автоматных программ МА Лукин, АА Шалыто Информационно-управляющие системы, 43-50, 2013 | 5 | 2013 |
| Верификация автоматных программ МА Лукин Бакалаврская работа. СПбГУ ИТМО, 2007 | 4 | 2007 |
| FORCtool: An online service for rapid analysis of first-order reversal curve (FORC) data L Surovitskii, E Makarenko, M Lukin, AV Smirnov, P Makeev, V Alushkin AGU Fall Meeting Abstracts 2022, GP22A-0275, 2022 | 3 | 2022 |
| A Versatile Software for Statistical Data Analysis and Spatial Correlation D Krivopaltsev, L Surovitskii, M Lukin Problems of Geocosmos–2020: Proceedings of the XIII International Conference …, 2022 | | 2022 |
| A method for decompilation of AMD GCN kernels to OpenCL KI Mihajlenko, MA Lukin, AS Stankevich Информационно-управляющие системы, 33-42, 2021 | | 2021 |
| Программное средство для генерации дискретной формальной модели объекта управления по примерам поведения ИП Бужинский, ИТ Закирзянов, ВА Миронович, СВ Казаков, МА Лукин, ... | | 2018 |
| Верификация распределенных автоматных программ с использованием инструментального средства Spin МА Лукин, АА Шалыто Инструменты и методы анализа программ Tools & Methods of Program Analysis …, 2013 | | 2013 |
| Санкт-Петербургский государственный университет информационных технологий, механики и оптики МА Лукин | | |
| Верификация 800 автоматных программ, построенных при помощи генетического программирования МА Лукин, МВ Буздалов, АА Шалыто | | |
| Разработка и верификация многопоточных автоматных программ МА Лукин | | |
| АВТОМАТНЫХ ПРОГРАММ СЭ Вельдер, МА Лукин, АА Шалыто, БР Яминов | | |
