Автоматизированная разработка динамических Web-узлов средствами декларативного языка программирования
Вычисление мощности множества регулярного выражения как критерия оптимальности в задачах динамической маршрутизации web-адресов
Использование паттерна «абстрактная фабрика» в реализации модуля валидации и преобразования данных интерпретатора BlockSet
Метод анализа и оценки качества декларативного и императивного программирования динамических web-приложений
Разработка архитектуры программного комплекса синхронизатора при интерпретаторе декларативного языка BML
Разработка и внедрение интерпретатора декларативного языка моделирования Web-интерфейсов на высоконагруженных системах