Публикации

Список наиболее важных публикаций за 2014 г.

Монографии

  1. Батура Т.В., Белогубова М.В., Братцев С.Г., Копылова Н.С., Мурзин Ф.А. Мультиагентные модели социодинамических процессов // Моногр. / Институт систем информатики им. А.П. Ершова СО РАН. – Новосибирск: Изд-во СО РАН, 2014. ISBN 978-5-7692-1404-2. – 119 с
  2. Батура Т.В., Мурзин Ф.А., Перфильев А.А., Шманина Т.В. Методы повышения эффективности поиска информации на основе синтаксического анализа // Моногр. / Институт систем информатики им. А.П. Ершова СО РАН. – Новосибирск: Изд-во СО РАН, 2014. ISBN 978-5-7692-1398-4. – 76 с.
  3. Платонов Юрий Георгиевич. Интерграция независимых информационных систем. Lambert Academic Publishing, 2014, 95 p.

Центральные издания

  1. Ахмадеева И.Р., Загорулько Ю.А., Серый А.С., Шестаков В.К. Методы автоматического анализа цветовой гаммы изображения и их применение при создании веб-сайтов // Программная инженерия, 2014. № 12. –С.19-26.
  2. Ахмадеева И.Р., Загорулько Ю.А., Серый А.С., Шестаков В.К. Методы анализа изображений для поддержки создания веб-сайтов с динамически меняющимся оформлением // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2014. Том.12, выпуск 3. (в печати).
  3. Батура Т.В. Методы определения авторского стиля текстов и их программная реализация // Программные системы и вычислительные методы. – М.: НБ-Медиа, 2014. – № 2. – C. 197–216. DOI: 10.7256/2305-6061.2014.2.11705
  4. Батура Т.В., Мурзин Ф.А., Перфильев А.А., Байжанов Б.С., Немченко М.В. Машинно-ориентированные методы определения степени близости предложений на естественном языке // Вестник Национальной Академии Наук Республики Казахстан. – Алматы, 2014. – №. 5. – С. 3-12
  5. Батура Т.В., Мурзин Ф.А., Проскуряков А.В., Байжанов Б.С., Немченко М.В. О методах анализа компьютерных социальных сетей // Доклады Национальной Академии Наук Республики Казахстан. – Алматы, 2014. – №. 5. – С. 11-20.
  6. Батура Т.В., Мурзин Ф.А., Проскуряков А.В., Сперанский Д.О. Методы анализа и обработки данных из социальных сетей // Проблемы информатики. – Новосибирск, 2014. – №. 2(23). – С. 39-53.
  7. Батура Т.В., Мурзин Ф.А., Семич Д.Ф. Облачные технологии:  основные понятия, задачи и тенденции развития // Электронный журнал "Программные продукты системы и алгоритмы". – Тверь, 2014. – Вып. 1 от 07.03.2014. – С. 1-22.
  8. Батура Т.В., Мурзин Ф.А., Семич Д.Ф. Облачные технологии: основные модели, приложения, концепции и тенденции развития // Программные продукты и системы. – Тверь, 2014. – №. 3. – С. 64-72.
  9. Батура Т.В., Мурзин Ф.А., Сперанский Д.О., Байжанов Б.С., Немченко М.В. Модели определения релевантности текста заданной теме, графы ассоциированные с текстами и задача реферирования // Известия Национальной Академии Наук Республики Казахстан. – Алматы, 2014. – №. 5 (297). – С. 25-32.
  10. Бушин Д., И. Вирбицкайте. Компаративная трассовая семантика временных сетей Петри. Принято в печать в журнал «Программирование», МАИК Наука / Интерпериодика, Москва (ISSN 0132-3474).
  11. Гаранина Н.О., Бодин Е.В., Сидорова Е.А. Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN // Моделирование и анализ информационных систем, 2014. Принято в печать.
  12. Гончаров С.С., Емельянов П.Г. О некоторых аспектах реализации двухуровневой системы подготовки в классических университетах / В сб. Математика и информационные технологии в естественно-научном образовании. – Тюмень: Изд-во ТюмГУ, 2014. – С. 94-104.
  13. Демин А.В. Метод естественной кластеризации данных // Молодой ученый. – 2014. № 20 (79) – С. 34-38.
  14. Демин А.В. Обучение способам передвижения виртуальной модели змеевидного робота // Молодой ученый. – 2014. – № 19 (78) – С. 147-150.
  15. Емельянов П.Г., Пономарев Д.К. Алгоритмические вопросы конъюнктивной декомпозиции булевых формул // Принята к публикации в журнале Программирование. – 2015, - Т. 41, № 3. С. 13
  16. Загорулько Г.Б., Молородов Ю.И., Федотов А.М Систематизация знаний по теплофизическим свойствам веществ // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2014. Том.12, выпуск 3. (в печати).
  17. Загорулько Ю.А., Боровикова О.И., Сидорова Е.А., Ахмадеева И.Р. Cбор онтологической информации для интеллектуальных научных Интернет-ресурсов // Системная информатика. 2014. № 3. –С.13-23.
  18. Касьянов В.Н. Российское программирование в лицах: мои учителя // Проблемы информатики. – 2014. ‑ N 2. – С. 74-85.
  19. Касьянов В.Н., Касьянова Е.В. Визуализация информации на основе графовых моделей // Научная визуализация. – 2014. ‑ Том. 6, N 1. ‑ С. 31 – 50.
  20. Касьянова Е.В., Касьянова С.Н. Программирование в старших классах школы и в вузе // Проблемы информатики. – 2014. ‑ N 2. – С. 66-73.
  21. Кондратьев Д.А., Промский А.В. Разработка самоприменимой системы верификации. Теория и практика // Моделирование и анализ информационных систем. Т. 21, № 6 (2014), 70-81.
  22. Кононенко И.С., Саломатина Н.В., Сидорова Е.А. «Опыт создания тематических словарей для рубрикации коротких описаний веб-сайтов» // Программная инженерия. №1. 2015. (принята в печать).
  23. Косарев Н.С., Щербаков А.С. Статистический анализ точности определения положений спутников систем ГЛОНАСС и GPS // Вестник Сибирской государственной геодезической академии, Новосибирск. – 2014. – 2 (26). – С. 9-18.
  24. Крайнева И.А. Архив физика Ю.Б. Румера как источник по истории науки. Вестник ТГУ. Культурология и искусствоведение. 2014. №1 (13), с. 56-64
  25. Крайнева И.А. Фотодокументы как источник по истории сибирской науки: на материалах фотоархива СО РАН. Вестник ТГУ, 2014. № 379. С. 136–139.
  26. Крайнева И.А. Черемных Н.А. Альфа-язык и транслятор. Открытые системы, номер 6, 2014. С. 39-41.
  27. Крайнева И.А. Ю.Б. Румер и «Дело физиков» (апрель 1938 - май 1940 гг.). Вестник НГУ, Серия: история, филология. 2014. Т.13, №1. С.97-107.
  28. Лаврентьев М.М., Бартош В.С., Белаго И.В., Васючкова Т.С., Городняя Л.В., Держо М.А., Иванчева Н.А., Федотова О.А. Опыт преподавания IT-дисциплин в формате «blended learning» в Новосибирском государственном университете (НГУ)// Дистанционное и виртуальное обучение, Издательство: Издательство Современного гуманитарного университета (Москва) ISSN: 1561-2449. - 2014. - №9 (87). - С. 85-99.
  29. Марчук А.Г. PolarDB – система создания специализированных NoSQL баз данных и СУБД / Моделирование и анализ информационных систем. Т. 21, №6 (2014) сс. 169-175.
  30. Марчук А.Г., Лештаев С.В. Система создания архивов газет с поиском по ключевым словам // Электронный журнал «Системная информатика», №3 (2014), c. 1-11,
  31. Марчук А.Г., П.А. Марчук. Базовая онтология неспецифических сущностей BONE и её использование для построения информационных систем // Вестник СибГУТИ № 4 (28) 2014. (в печати).
  32. Пальянов А.Ю., Ратушняк А.С. Об особенностях распространения сигналов в нервной системе C. elegans. // Вавиловский журнал генетики и селекции (2014) , том 18(4/3), с. 1222-1232
  33. Пальянов А.Ю., Хайрулин С.С. Sibernetic: программный комплекс на базе алгоритма PCI SPH, ориентированный на задачи моделирования в области биомеханики живых систем. // Вавиловский журнал генетики и селекции (2014) , том 18(4/3), с. 1212-1221
  34. Платонов Юрий Георгиевич. Метод слабосвязанных бизнес-коммуникаций в гомогенных информационных системах. Специальный выпуск журнала «Научное обозрение». Дайджест лучших публикаций журнала «Современные проблемы науки и образования» в 2013 , тезисы , 2014, с.109.
  35. Рубцова Ю.В. Методы автоматического извлечения терминов в динамически обновляемых коллекциях для построения словаря эмоциональной лексики на основе микроблоговой платформы Twitter // Доклады Томского государственного университета систем управления и радиоэлектроники, 2014. № 3 (33). –С.140-144.
  36. Рубцова Ю.В. Разработка и исследование предметно независимого классификатора текстов по тональности // Труды СПИИРАН. 2014. Вып. 36. – C. 59-77.
  37. Сидорова Е.А., Загорулько М.Ю. Информационная среда проведения фольклорных исследований на корпусном материале // Информационные технологии в гуманитарных исследованиях. Вып.19. – Новосибирск: РИЦ НГУ, 2014. –С.22-28.
  38. Сидорова Е.А., Кононенко И.С., Анохин С.В., Саломатина Н.В. Тематический анализ запросов пользователей с использованием предметно-ориентированного словаря // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2014. Том.12, выпуск 4. (в печати).
  39. Тарасюк И.В., Масиа С.Х., Валеро Р.В. Анализ производительности параллельных систем в алгебре dtsiPBC. Программирование 40(5), с. 3-27, МАИК Наука / Интерпериодика, Москва, сентябрь 2014 (ISSN 0132-3474).
  40. Трофимов В.К., Храмова Т.В. «Кодирование неизвестного стационарного источника символами неравной длительности». Ползуновский вестник. Барнаул, 2014, № 2/1. – стр.61-63.
  41. Трофимов В.К., Храмова Т.В. «Оптимальное универсальное кодирование для объединения различных множеств источников символами неравной длительности». Вестник СибГУТИ. Новосибирск, 2014, № 4. – стр.30-36.
  42. Черненок С.А., Непомнящий В.А. Анализ и верификация MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри. // Моделирование и анализ информационных систем. 2014, № 6. (Принято к печати).
  43. Шелехов В.И. Списки и строки в предикатном программировании// Системная информатика. — Новосибирск, 2014. . - N 3. – С. 25-43.
  44. Шелехов В.И. Язык и технология автоматного программирования // «Программная инженерия», №4, 2014. – C. 3-15.
  45. Anureev I.S., Domain-specific transition systems and their application to formal definition of a model programming language // Bulletin of the Novosibirsk Computing Center, Series Computer Science. 2014. Vol. 36. (To appear).
  46. Apanovich Z.V. Cherepanov D. N., Marchuk A.G. Identity resolution for knowledge base integration and knowledge base integration for identity resolution. Bulletin of the Novosibirsk Computing Center Series :Computer Science 2014. (to appear).
  47. Batura T.V., Murzin F.A., Bakiyeva A.M., Yerimbetova A.S. The methods of estimation of the degree of similarity of sentences in a natural language based on the link grammar // Joint Bull. of NCC&IIS. Ser.: Comput. Sci. – 2014. – Is. 36. – 11 p. (to appear)
  48. Emelyanov P. Path reconstruction in the Barning-Hall tree // Journal of Mathematical Sciences, 202:1 (2014), pages 72-79.
  49. Garanina N. Eleusis: Perfect Recall for Inductive Reasoning // НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. НТВ-ИТУ/2014 #1(188). Стр. 69-75
  50. Levichev A. V., O. Simpson, B. Vadala-Roth. On hyperbolic motion in two homogeneous space-times, Mathematical Structures and Modeling (2014), 29: 38-42. Омский ГУ, ISSN 2222-8799
  51. Marchuk A., Murzin F., Bulyonkova A., Krayneva I. 25 Yeas of A.P. Ershov Institute of Informatics Systems: a History Overview. Joint Bull. of NCC&IIS. Ser.: Comput. Sci. 2014. Vol. 35. (to appear).
  52. Promsky A.V. Experiments on self-applicability in the C-light verification system. Part 2 // Bull. Nov. Comp. Center, Comp. Science, (2014), (to appear).
  53. Rubtsova Y.V., Yu. A. Zagorulko. Approach to construction and analysis of short Russian text corpus intended for training a sentiment classifier // Joint NCC&IIS Bulletin, Series Computer Science. 2014. Vol. 37. (в печати).
  54. Shestakov V.K., Yu.A. Zagorulko. Constructing and maintaining information Wiki-systems based on ontology // Joint NCC&IIS Bulletin, Series Computer Science. 2014. Vol. 37. (в печати).

