Кандидатские диссертации

С.В.Григорьев. Cинтаксический анализ динамически формируемых программ . Диссертация на соискание степени кандидата физико-математических наук. СПбГУ. 2015

В.Ю.Трифанов. Динамическое обнаружение состояний гонки в многопоточных Java-программах . Диссертация на соискание степени кандидата технических наук. ИТМО. 2013.

К.Ю.Романовский. Метод повторного использования документации семейств программных продуктов . Диссертация на соискание степени кандидата физико-математических наук. СПбГУ. 2010