Снытникова Т. В. , Непомнящая А. Ш. , Снытникова Т. В. , Непомнящая А. Ш. «Ассоциативная версия инкрементального алгоритма Рамалингама для решения проблемы достижимости в потоковых графах с одним источником» // Вестник ТГУ УВТиИ 2021. №54 C.86-96
Снытникова Т. В. , Непомнящая А. Ш. , Снытникова Т. В. , Непомнящая А. Ш. «Решение задач на графах с помощью STAR-машины, реализуемой на графических ускорителях» // Прикладная дискретная математика 2016. №3(33) C.98-115
Булавинцев В. Г., Семенов А. А., Булавинцев В. Г., Семенов А. А. «О GPU-реализации ограниченной версии нехронологического алгоритма DPLL» // Прикладная дискретная математика. Приложение 2013. №6 (Приложение) C.111-112
Булавинцев В. Г. , Семенов А. А. , Булавинцев В. Г. , Семенов А. А. «О GPU-реализации ограниченной версии нехронологического алгоритма DPLL» // Прикладная дискретная математика. Приложение 2013. №6 C.111-112