Зарубежные издания

  1. Apanovich Zinaida, Alexander Marchuk «New approaches to the ontology alignment and identity resolution problems» Computer Science Journal of Moldova", V.22, N.3(66), pp.405-422, 2014. http://www.math.md/publications/csjm/
  2. Demin A.V. Logical Model of the Adaptive Control System Based on Functional Systems Theory // Young Scientist USA. Applied science. – Auburn, Washington, 2014. – pp. 113-118.
  3. Demin A.V., Vityaev E.E. Learning in a virtual model of the C. elegans nematode for locomotion and chemotaxis // Biologically Inspired Cognitive Architectures (2014). – Elsevier, 2014. – V. 7. – pp. 9-14.
  4. Dubtsov R., E. Oshevskaya, Irina Virbitskaite. A Domain View of Timed Behaviors. Fundamenta Informaticae 133(2-3): 133-147 (2014).
  5. Dyachenko O.O., Zagorulko Yu.A. A Collaborative Development of Ontology-Based Knowledge Bases// Knowledge Engineering and the Semantic Web 5th International Conference, KESW 2014, Kazan, Russia, September 29-October1, 2014 / P.Klinov and D.Mouromtsev (Eds.), Communications in Computer and Information Science (CCIS) 468, Springer International Publishing Switzerland 2014 - pp. 219-228.
  6. Hertling P., V. Selivanov. Complexity Issues for Preorders on Finite Labeled Forests. In: "Logic, Computation, Hierarchies", edited by Vasco Brattka, Hannes Diener, and Dieter Spreen, Ontos Publishing, de Gruiter, Boston-Berlin, 2014, 165-190.
  7. Konovalov A. S., Selivanov, V. L. Boolean Algebras of Regular Languages./ ALGEBRA AND LOGIC Volume: 52 Issue: 6 Pages: 448-470 Published: JAN 2014
  8. Korovina M., O. Kudinov. Positive Predicate Structures for Continuous Data. Journal of Mathematical Structures in Computer Science, 2014, Cambridge University Press, DOI: 10.1017/S0960129513000315
  9. Maryasov V., V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev Automatic C Program Verification Based on Mixed Axiomatic Semantics. // Automatic Control and Computer Sciences. 2014. Vol. 48. (To appear).
  10. Rubtsova Yu. Automatic Term Extraction for Sentiment Classification of Dynamically Updated Text Collections into Three Classes// Knowledge Engineering and the Semantic Web 5th International Conference, KESW 2014, Kazan, Russia, September 29-October1, 2014 / P.Klinov and D.Mouromtsev (Eds.), Communications in Computer and Information Science (CCIS) 468, Springer International Publishing Switzerland 2014 - pp. 140-149.
  11. Satekbayeva A., Shilov N.V. Some Results on Multiagent Algorithms in Social Computing/Software Context // Information, v.17, n.1, 2014, p.229-240
  12. Shilov N.V. An approach to design of automata-based axiomatization for propositional program and temporal logics (by example of linear temporal logic). Collection of papers devoted to 60th anniversary of V.L. Selivanov, De Gruyter, Boston/Berlin, 2014, p.297-324.
  13. St Laurent G, Tackett MR, Nechkin S, Shtokalo D, Antonets D, Savva YA, Maloney R, Kapranov P, Lawrence CE, Reenan RA. Genome-wide analysis of A-to-I RNA editing by single-molecule sequencing in Drosophila // Nature Structural and Molecular Biology. 2013. Nov;20(11):1333-9. doi: 10.1038/nsmb.2675. Epub 2013 Sep 29
  14. Szigeti Balazs, Padraig Gleeson, Michael Vella, Sergey Khayrulin, Andrey Palyanov, Jim Hokanson, Michael Currie, Matteo Cantarelli, Giovanni Idili and Stephen Larson. OpenWorm: an open-science approach to modelling Caenorhabditis elegans // Frontiers in computational neuroscience, 11/2014; 8.
  15. Tarasyuk I.V. Equivalence relations for modular performance evaluation in dtsPBC. Mathematical Structures in Computer Science 24(1), p. 78-154, Cambridge University Press, Cambridge, UK, February 2014 (ISSN 0960-1295)
  16. Tarasyuk I.V., Macia H., Valero, V. / PROGRAMMING AND COMPUTER SOFTWARE Volume: 40 Issue: 5 Pages: 229-249 Published: SEP 2014
  17. Tarasyuk I.V., Macia S.H., Valero R.V. Stochastic equivalence for performance evaluation of concurrent systems in dtsiPBC. Technical Report DIAB-14-01-1, 75 p., Department of Computer Systems, High School of Computer Science Engineering, University of Castilla-La Mancha, Albacete, Spain, January 2014.

