Кое-какие публикации

2013

• А.А. Малых, А.В. Манцивода. Система Libretto: разработка веб-ресурсов в единой модели данных и знаний // 6-я Всероссийская конференция по проблемам управления (МКПУ-2013).– Геленджик, 30 сентября – 5 октября 2013.– с.73-75.
Свидетельства о регистрации:
• Свидетельство о регистрации программы для ЭВМ No. 2013611598 "Система разработки моделей предметных областей 'Onto Notes'". Авторы: Малых А.А., Абдрахимов И.С. Зарегистрировано 28.01.2013.
• Свидетельство о регистрации программы для ЭВМ No. 2013612930 "Система управления библиотекой библиографических записей 'Bib Items'". Авторы: Ульянов В.С. Зарегистрировано 18.03.2013.

2012

Известия ИГУ. Серия математика:
• Малых А.А., Манцивода А.В. Объектные теории над списочными надстройками // Известия ИГУ. Серия математика. -- No.4. -- 2012. С.27--44.    >>> pdf
• Гаврюшкина А.А., Москвина А.С. Обобщенная операторная нотация и ее свойства // Известия ИГУ. Серия математика. -- No.1. -- 2012. С.13--25.    >>> pdf
• Москвина А.С. Метаданные мультимедийных ресурсов и онтологии // Журнал "Программные продукты и системы". -- М., 2012. -- №2. -- С.38-42.    >>> html
• Абдрахимов И.С. Основы программирования на языке Libretto : учеб. пособие / И.С. Абдрахимов, И.А. Казаков, А.А. Середович. -- Иркутск : Изд-во ИГУ, 2012. -- 104 с.
Мальцевские чтения'2012:
• Гаврюшкина А.А., Москвина А.С. Операционная нотация и алгоритмы построения корректных термов [Текст] // Международная конференция "Мальцевские чтения". - Новосибирск, 2012. - С.24.    >>> pdf
• Середович А.А. Принципы построения объектной модели озера Байкал [Текст] // Международная конференция "Мальцевские чтения". - Новосибирск, 2012. - С.33.    >>> pdf
МКПУ'2012:
• Малых А.А., Манцивода А.А. Абстрактный тип данных "ИТЕРАТОР" как основа семантики языка LIBRETTO [Текст] // Материалы конференции "Управление в технических, эргатических, организационных и сетевых системах" (УТЭОСС-2012). – СПб.: ГНЦ РФ ОАО «Концерн «ЦНИИ «Электроприбор», 2012. – С. 1184-1187.    >>> pdf
Телематика'2012:
• Малых А.А., Манцивода А.В., Романова О.А. Микроформаты и математические тексты [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.37-38.    >>> pdf
• Абдрахимов И.С., Истомин М.В. Принципы разработки web-интерфейсов на основе платформы Libretto [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.274-276.    >>> pdf
• Москвина А.С., Хенкина А.А. Образовательные сервисы картографической разметки [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.35-36.    >>> pdf
• Абдрахимов И.С., Казакова И.Ю. База знаний природных и социальных феноменов Сибири и Монголии [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.322-323.    >>> pdf
• Ульянов В.С. Особенности организации электронной библиотеки на принципах Saas [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2012". - С-Пб., 2012. - С.36-37.    >>> pdf

2011

Известия ИГУ. Серия математика:
• И.А. Казаков, А.В. Манцивода. Базы данных как онтологии // Известия ИГУ. Серия математика. -- No.1. -- 2011. С.20--30.    >>> pdf
• А.А. Малых, А.В. Манцивода. Объектно-ориентированная дескриптивная логика // Известия ИГУ. Серия математика. -- No.1. -- 2011. С.57--72.    >>> pdf
• И.А. Казаков. Алгебры Кодда и дескриптивные логики // Известия ИГУ. Серия математика. -- No.3. -- 2011. С.68--73.    >>> pdf
• А.А. Гаврюшкина. Теория списков и Σ-определимость // Известия ИГУ. Серия математика. -- No.4. -- 2011. С.27--38.    >>> pdf
Труды ИМЭИ ИГУ. Математика и информатика:
• Абдрахимов И.С., Кохо М.А. Семантическое тегирование на основе объектных моделей [Текст] // Труды ИМЭИ ИГУ. Математика и информатика.- 2011. - No.1. - C.5-15.
• Абдрахимов И.С., Петухин В.А., Хенкина А.А. База знаний «Флора Байкальской Сибири» в системе Libretto [Текст] // Труды ИМЭИ ИГУ. Математика и информатика.- 2011. - No.1. - C.15-23.
• Москвина А.С. Построение метаописаний мультимедийных ресурсов на основе онтологий [Текст] // Труды ИМЭИ ИГУ. Математика и информатика.- 2011. - No.1. - C.96-106.
Мальцевские чтения'2011:
• Малых А.А., Манцивода А.В. Libretto: язык программирования как средство логического объектного моделирования [Текст] // Международная конференция "Мальцевские чтения". - Новосибирск, 2011. - С.130-131.
• Gavryushkina A. A., Kazakov I.A. A formalization of the Codd’s relational algebra in logic SHOIN(D) [Text] // International conference "Mal'tsev meeting". - Novosibirsk, 2011. - P. 134-135.
МКПУ'2011:
• Малых А.А., Манцивода А.А. Libretto: объектно-ориентированный язык программирования с логическим ядром [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 33-35.
• Абдрахимов И.С., Хенкина А.А., Кохо М.А. База знаний фактов об озере Байкал [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 165-167.
• Казаков И.А. Объектные теории баз данных [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 145-147.
• Москвина А.С. Технология метаописания мультимедийных ресурсов [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 151-153.
• Стукушин Н.О. Формализованные спецификации и распределенные системы знаний [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 162-164.
Телематика'2011:
• Манцивода А.В., Романова О.А. Онтологии математических текстов [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С.46-47.    >>> pdf
• Гаврюшкин А.Н., Гаврюшкина А.А., Москвина А.С. Метаданные и мультимедийные образовательные ресурсы [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С. 47-49.    >>> pdf
• Казаков И.А. Управление базами данных в системах онтологий [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С. 266-268.    >>> pdf
• Ульянов В.С., Малых А.А. Отображение баз знаний системы «Мета-2» в объектный язык программирования [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С. 268-269.    >>> pdf
• Истомин М.В., Абдрахимов И.С. Концепция системы покомпонентного метаописания текстовых данных объектами онтологий [Текст] // Труды Всероссийской научно-методической конференции "Телематика'2011". - С-Пб., 2011. - С. 311-312.    >>> pdf
Свидетельства о регистрации:
• Свидетельство о регистрации программы для ЭВМ No. 2011611365 "Логическая система хранения данных 'Ontobox'". Авторы Манцивода А.В., Малых А.А. Зарегистрировано 11.02.2011. >>> jpeg
• Свидетельство о регистрации программы для ЭВМ No. 2011611364 "Интерпретатор языка запросов к логическим базам знаний 'Libretto'". Авторы Манцивода А.В., Малых А.А. Зарегистрировано 11.02.2011. >>> jpeg
• Свидетельство о регистрации программы для ЭВМ No. 2011610717 "Справочно-информационная система 'Флора'". Авторы Абдрахимов И.С., Хенкина А.А., Петухин В.А. Зарегистрировано 11.01.2011. >>> jpeg
• Свидетельство о регистрации программы для ЭВМ No. 2011610716 "Модуль для формализации спецификаций". Авторы Стукушин Н.О. Зарегистрировано 11.01.2011. >>> jpeg
• Свидетельство о регистрации программы для ЭВМ No. 2011610184 "Система разработки методанных для мультимедийных ресурсов". Авторы Москвина А.С., Казаков И.А., Манцивода А.В., Кохо М.А. Зарегистрировано 11.01.2011. >>> jpeg

2010

• Malykh, A. A Query Language for Logic Architectures / A. Malykh, A. Mantsivoda. // Proceedings of 7th International Conference "Perspectives of System Informatics". -- Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science 5947. -- 2010. -- P.294–305.    >>> pdf
• Манцивода А.В., Стукушин Н.О. Объектные модели и распределенные системы знаний // Известия ИГУ. Серия математика. -- No.4. -- 2010. С.65--79.    >>> pdf
• Малых А.А., Манцивода А.В. Libretto: объектно-итерационный язык программирования. ИГУ, 2010, 54 стр.
• И.С. Абдрахимов. Решение задач по IP-адресации и статической маршрутизации. ИГУ, 2010, 32 стр.
Телематика'2010:
• Кохо М.А., Хенкина А.А. Разработка WEB-приложений на основе технологии OntoBox/Libretto// Труды Всероссийской научно-методической конференции "Телематика'2010". - С-Пб., 2010. – С.87-92.    >>> pdf
Свидетельства о регистрации:
• Свидетельство о регистрации программы для ЭВМ No. 2010615262 "Идентификация обломочных грунтов по геофизическим данным". Авторы Мусихина О.М. Зарегистрировано 13.08.2010. >>> jpeg
• Свидетельство о регистрации программы для ЭВМ No. 2010615217 "Система разработки баз знаний на основе онтологий 'Мета2'". Авторы Ульянов В.С., Малых А.А., Манцивода А.В. Зарегистрировано 13.08.2010. >>> jpeg
• Свидетельство о регистрации программы для ЭВМ No. 2010610789 "Онлайн система работы отдела аспирантуры высшего учебного заведения". Авторы Казаков И.А., Малых А.А., Манцивода А.В. Зарегистрировано 22.01.2010. >>> jpeg

2009

• Манцивода А.В., Стукушин Н.О. Спецификации как онтологии // Журнал "Программные продукты и системы". -- М., 2009. -- №4. -- С.37-43.    >>> pdf
• Малых А.А, Манцивода А.В, Ульянов В.С. Логические архитектуры и объектно-ориентированный подход // Вестник НГУ. Серия: Математика, механика, информатика, 2009, Т.9, вып. 3. – С. 64-85.   >>> pdf
• Стукушин Н.О. Логические формализации спецификаций на основе ОО-проекций // Известия ИГУ. Серия математика.- Том 2 . -- No.2.- 2009. С.171--182   >>> pdf
• Малых А.А., Манцивода А.В. Онтобокс: онтологии для объектов // Известия Иркутского государственного университета. Серия Математика. -- Иркутск. -- Том 2. -- No.2. -- 2009. -- с. 94-104.   >>> pdf
• Ульянов В.С. Бесконечные ленивые маркированные деревья // Известия ИГУ. Серия математика.- Том 2 . -- No.2. -- 2009. С.183-193.   >>> pdf
Телематика'2009:
• Москвина А.С., Манцивода А.В. Хранение метаданных в мультимедийных файлах // Труды XVI Всероссийской научно-методической конференции «Телематика'2009». -- С-Пб., 2009. -– С.48.    >>> pdf
• Стукушин Н.О., Малых А.А. Формализация стандартов через дескриптивные логики // Труды XVI Всероссийской научно-методической конференции «Телематика'2009». -- С-Пб., 2009. -– С.49.    >>> pdf
• Ульянов В.С., Малых А.А. Логические формализмы представления знаний и объектно-ориентированный подход // Труды XVI Всероссийской научно-методической конференции «Телематика'2009». -- С-Пб., 2009. -– С.47.    >>> pdf
• Манцивода А.В., Малых А.А. OntoBox: ядро системы «Мета-2» // Труды XVI Всероссийской научно-методической конференции «Телематика'2009». - С-Пб., 2009. – С.50.    >>> pdf
• Манцивода А.В., Казаков И.А. Система поддержки деятельности аспирантуры ИГУ на базе OntoBox // Труды XVI Всероссийской научно-методической конференции «Телематика'2009». - С-Пб., 2009. – С.47.    >>> pdf

2008

• Манцивода А. В., Малых А. А. Достижения в Интернете и будущее информационной среды российского образования// Информационные технологии. -- М. -- №1. -- 2008. -- С. 67-74.   >>> pdf
• Манцивода А.В., В.А. Липовченко, А.А. Малых Исчисление дескриптивных термов и представление знаний в распределенных средах // Иркутск: Изд-во Иркутского ун-та, 2008. - 111 с.
• Малых А.А., Манцивода А.В. Мета2: онтологии как ядро Интернет-сервисов // Научный сервис в сети Интернет: решение больших задач: Труды всерос. науч. конф. 22-27 сентября 2008 г., Новороссийск. - М.: Изд-во МГУ, 2008. - С.425-428.
Телематика'2008:
• Манцивода А.В., Романова О.А. Создание информационно-справочной системы по математическому анализу на основе онлайн-консультации. // Труды XV Всероссийской научно-методической конференции «Телематика'2008». -- С-Пб., 2008. - C. 315    >>> pdf
• Малых А.А., Ульянов В.С. Модульность в системе Мета2 с использованием JavaFX. // Труды XV Всероссийской научно-методической конференции «Телематика'2008». - С.-Петербург, 2008. - C. 317    >>> pdf
• Манцивода А.В., Москвина А.С. Метод видеоразметки для создания электронных лекций // Труды XV Всероссийской научно-методической конференции «Телематика'2008». - С-Пб., 2008.- С.315.    >>> pdf
• Малых А.А., Стукушин Н.О. Онтологии как инструмент создания сложных структур // Труды XV Всероссийской научно-методической конференции «Телематика'2008». - С-Пб., 2008.- С.313.    >>> pdf
• Малых А.А., Казаков И.А. Доступ к онтологиям через WEB. Базовый подход в системе Мета2 // Труды XV Всероссийской научно-методической конференции «Телематика'2008». - С-Пб., 2008.- С.314.    >>> pdf

2007

• Mалых А.А., Ульянов В.С. Организация пользовательского интерфейса информационных систем на основе онтологий // Вестник Бурятского университета. Серия 13: Математика и информатика. - Улан-Удэ.: Изд-во Бурят. ун-та, - Вып. 3. 2007, С. 250-253.
• Малых А.А., Манцивода А.В., Прядунец Г.Н., Ульянов В.С. Информационная система повышения квалификации на крупных и опасных производствах // Труды Всероссийской научно-методической конференции "Телематика'2007". – С-Пб., 2007.

2006

• Манцивода, А.В. Применение логического программирования к обработке знаний / А.В. Манцивода, В.А. Липовченко // Вестник Бурятского университета. Серия 13. Математика и информатика. -- Улан-Удэ: Изд-во Бурят. ун-та, 2006. -- Вып. 2. -- С.50-57.
• Mantsivoda A., Lipovchenko V., Malykh A. Logic Programming in Knowledge Domains // Lecture Notes in Computer Science. -- Berlin: Springer, 2006. -- P.451-452. %6
• Ульянов В.С. Создание пользовательского интерфейса для системы управления онтологиями // Сборник материалов всероссийского конкурса инновационных проектов аспирантов и студентов по приоритетному направлению развития науки и техники "информационно-телекоммуникационные системы". - М.: «Информика», 2006. – С.64.
• В.С. Ульянов. Организация пользовательского интерфейса информационных систем на основе онтологий // Труды Всероссийской конференции «Телематика’2006». – С. Петербург, 2006, С. 102-103.

2005

• В.С. Ульянов. Создание системы управления ресурсами. Труды Всероссийского конкурса «Информационно-телекомуникационные системы», С-Пб., 2005. –С. 95-96.
• Ульянов В.С. Использование онтологий в задачах построения биологических информационных ресурсов // Материалы VII школы-семинара «Математическое моделирование и информационные технологии». – Иркутск: Изд-во ИДСТУ, 2005. -- С.31.
• Mantsivoda, A. Semantic Programming for Semantic Web // Invited Talk. Proceedings of the 9th International Asian Logic Conference. -- Novosibirsk, 2005. -- P.17-21.
• Манцивода А.В., Малых А.А. Представление и обработка знаний в Интернете: Информационные системы и логика. -- Иркутск: Издательство Иркутского ун-та, 2005. -- Вып. 2. -- 111с.
• А.В.Манцивода, В.С.Ульянов. Онтологические системы и задачи управления контентом // Труды Всероссийской конференции «Телематика'2005». - С.-Петербург, 2005.
• Малых, А.А. Представление знаний и семантическое программирование.: дис. на соискание ученой степени канд. ф.-м. наук: 01.01.09 / А.А. Малых. -- Иркутск, 2005. -- 144c.

1994

• А.В. Манцивода. $\Sigma$--программирование и проблемы дискретной оптимизации// Иркутск, 1994, 245с. Электронная версия http://teacode.com/flang/book/sigma-book.pdf.
• A. Mantsivoda. Logic and Large Combinatorial Problems (invited talk) // Workshop on Non-standard Logics and Logical Aspects of Computer Science, Kanazawa, Japan, December 5-8, 1994, p.24-33.

1993

• A. Mantsivoda, V. Petukhin, A. Weimann. Memory Management of Constraints in Flang// Proc. of 10th Int. Conf on Logic Programming, (ed. by D.S.Warren), MIT Press, 1993, p.633-646.
• А.В. Манцивода. Флэнг -- язык искусственного интеллекта//Кибернетика, 1993, No. 5, с.350-367.

1992

• Mantsivoda A. Flang: A Functional-Logic Language // Lecture Notes in Computer Science. -- Berlin: Springer, 1992. -- Vol. 567. -- P.257-270. %Где мы ссылаемся на нашу работу
• А.В. Манцивода, В.А. Петухин. Компилятор функционально-логического языка Флэнг//Вычислительные системы, вып. 146, 1992, с. 61-75.

1991

• A. Mantsivoda, V. Petukhin. Compiling Flang // Proceedings of 2nd Russian Conference on Logic Programming, St.Petersburg, 1991, No. 592 in Lecture Notes in Computer Science, Springer, pp. 286-293, Springer-Verlag, 1992.