Материалы международных конференций

  1. Апанович З.В., А.Г. Марчук Новые подходы к нормализации словарей и установлению идентичности сущностей при обогащении контента научных баз знаний // Труды IV Симпозиума ИНФРАСТРУКТУРА НАУЧНЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ И СИСТЕМ (в печати).
  2. Апанович З.В., А.Г. Марчук Подходы к нормализации словарей и установлению идентичности сущностей при обогащении контента научных баз знаний. // Четырнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2014 (24-27 сентября 2014, г. Казань, Россия) Труды конференции Т. 1 – Казань, c. 92-100, 2014
  3. Булгаков К. В. Оптимизирующие трансформации рекурсивных структур в системе предикатного программирования // Материалы 52-й международной научной студенческой конференции «Студент и научно-технический прогресс»: Информационные технологии / Новосиб. гос. ун-т. ? Новосибирск, 2014.
  4. Городняя Л.В. О проблеме автоматизации параллельного программирования // В сборнике Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: многообразие суперкомпьютерных миров ». http://agora.guru.ru/abrau2014.
  5. Загорулько Г.Б. Разработка репозитария методов поддержки принятия решений как сервис-ориентированной научной среды// Труды 24-ой Международной Крымской конференции «СВЧ-техника и телекоммуникационные технологии» (КрыМиКо’2014). Севастополь, 7—13 сентября 2014 г. — Севастополь: Вебер, 2014. — Т.1 – С. 324-325. (ISBN 978-966-335-415-6).
  6. Загорулько Ю.А. На пути к массовой технологии построения интеллектуальных научных Интернет-ресурсов // Труды 24-ой Международной Крымской конференции «СВЧ-техника и телекоммуникационные технологии» (КрыМиКо’2014). Севастополь, 7–13 сентября 2014 г. – Севастополь: Вебер, 2014. – Т.1 – С.13-15. (ISBN 978-966-335-415-6).
  7. Загорулько Г.Б., Итыгилов В.Г. Создание портала знаний для информационно-аналитической поддержки разработчиков СППР // Труды 14-й национальной конференции по искусственному интеллекту с международным участием КИИ-2014. –Казань: РИЦ «Школа», 2014. –Т.3. – С.200-208.
  8. Загорулько Ю.А., Боровикова О.И., Сидорова Е.А., Ахмадеева И.Р. Подход к автоматизации сбора информации для тематических интеллектуальных научных интернет-ресурсов // Труды 14-й национальной конференции по искусственному интеллекту с международным участием КИИ-2014. –Казань: РИЦ «Школа», 2014. –Т.3. – С.209-218.
  9. Загорулько Ю.А., Боровикова О.И., Сидорова Е.А., Ахмадеева И.Р.. Подход к автоматизации сбора тематической информации для систем поддержки научной и производственной деятельности // XV Российская конференция с международным участием "Распределенные информационно - вычислительные ресурсы" 2-5 декабря 2014, Новосибирск.- http://konf.ict.nsc.ru/dicr2014/ru/reportview/248990.
  10. Загорулько Ю.А., Загорулько Г.Б. О формализации семантики областей знаний в информационных и интеллектуальных системах на основе онтологий // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems): материалы IV Междунар. научн.-техн. конф. (Минск, 20–22 февраля 2014 года.) / редкол. : В. В. Голенков (отв. ред.). – Минск : БГУИР, 2014. C.117-130.
  11. Золотухин Т.А. Алгоритм поиска максимального подграфа двух графов и его реализация в рамках системы VisualGraph // Инновационные технологии: теория, инструменты, практика (INNOTECH 2013). Материалы V Международной интернет-конференции молодых ученых, аспирантов, студентов (01 ноября 2013 г. – 30 ноября 2013 г.). Пермь: Изд-во ПНИПУ, 2014. – C. 197-204. ISBN 978-5-398-01254-5.
  12. Каблуков И. В. Реализация оптимизирующих трансформаций предикатных программ // Материалы 52-й международной научной студенческой конференции «Студент и научно-технический прогресс»: Математика / Новосиб. гос. ун-т. ? Новосибирск, 2014.
  13. Касьянов В.Н. Российская информатика в лицах: мои учителя // Труды SORUCOM-2014. Третья Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы». Казань, 2014. – С. 143-149. ISBN 978-5-905884-15-3
  14. Касьянов В.Н. Российское программирование в лицах: мои учителя // Десятая Международная Азиатская школа-семинар "Проблемы оптимизации сложных систем", Кыргызская Республика, Иссык-Кульская область, с. Булан-Соготту, 25 июля-5 августа 2014 г. Труды. Алматы: Изд-во НЦ НТИ, 2014. – Часть 1. – С. 380-391.
  15. Касьянов В.Н., Арапбаев Р.Н., Идрисов Р.И., Касьянова Е.В. Облачные средства поддержки супервычислений // Материалы XIV Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2014. – Том. 3. С.206-209.
  16. Касьянов В.Н., Касьянова Е.В. О практикуме по программированию в вузе // Ершовская конференция по информатике 2014. Секция “Информатика и образование”. Доклады и тезисы. – Новосибирск: Изд-во СО РАН, 2014. С. 30-32. ISBN 978-5-7692-1376-2.
  17. Касьянова Е.В., Касьянов В.Н. Практикум по программированию// Материалы XIV Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2014. –Том. 4. 4 С.
  18. Касьянова Е.В., Касьянова С.Н. Программирование в старших классах школы и в вузе // Десятая Международная Азиатская школа-семинар «Проблемы оптимизации сложных систем», Кыргызская Республика, Иссык-Кульская область, с. Булан-Соготту, 25июля-5 августа 2014 г. Труды. Изд-во НЦ НТИ Алматы, 2014. Часть 1. С. 391-397.
  19. Лаврентьев М.М., Бартош В.С., Белаго И.В., Васючкова Т.С., Городняя Л.В., Держо М.А., Иванчева Н.А., Федотова О.А. Преподавание IT-дисциплин в формате «blended learning» в ВУЗе, Девятая международная Ершовская конференция по информатике с 24 по 27 июня 2014 года в Санкт-Петербурге.
  20. Левичев А. В. (ИМ СО РАН, Новосибирск), А. Ю. Пальянов (ИСИ СО РАН, Новосибирск), О понятии расстояния между пространство-временами. // Труды международной конференции «Дни геометрии в Новосибирске - 2014», посвященной 85-летию академика Юрия Григорьевича Решетняка., с. 110.
  21. Малышев А.А. Программные расширения MediaWiki для интеграции с издательской системой TeX // Инновационные технологии: теория, инструменты, практика (INNOTECH 2013). Материалы V Международной интернет-конференции молодых ученых, аспирантов, студентов (01 ноября 2013 г. – 30 ноября 2013 г.). Пермь: Изд-во ПНИПУ, 2014. – C. 197-204. ISBN 978-5-398-01254-5.
  22. Малышев А.А. Программные расширения MediaWiki для интеграции с издательской системой TeX // Материалы XIV Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2014. – Том.2 С. 281-284.
  23. Марчук А., Городняя Л., Мигинский Д. Проблема интеграции результатов учебно-методической деятельности ИТ-специалистов // 9 Ершовская конференция по информатике, Информатика образования, рабочий семинар, 24-27 июня 2014 г., Санкт-Петербург, Петергоф, с. 41-48.
  24. Марчук А.Г. PolarDB – система создания специализированных NoSQL баз данных и СУБД. // Ершовская конференция по информатике 2014, Рабочий семинар, Наукоемкое программное обеспечение, 24-27 июня 2014 года, Санкт-Петербург, Петергоф, с. 65-72.
  25. Марчук А.Г., Крайнева И.А. Междисциплинарное взаимодействие точных и гуманитарных наук: методология и история. Труды Третьей международной конференции по истории вычислительной техники и ее программного обеспечения в России и странах бывшего СССР (SORUCOM-2014). Казань, 13-17 октября 2014 г. Казань, 1014. Изд-во: ИП А.П. Чермянина, с. 242-249.
  26. Молородов Ю.И., Загрулько Г.Б. Онтологический подход к построению интернет-портала по теплофизике свойств материалов // XV Российская конференция с международным участием "Распределенные информационно - вычислительные ресурсы" 2-5 декабря 2014, Новосибирск.-http://konf.ict.nsc.ru/dicr2014/reportview/249023.
  27. Панкратов С.Б. Автоматическая генерация тестов для проверки распараллеливающих и векторизующих преобразований в компиляторе // Материалы 52-й Международной научной студенческой конференции "Студент и научно-технический прогресс". Информационные технологии. - Новосибирск, НГУ, 2014. - С. 45.
  28. Рубцова Ю.В. Автоматическое извлечение терминов для задачи тоновой классификации в постоянно обновляющихся текстовых коллекциях // Труды 14-й национальной конференции по искусственному интеллекту с международным участием КИИ-2014. –Казань: РИЦ «Школа», 2014. –Т.1. –С.144-152.
  29. Тихонова Т.И. История успеха языка Лого//Труды SORUCOM-2014, – Казань, 2014. – с.348-353.
  30. Тихонова Т.И. Становление личностных качеств программиста// Доклады и тезисы Ершовской конференции по информатике, секция «Информатика образования» (International Workshop on Educational Informatics) – Санкт-Петербург, 2014. – С. 70-72.
  31. Тумуров Э.Г., Шелехов В.И. Определение требований к системе управления полетом квадрокоптера // Тр. 16-й межд. конф. «Проблемы управления и моделирования в сложных системах». – Самара, Самарский научный центр РАН, 2014. – C. 627-633.
  32. Чушкин М. С. Дедуктивная верификация программ в системе предикатного программирования // Материалы 52-й международной научной студенческой конференции «Студент и научно-технический прогресс»: Математика / Новосиб. гос. ун-т. ? Новосибирск, 2014.
  33. Чушкин М.С. Система дедуктивной верификации предикатных программ // Тр. 2-й межд. конф. «Инструменты и методы анализа программ». – Кострома, Костромской государственный технологический университет. — 14-15 ноября 2014г. — С. 205-214.
  34. Шелехов В.И. Оптимизация автоматных программ методом трансформации требований // Тр. 2-й межд. конф. «Инструменты и методы анализа программ». – Кострома, Костромской государственный технологический университет. — 14-15 ноября 2014г. — С. 175-183.
  35. Шелехов В.И. Разработка автоматных программ методом трансформации требований // Тр. семинара «Наукоемкое программное обеспечение» в рамках Ершовской конференции по информатике PSI 14. — Санкт-Петербург. Петергоф. — 24-27 июня 2014г. — С. 85-97.
  36. Шестаков В.К., Загорулько Ю.А. Инструментарий для построения и сопровождения информационных Wiki-систем на основе онтологий // Труды 24-ой Международной Крымской конференции «СВЧ-техника и телекоммуникационные технологии» (КрыМиКо’2014). Севастополь, 7—13 сентября 2014 г. — Севастополь: Вебер, 2014. — Т.1 – С. 322-323. (ISBN 978-966-335-415-6).
  37. Шилов Н.В., Шилова С.О., Бернштейн А.Ю. Обобщенная тотальность недетерминированных схем Янова и разрешимость программной логики с неподвижными точками. Современные информационные технологии и ИТ-образование. Сборник избранных трудов IX Международной научно-практической конференции. МГУ, 14-16 ноября 2013 г. Стр.444-455.
  38. Apanovich Z.V., A.G. Marchuk Approaches addressing the problem of integration of ontology-based knowledge bases in the context of Linked Open Data// International conference "Advanced Mathematics, Computations and Applications – 2014" (AMCA 2014). Abstracts. Novosibirsk, June 8–11, 2014. Novosibirsk: Academizdat, 2014 – p.46. ISBN 978-5-9904865-8-4 http://conf.nsc.ru/files/conferences/amca14/241897/AMCA_abstracts.pdf
  39. Apanovich Zinaida, Alexander Marchuk Approaches to the ontology alignment and identity resolution problems. //The Third Conference of Mathematical Society of the Republic of Moldova: dedicated to the 50th anniversary of the foundation of the Institute of Mathematics and Computer Science, 19-23 aug 2014, Chisinau, Moldova: Proceedings IMCS-50, pp. 447-450.
  40. Batura T.V., Kopylova N.S., Murzin F.A., Proskurykov A.V. Computer social networks and their analysis // International conference "Advanced Mathematics, Computations and Applications – 2014" (AMCA 2014). Abstracts. Novosibirsk, June 8–11, 2014. Novosibirsk: Academizdat, 2014. – P.65.
  41. Brauzer F., Korovina M., Muller N.Th., Ackerern. A. Exact real arithmetic and ODE systems with polynomial right hand sides. In Proc. CCA14, Computability and Complexity in Analysis, Darmstadt, 2014, pp 20—22.
  42. Bushin D., I, Virbitskaite. Comparing Semantics under Strong Timing of Petri Nets. Proc. 9th Int. Conf. “Perspectives of Systems Informatics”, Saint-Petersburg, June 2014. P.
  43. Bushin D., I. Virbitskaite. Time Process Equivalences of Time of Petri Nets. Proc. 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. CEUR-WS.org 2014 CEUR Workshop Proceedings. P. 257-268.
  44. Chernenok S., V. Nepomniascy. Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets. // Proc. of Fifth Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2014) June 6, 2014 in Moscow, Russia. – Moscow, 2014, p. 38-49.
  45. de Brecht M., M. Schroeder and V. Selivanov. On the complexity of describing topological bases for quotients of countably based spaces. //CCC14, From Logic to Algorithms, University Ljubljana, Sept. 15-19 2014, p. 17.
  46. Emelyanov P., Ponomaryov D. On Tractability of Disjoint AND-Decomposition of Boolean Formulas // Сборник трудов конференции PSI’14, Санкт-Петербург, Июнь 2014.
  47. Erofeev E. Formalisms for Concurrency and Distribution. Proc. 8th Joint Workshop of the German RTGs in Computer Science, 15-18 June, Dagstuhl 2014, p.159.
  48. Garanina N. O., E. V. Bodin. Distributed Termination Detection by Counting Agent // Proc. of the 23nd International Workshop on Concurrency, Specification and Programming (CS&P 2014), Chemnitz, Germany, 29. September - 01. Oktober 2014. Humboldt-Universitat zu Berlin, 2014, p.69-79.
  49. Garanina N. Ontology Population as Information System Processing (Abstract) // Proc. of The Third International Workshop on Continuity, Computability, Constructivity (CCC 2014), from 15th to 19th of September, Ljubljana, Slovenia, p. 18.
  50. Garanina N., E. Bodin, E. Sidorova. An Approach to Model Checking of Multi-agent Data Analysis // Proc. of the 1st Workshop on Logics and MODel-checking for self-* systems (MOD* 2014), 12 September 2014, Bertinoro, Italy. Electronic Proceedings in Theoretical Computer Science (ISSN: 2075-2180), Vol. 168, p 32-44.
  51. Garanina N., E. Bodin, E. Sidorova. Using SPIN for Verification of Multi-agent Data Analysis // Proc. of Fifth Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2014) June 6, 2014 in Moscow, Russia. – Moscow, 2014, p. 59-67.
  52. Garanina N., E. Sidorova, E. Bodin. A Multi-agent Text Analysis Based on Ontology of Subject Domain // Proc. of the Ershov Informatics Conference (PSI 2014) June, 24 – June, 27, 2014, St. Petersburg, Russia. ). – Novosibirsk: A.P. Ershov Institute of Informatics systems, 2014. – P.50-56.
  53. Gorokhov A.V., A.V.Levichev, Modification of the zitter electron model to the Einstein static universe background, in: Четвертая международная конференция «Математическая физика и ее приложения», Тезисы, с.48. Самара, 25 августа – 1 сентября 2014 г.
  54. Gribovskaya N. Timed History Preserving Bisimulation and Open Maps // Proc. 9th Int. Conf. “Perspectives of Systems Informatics”, Saint-Petersburg, June 2014. P. 79-84.
  55. Kasyanov V.N. Information visualization based on hierarchical graph models // V Congress of mathematicians of Macedonia. Book of abstracts. Skopje: Macedonian mathematical society, 2014. – P. 103. ISBN 978-9989-646-65-2.
  56. Kasyanov V.N. Information visualization based on hierarchical graph models // Zbornik radova Konferencije MIT 2013, Beograd: Uiverziteta u Pristini, 2014, p. 312-321. ISBN 978-86-80795-20-1
  57. Kasyanov V.N., Kasyanova E.V., Zolotuhin T.A. Information visualization based on hierarchical graph models // International conference "Advanced mathematics, computations and applications – 2014". Abstracts. – Novosibirsk: Academizdat, 2014. P.48. ISBN 978-5-9904865-8-4.
  58. Kasyanov V.N., Kasyanova S.N. Support tools for application of graphs and graph algorithms // Zbornik radova Konferencije MIT 2013, Beograd: Uiverziteta u Pristini, 2014, p. 322-328. ISBN 978-86-80795-20-1
  59. Kondratyev D., A.Promsky. Towards the 'Verified Verifier'. Theory and practice // Proc. Fifth Workshop "Program Semantics, Specification and Verification: Theory and Applications". --- Moscow, Russia, June 6, 2014. - pp. 68—78.
  60. Kononenko I.S. Pragmatic aspects of Internet communication: towards websites genre models // Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции «Диалог» (Бекасово, 4 — 8 июня 2014 г.). Вып. 13 (20). — М.: Изд-во РГГУ, 2014. С. 251-260.
  61. Korovina, M., Kudinov, O. Index sets as a measure of continuous constraints complexity. In Proc. 9th Int. Conf. “Perspectives of Systems Informatics”, Saint-Petersburg, June 2014. P. 137-146.
  62. Korovona M., Kudinov O. Spectrum of the computable real numbers In Proc. CCC14, From Logic to Algorithms, University Ljubljana, Sept. 15-19 2014, pp. 22—24.
  63. Lavrentiev Mikhail, Vassily Bartosh, Igor Belago, Tatiana Vasyuchkova, Lidia Gorodnyaya, Marina Derzho, Natalia Ivancheva. Improving the Efficiency of Educational Process by Immersion in Virtual Reality // “The Future of Education, International Conference Proceedings 2014”, Florence, Italy, 12-13 June 2014. URL: http://conference.pixel-online.net/FOE/files/foe/ed0004/FP/0684-ENT455-FP-FOE4.pdf (дата обращения: 08.10.2014).
  64. Levichev A. V., O. S. Sviderskiy. Contractions of certain Lie algebras in the context of the DLF-theory, Advances in Pure Mathematics (2014), Vol.4, No.1, DOI: 10.4236/apm.2014.41001.The impact factor of the journal is 0.04 based on the ISI Web of Knowledge.
  65. Levichev A., Palyanov A. On a modification of the theoretical basis of the Penrose-Hameroff model of consciousness. // Proc. International conference “Mathematical Modeling and High-Performance Computing in Bioinformatics, Biomedicine and Biotechnology”, MM&HPC-2014, Russia, Novosibirsk 2014 (June 24-27), p. 49.
  66. Marchuk A.G., Krayneva I.A. Interdisciplinary interaction of exact sciences and humanities: Methodology and history. SoRuCom-2014 Selected Papers, IEEE Xplore and CSDL. (В печати).
  67. Marchuk A.G., S.V. Leshtaev New approach to RDF-data processing technology // International Conference “Advanced Mathematics, Computations and Applications - 2014”(AMCA2014), June 8-11, 2014, Akademgorodok, Novosibirsk, Russia, ISBN 978-5-9904865-8-4 http://conf.nsc.ru/files/conferences/amca14/241897/AMCA_abstracts.pdf
  68. Palyanov A., Khayrulin S. Sibernetic: novel approach to realistic modeling of invertebrates biomechanics. // Proc. International conference “Mathematical Modeling and High-Performance Computing in Bioinformatics, Biomedicine and Biotechnology”, MM&HPC-2014, Russia, Novosibirsk 2014 (June 24-27), p. 63.
  69. Ponomaryov D. The Algorithmic Complexity of Decomposability in Fragments of First-Order Logic // Тезисы конференции Logic Colloquium’ 14, Вена, Австрия, Июль 2014.
  70. Schroeder M. and V. Selivanov. Hyperprojective hierarchy of qcb_0-spaces. CiE-2014 (Ed. A. Beckman, E. Csuhaj-Varju and K. Meer) LNCS 8493 (2014), 352-361.
  71. Selivanov V. Towards a descriptive theory of cb_0-spaces. //CCC14, From Logic to Algorithms, University Ljubljana, Sept. 15-19 2014, pp. 27—28.
  72. Shilov N.V., Vorontsov A.P., Satykbayeva A. Alias Calculus for a Simple Imperative Language with Decidable Pointer Arithmetic. In Tools and Methods of Program Analysis. Proceedings of International Science and Practical Conference. Kostroma (14-15 November, 2014). Kostroma State Technological University, 2014, p.29-35.
  73. Shtokalo D., G. St.Laurent, M. Tackett, S. Nechkin, D. Antonets, Y. Vyatkin, Y. Savva, P. Kapranov, C. Lawrence, R. Reenan.Whole genome analysis of connection between A-to-I RNA editing and splicing in Drosophila // Post-Genome Methods of Analysis in Biology and Laboratory and Clinical Medicine, Kazan 2014, pp.
  74. Shtokalo D., St.Laurent G., Tackett M., McCaffrey T., Vyatkin Y., Ri M. and Kapranov P. Very long intergenic non-coding rna (vlinc RNA) discovery in NGS data // Theses for international conference “High-throughput sequencing in genomics”, Novosibirsk July 21-25, 2013. – P. 71.
  75. St.Laurent G., D. Shtokalo, M. Tackett, S. Nechkin, D. Antonets, Y. Vyatkin, Y. Savva, P. Kapranov, C. Lawrence and R. Reenan. Whole genome analysis of A-to-I RNA editing using single molecule sequencing in Drosophila // The 9th International Conference on Bioinformatics of Genome Regulation and Structure\Systems Biology. Novosibirsk, 2014, pp.
  76. Valeev T. F., Kolpakov F. A. Task pool implementation for effective utilization of CPU resources in the BioUML platform. // Proc. Of International conference “Advanced Mathematics, Computations & Applications – 2014”, Novosibirsk, June 8?11, 2014. — P. 71.
  77. Vyatkin Y., G. St.Laurent, D. Shtokalo, D. Antonets, P. Kapranov. Dark matter RNA in genome-wide association studies // Post-Genome Methods of Analysis in Biology and Laboratory and Clinical Medicine, Kazan 2014, pp.
  78. Zagorulko Yu. A. Technology of knowledge portal development oriented to experts in a subject domain // Abstracts International conference “Advanced mathematics, computations and applications-2014” – Institute of Computational Mathematics and Mathematical Geophysics of Siberian Branch of Russian Academy of Sciences, Novosibirsk, Russia, June 8-11, Novosibirsk: Academizdat, 2014 - p.52 (ISBN 978-5-9904865-8-4)

Материалы российских конференций

  1. Анохин C.А., Гаранина Н.О., Сидорова Е.А. Концепция мультиагентной системы анализа текста для пополнения онтологии // Труды 14-й национальной конференции по искусственному интеллекту с международным участием КИИ-2014. –Казань: РИЦ «Школа», 2014. –Т.1. – С.82-91.
  2. Апанович З.В., А.Г. Марчук Новые подходы к нормализации словарей и установлению идентичности сущностей при обогащении контента научных баз знаний // Труды IV Симпозиума ИНФРАСТРУКТУРА НАУЧНЫХ ИНФОРМАЦИОННЫХ РЕСУРСОВ И СИСТЕМ. Сборник избранных научных статей, т.1, Москва, с. 145 -161, 2014. ISBN 978-5-19601-103-6 .
  3. Апанович З.В., А.Г. Марчук. Подходы к нормализации словарей и установлению идентичности сущностей при обогащении контента научных баз знаний. Четырнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2014 (24-27 сентября 2014, г. Казань, Россия) Труды конференции Т. 1 – Казань, Изд-во РИЦ «Школа» 2014 с. 92-100.
  4. Городняя Л.В. Формирование инновационной образовательной платформы в Новосибирском государственном университете (НГУ) - для ИТМО, СПб, Всероссийская объединенная научная конференция «Интернет и современное общество» (Internet and Modern Society – IMS) 19-20 ноября 2014.
  5. Демин А.В. Применение логико-вероятностного метода извлечения знаний в медицине и биоинформатике // Материалы III Международной научной Интернет-конференции «Математическое и компьютерное моделирование в биологии и химии». – Казань, 2014. – С. 42–50.
  6. Дяченко О.О., Загорулько Ю.А. Разработка редактора для коллективного построения баз знаний, основанных на онтологиях // Тр. XIX Байкальской Всероссийской конф. «Информационные и математические технологии в науке и управлении». – Иркутск: ИСЭМ СО РАН, 2014 –Т.3.- С. 138-146 (ISBN 978-5-93908-131-3)
  7. Загорулько Г.Б., Григорьев С.Ю. Подход к разработке репозитария методов поддержки принятия решений // Тр. XIX Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении". – Иркутск: Институт систем энергетики им. Л.А. Мелентьева СО РАН. –2014. –Т.2. –С.149-156. (ISBN 978-5-93908-131-3)
  8. Загорулько Г.Б., Загорулько Ю.А. Распределенная научная среда для комплексной поддержки разработчиков интеллектуальных СППР // Инфраструктура научных информационных ресурсов и систем. Сборник избранных научных статей. Труды четвертого всероссийского симпозиума (С.-Петербург, 6–8 октября 2014 г.). Под ред. Е.В. Кудашева, В.А. Серебрякова. М.: ВЦ РАН, 2014 – Т.1. – С.112-130.
  9. Загорулько Г.Б., Молородов Ю.И. Разработка интернет-портала по теплофизическим свойствам химических веществ // Инфраструктура научных информационных ресурсов и систем. Сборник избранных научных статей. Труды четвертого всероссийского симпозиума (С.-Петербург, 6–8 октября 2014 г.). Под ред. Е.В. Кудашева, В.А. Серебрякова. М.: ВЦ РАН, 2014 – Т.1. – С.131-144.
  10. Загорулько Ю. А. Технология разработки интеллектуальных научных интернет-ресурсов, ориентированная на экспертов предметной области // Инфраструктура научных информационных ресурсов и систем. Сборник избранных научных статей. Труды четвертого всероссийского симпозиума (С.-Петербург, 6–8 октября 2014 г.). Под ред. Е.В. Кудашева, В.А. Серебрякова. М.: ВЦ РАН, 2014 – Т.1. – С.69-86.
  11. Загорулько Ю.А. Семантические модели и технологии разработки информационных и интеллектуальных систем, ориентированные на экспертов // Тр. XIX Байкальской Всероссийской конф. «Информационные и математические технологии в науке и управлении». – Иркутск: ИСЭМ СО РАН, 2014 –Т.3.- С. 131-138 (ISBN 978-5-93908-131-3)
  12. Лаврентьев М.М., В.С. Бартош, И.В. Белаго, Т.С. Васючкова, Л.В. Городняя, М.А. Держо, Н.А. Иванчева, О.А.Федотова Практика преподавания IT-дисциплин в формате «blended learning» в Новосибирском государственном университете (НГУ) XII Всероссийская конференция «Преподавание информационных технологий в Российской Федерации» 15.05.2014 - 16.05.2014, Казань, КФУ (АПКИТ) URL: http://2014.xn----8sbacgtleg3cfdxy.xn--p1ai/section/139/11327/ (дата обращения: 04.04.2014).
  13. Ошевская Е.С. Об одном примере направленного топологического пространства. Тезисы XV всероссийская научно-практическая конференция молодых ученых, аспирантов и студентов в г. Нерюнгри, с международным участием, 3-5 апреля 2014 г, с. 27-28.
  14. Сидорова Е.А. Методологические аспекты комплексной разработки лингвистических ресурсов для систем анализа текстов // Тр. XIX Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении". – Иркутск: Институт систем энергетики им. Л.А. Мелентьева СО РАН. –2014. –Т.3. –С87-94. (ISBN 978-5-93908-131-3)
  15. Трофимов В.К., Храмова Т.В. Дважды универсальное кодирование источников символами неравной длительности. // Материалы российской НТК «Обработка информации и математическое моделирование». Новосибирск, 24-25 апреля 2014. – стр.69-70.
  16. Шилов Н.В. О выразительной силе регулярной и контекстно-свободной динамической логики. Международная конференция «Мальцевские чтения», 10–13 ноября 2014 г.,
  17. Шокин Ю.И., Клименко О.А., Веснин А.Ю., Константинова Е.В., Рычкова Е.В., Медведев А.Н., Филиппова М.Я., Добрынин А.А.. Построение и исследование математической модели веб-пространства. XV Российская конференция с международным участием "Распределенные информационно - вычислительные ресурсы" (DICR-2014), Новосибирск, 2014 г.
  18. Anokhin S.A., N.O. Garanina, E.A. Sidorova. Specialized multiagent platform for semantic text processing // Abstracts International conference “Advanced mathematics, computations and applications-2014” – Institute of Computational Mathematics and Mathematical Geophysics of Siberian Branch of Russian Academy of Sciences. – Novosibirsk: Academizdat, 2014. – pp.46. (ISBN 978-5-9904865-8-4)
  19. Shilov N.V., Vorontsov A.P/ Equality-based alias calculus for iterative programming language with dynamic memory. International Conference “Advanced Mathematics, Computations and Applications – 2014”, June 8-11, 2014, Novosibirsk, Institute of Computational Mathematics and Mathematical Geophysics, p.51.

Учебно-методические издания

  1. Ануфриенко А.В., Идрисов Р.И. Введение в оптимизацию приложений с использованием инструментов INTEL.– Новосибирск: НГУ, 2014. – 119 С. ISBN 978-5-4437-0222-3.
  2. Касьянов В.Н., Касьянова Е.В. Визуализация информации на основе графовых моделей.– Новосибирск: НГУ, 2014. – 149 С. ISBN 978-5-4437-0244-5.
  3. Нестеренко Т.В., Т.Г.Чурина – Методы программирования: алгоритмы и структуры данных. Часть 3. Динамические структуры данных, алгоритмы на графах : учеб. пособие / Т. Г.; Новосиб. гос. ун-т. – Новосибирск: РИЦ НГУ, 2014. – 214 с.

Местные издания

  1. Арабаджи О., Грибовская Н. Логическаи унификации бисимуляционных эквивалентностей для временных стабильных структур событий. // Сборник «Молодая информатика», выпуск 4, 2014, в печати
  2. Боровлев В. Редукция развёрток безопасных временных сетей Петри // Сборник «Молодая информатика», выпуск 4, 2014, в печати
  3. Городняя Л.В. Парадигмы программирования. Часть 1. Сравнение парадигм программирования / Новосибирск, ИСИ СО РАН, 2014. 114 стр.
  4. Городняя Л.В. Парадигмы программирования. Часть 2. Языки низкого уровня / Новосибирск, ИСИ СО РАН, 2014. 60 стр. (в печати).
  5. Городняя Л.В. Парадигмы программирования. Часть 3. Основные парадигмы программирования. Языки высокого уровня / Новосибирск, ИСИ СО РАН, 2014. 110 стр. (в печати).
  6. Ерофеев Е. Алгебраические решетки первичных структур событий // Сборник «Молодая информатика», выпуск 4, 2014, в печати
  7. Панкратов С. Б. Автоматическая генерация тестов для проверки распараллеливающих и векторизующих преобразований циклов в компиляторе // Молодая информатика – Новосибирск: ИСИ СО РАН, 2014. - Вып. 4. – С. 64-77.
  8. Плотникова Ю. Альтернативная характеризация понятия зоны временных сетей Петри с динамическими приоритетами // Сборник «Молодая информатика», выпуск 4, 2014, в печати
  9. Шелехов В.И. Предикатная программа вставки в АВЛ-дерево. — Новосибирск, 2014. — 22с. — (Препр. / ИСИ СО РАН). http://persons.iis.nsk.su/files/persons/pages/avl_insert.pdf

Прочие издания

  1. Крайнева И.А., Черкасская З.А. Юрий Борисович Румер (1901-1985). Биографический очерк. Электронный журнал «Семь искусств». URL: http://7iskusstv.com/2014/Nomer1/Krajneva1.php
  2. Платонов Ю.Г. МЕТОДЫ ОБЕСПЕЧЕНИЯ ИНТЕГРАЦИИ РАСПРЕДЕЛЕННЫХ СЛАБОСВЯЗАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ. Дис. на соискание учен. степ. канд. тех. наук. – Новосибирск: Федеральное государственное бюджетное учреждение науки Институт вычислительной математики и математической геофизики Сибирского отделения Российской академии наук, 2014., 107с.
  3. Малышев А.А. Средства автоматизации визуализации алгоритмов на графах // Молодежь и наука: сборник материалов Х Юбилейной Всероссийской научно-технической конференции студентов, аспирантов и молодых ученых с международным участием, посвященной 80-летию образования Красноярского края, [Электронный ресурс], № заказа 1644/отв. ред. О. А. Краев — Красноярск: Сиб. федер. ун-т., 2014 — 4 c. — http://conf.sfu-kras.ru/sites/mn2014/pdf/d02/s10/s10_023.pdf
  4. Карнаухов Н.С., Першин Д.Ю., Шелехов В.И. Язык предикатного программирования P. Версия 0.12, [Электронный ресурс], — Новосибирск, ИСИ СО РАН, 2014. — 28 с. — http://persons.iis.nsk.su/files/persons/pages/plang12.pdf
  5. Шелехов В.И. Разработка автоматных программ на базе определения требований, [Электронный ресурс], – Новосибирск, ИСИ СО РАН, 2014. — 19 с. — http://persons.iis.nsk.su/files/persons/pages/req_tech.pdf
  6. Шилов Н.В. Мультиагентные алгоритмы в облаке. Труды X международной азиатской школы-семинара "Проблемы оптимизации сложных систем", Кыргызская Республика, оз. Иссык-Куль. 25 июля - 5 августа 2014 г. - Часть II — С.726-731.
  7. Kondrakhin Y., Valeev T., Sharipov R., Yevshin I., Kolpakov F. Toolkit for ChIP-Seq based comparative analysis of the PWM methods for prediction of transcription factor binding sites. // Virtual Biology. — 2014. — Vol. 2. — PP. 19-33. — doi:10.12704/vb/e16

В сборниках

  1. Тихонова Т.И. Лого в Новосибирске.// Сборник Большого московского семинара по раннему обучению программированию. – Москва, 2014. - Т.4, с. (в печати)