Публикации

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

Монографии

  1. Ануреев И.С., Батура Т.В., Боровикова О.И., Загорулько Ю.А., Кононенко И.С., Марчук А.Г., Марчук П.А., Мурзин Ф.А., Сидорова Е.А., Шилов Н.В. Модели и методы построения информационных систем, основанных на формальных, логических и лингвистических подходах / Отв. ред. А.Г. Марчук; Рос. Акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. — Новосибирск: Изд-во СО РАН, 2009. — 330 с.
  2. Малюх В.Н. Введение в современные САПР. — Москва: ДМК-Пресс, 2010. — 192 с. ISBN-978-5-94074-551-8.
  3. Информационные технологии и ситуационные центры / О. С. Анисимов, А. А. Берс, Ю. П. Дубенский и др.; под ред. В. А. Филимонова. — Омск: Омский государственный институт сервиса, 2010. — 215 с. ISBN 978-5-93252-149-6
  4. Компоненты информационных технологий для ситуационных центров / Анисимов О. С., Берс А. А., Жирков О. А. и др.; под науч. ред. В. А. Филимонова. — Омск: ООО «Информационно-технологический центр», 2010. — 152 с.: ил. ISBN 978-5-904409-04-3.
  5. Касьянов В. Н., Касьянова Е. В. Язык программирования Zonnon. — Новосибирск: НГУ, 2010. — 120 с., ISBN 978-5-94356-885-5
  6. Касьянов В. Н., Касьянова Е. В. Визуализация графов и графовых моделей. — Новосибирск: ООО «Сибирское Научное Издательство», 2010. — 123 с., ISBN 978-5-91124-039-4.

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

  1. Малюх В.Н., Что нового в Autodesk Revit Architetcture 2011 // САПР и Графика. — 2010. — №6(164). — С. 42–44.
  2. Малюх В.Н., Новинки в Inventor 2011 // САПР и Графика. — 2010. — №7(165) — С. 42–44.
  3. А.С. Морозов, Д.К. Пономарев. О разрешимости проблемы разложимости для конечных теорий. // Сибирский математический журнал. — 2010. — Т.51, N4. — С. 838–847.
  4. Демин А.В., Витяев Е.Е. Метод построения «естественной» классификации // Информационные технологии в гуманитарных исследованиях. — Новосибирск: ИАЭТ СО РАН, 2010. — Вып. 15. — С. 16–22.
  5. Андреева Т.А., Ануреев И.С., Бодин Е.В., Городняя Л.В., Марчук А.Г., Мурзин Ф.А., Шилов Н.В. Образовательное значение классификации компьютерных языков // Прикладная информатика. — 2009. — №6 (24). — С. 18–28.
  6. Ануреев И.С., Марьясов И.В., Непомнящий В.А. Верификация C-программ на основе смешанной аксиоматической семантики // Моделирование и анализ информационных систем. — Ярославский гос. университет, 2010. — Т. 17, № 3. — С. 5–28.
  7. Боженкова Е.Н. Тестовые эквивалентности для моделей структур событий с непрерывным временем // Вычислительные технологии. — Новосибирск, 2010. — Т. 15, № 3. — С. 52–68.
  8. Боженкова Е.Н., Иртегов Д.В., Киров А.В., Нестеренко Т.В., Чурина Т.Г. Автоматизированная система тестирования NSUts: Требования и разработка прототипа // Вестник НГУ Cер.: Информационные технологии. — Новосибирск: НГУ, 2010. — Т.8, Вып. 4. — С. 46–53.
  9. Вирбицкайте И.Б., Грибовская Н.С. Об унификации поведенческих эквивалентностей временных систем переходов // Программирование. — 2010. — №3. — С. 19–32.
  10. Жуков А.В., Кудинов О.В., Селиванов В.Л. Определимость операций замыкания в структуре размеченных лесов // Алгебра и логика. — 2010. — Т. 49, № 2. — С. 181–194
  11. Загорулько Ю.А., Ануреев И.А., Загорулько Г.Б. Подход к разработке системы поддержки принятия решений на примере нефтегазодобывающего предприятия // Известия Томского политехнического университета, 2010. — Т. 316, № 5. — С. 127–131.
  12. Кудинов О.В., Селиванов В.Л., Ярцева Л.В. Определимость в структуре слов с отношением включения // Сибирский мат. журнал. — 2010. — Т. 51, № 3. — С. 575–583.
  13. Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. Система анализа и верификации C-программ СПЕКТР-2 // Моделирование и анализ информационных систем. — 2010. — Т.17, № 4. (в печати).
  14. Непомнящий В.А., Попова Н.С., Чурина Т.Г. Моделирование спецификаций распределенных систем на языке Dynamic-REAL сетями Петри высокого уровня // Вестник НГУ. Сер.: Информационные технологии. — Новосибирск: НГУ, 2010. — Т.8, Вып. 4. — С. 25–34.
  15. Гаранина Н.О. Проверка моделей распределённых систем с помощью аффинного представления данных // Моделирование и анализ информационных систем. — 2010. — № 4. (в печати).
  16. Шилов Н.В. Заметки о парадигмах программирования // Потенциал. — 2010. — №4. — С. 33–38.
  17. Шилов Н.В. Заметки о трёх парадигмах программирования // Компьютерные инструменты в образовании. — 2010. — №2.
  18. Шилов Н.В. Пример верификации в проекте F@BOOL@, основанном на булевских решателях // Моделирование и анализ информационных систем. — 2010. — №4.
  19. Anureev I.S. Introduction to the Atoment language // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. (в печати).
  20. Bozhenkova E.N. Compositional methods in characterization of timed event structures // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. (в печати).
  21. Promsky A.V. Error tracing axiomatic semantics for C-kernel // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. (в печати).
  22. Shilov N.V., Bodin E.V., Shilova S.O. Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. (в печати).  
  23. Tarasyuk I.V. Performance preserving equivalences for dtsPBC // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. (в печати)..
  24. Virbitskaite I.B., Fleischhack H., Dedova A.V. Real Arithmetic Based Verification of Prioritized Time Petri Nets with Parameters // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. (в печати).
  25. Ануреев И.А., Загорулько Ю.А., Загорулько Г.Б. Подход к разработке системы поддержки принятия решений на примере нефтегазодобывающего предприятия // Известия Томского политехнического университета. — 2010. — Т. 316, № 5. — С. 127–131.
  26. Yury Zagorulko, Galina Zagorulko. An Approach to Development of the Decision Support System for Enterprise with Complex Technological Infrastructure // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. — P. 195–207.
  27. Evgueni Petrov. Scalable parallel subdefinite calculations for sparse systems of constraints // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. — P. 111–122.
  28. Апанович З.В. Методы визуализации информации – наукоемкое направление современных ИТ // Компьютерные инструменты в школе. — 2010 — № 2. — С. 20–27.
  29.  Апанович З.В. Методы визуализации графов, как инструмент, способствующий пониманию информации // Компьютерные инструменты в школе. — 2010 — № 2. — С. 34–39
  30. Apanovich Z. V., Vinokurov P. S.  An extension of a visualization component of ontology based portals with visual analytics facilities // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 31. (to appear).
  31. Бульонков М.А., Емельянов П.Г., Тарабухина Н.К. Business Rule Manager — средство анализа бизнес-логики старых приложений // Вестник Санкт-Петербургского университета. / Сер. 10: Прикладная математика, информатика, процессы управления. — СПб.: Изд-во С.-Петерб. Гос. Ун-та, 2010. — Вып. 1. — С. 23–34.
  32. Бульонков М.А., Емельянов П.Г., Пак Е.В. К стандартизации описания учебного процесса в учебных заведениях // Открытое образование. — 2010. — № 3. — С. 45–57.
  33. Batura Tatiana, Murzin Feodor, Proskuryakov Alexey, Trelevich Jennifer Models and Algorithms for the Detection of Spam and Senders of Spam // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 30. — P. 29–43.
  34. Perfiliev A.A., Murzin F.A., Shmanina T.V. Methods of syntactic analysis and comparison of constructions of a natural language oriented onto using in search systems // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. — 2010. — Iss. 30. — P. 91–109.
  35. Пальянов А., Черемушкин Е., Штокало Д., Нечкин С., Хейдариан М., Лоренс Дж. Структурный анализ состава РНК последовательностей связывающихся с белком HuR. // Программные продукты и системы. — 2010. — №. 3. — C. 144–146.
  36. Шелехов В.И. Верификация и синтез программ сложения на базе правил корректности операторов // Моделирование и анализ информационных систем. ¾ Ярославль, 2010. ¾  т.17, № 4. ¾ С. 101-110.
  37. Шилов Н.В., Городняя Л.В., Марчук А.Г. О параллельном программировании и его месте среди других парадигм программирования. Прикладная информатика, ISSN 1993 – 8314, №1, 2011, 10 стр. (в печати).
  38. Евстигнеев В.А., Турсунбай кызы Ы. О раскраске графов в классе локальных алгоритмов // СибЖВМ. — (в печати).

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

  1. Турсунбай кызы Ы. Нахождение центров и медиан в сетях произвольной топологии // Вестник Иссык-Кульского университета. — Каракол, 2010. — № 26, Ч.1. — С.82–87.
  2. Турсунбай кызы Ы. Алгоритмы раскраски графов в распределенной модели вычислений // Вестник Иссык-Кульского университета. — Каракол, 2010. — № 26, Ч.1. — С.107–115.
  3. Dubtsov R.S. Timed transition systems with independence and marked Scott domains: an adjunction // Berichte aus dem Department fuer Informatik. — Carl von Ossietzky Universitaet Oldenburg, Germany, 2010. — 02/10. — 25 p.
  4. Korovina M., Vorobjov N. Computing combinatorial types of trajectories in Pfaffian Dynamics // Journal of Logic and Algebraic Programming. — 2010. — Vol. 79, N 1. — P. 32–37.
  5. Müller N., Korovina M. Making big steps in trajectories // Electronic Proceedings in Theoretical Computer Science. — 2010. — Vol. 24. — P. 106–119.
  6. Selivanov V.L. On the Wadge reducibility of k-partitions // Journal of Logic and Algebraic Programming. — 2010. — Vol. 79, N 1. — P. 92–102.
  7. Shilov N.V., Shilova S.O. Solving contest problems via formal program verification // Problems in Programming. — Kiev, 2010. — №2/3. — P. 355–362.
  8. Tarasyuk I.V. Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC // Berichte aus dem Department fuer Informatik. — Carl von Ossietzky Universitaet, Oldenburg, Germany, 2010. — 01/10. — 75 p.
  9. Tarasyuk I.V., Macia H.S., Valero V.R. Discrete time stochastic Petri box calculus with immediate multiactions. — Albacete, Spain, 2010. — 25 p. — (Tech. Rep. / Department of Computer Systems / High School of Computer Science Engineering, Univ. of Castilla-La Mancha; DIAB-10-03-1).
  10. Virbitskaite I.B., Gribovskaya N.S., Best E. A Categorical View of Timed Behaviours // Fundamenta Informaticae. — 2010. — Vol. 102, N. 1. — P. 129–143.

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

  1. Боженкова Е.Н., Иртегов Д.В., Нестеренко Т.В., Чурина Т.Г. Применение автоматизированной системы тестирования в учебном процессе // Материалы междунар. научно-практической конф. «Новые информационные технологии в образовании» (НИТО-Байкал). — Улан-Удэ, 2010. — С. 161–163.
  2. Гаранина Н.О. Проверка моделей распределённых систем с помощью аффинного представления данных // Тр. Междунар. семинара «Program Semantics, Specification and Verification: Theory and Applications». — Казань: Отечество, 2010. — С. 56–62.
  3. Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. Система анализа и верификации C-программ СПЕКТР-2. // Тр. Междунар. семинара «Program Semantics, Specification and Verification: Theory and Applications». — Казань: Отечество, 2010. — С. 76–81.
  4. Шилов Н.В. Пример верификации в системе F@BOOL@ // Тр. Междунар. семинара «Program Semantics, Specification and Verification: Theory and Applications». — Казань: Отечество, 2010. — С. 157–161.
  5. Шилов Н.В., Городняя Л.В., Марчук А.Г. К определению парадигмы параллельного программирования // Тр. Междунар. суперкомпьютерной конф. «Научный сервис в сети Интернет: суперкомпьютерные центры и задачи». — 2010. — С. 130–139. (электронное издание)
  6. Gribovskaya N.S., Virbitskaite I.B. A Categorical View of Timed Weak Bisimulation // Theory and Applications of Models of Computation: Proc. / 7th Annual Conf., Prague, Czech Republic, June 7–11, 2010. — Berlin etc., 2010. — P. 443–454. — (Lect. Notes. Comput. Sci.; 6108).
  7. Korovina M., Kudinov O. SK-constraints for Hybrid Systems // Perspectives of System Informatics: Proc. / Seventh International Conference, Novosibirsk, 2009. — Berlin etc., 2009. — P. 230–241. — (Lect. Notes. Comput. Sci.; 5947).
  8. Beloglazov D., Nepomniaschy V. A Two-Level Approach for Modeling and Verification of Telecommunication Systems // Perspectives of System Informatics: Proc. / Seventh International Conference, Novosibirsk, 2009. — Berlin etc., 2009. — P. 70–85. — (Lect. Notes. Comput. Sci.; 5947).
  9. Kudinov O.V., Selivanov V.L. A logic to capture P-time computability on Cantor space // Workshop on Logical Approaches to Barriers in Computing and Complexity: Proc. — Greifswald, Germany, 2010 — P. 68–70. — (Preprint-Reihe / Universitat Greifswald; N 6).
  10. Kudinov O.V., Selivanov V.L., Zhukov A.V. Undecidability in Weihrauch degrees // Workshop on Logical Approaches to Barriers in Computing and Complexity: Proc. — Greifswald, Germany, 2010 — P. 124–127. — (Preprint-Reihe / Universitat Greifswald; N 6).
  11. Korovina M., Kudinov O. Computability over positive predicate structures // Workshop on Logical Approaches to Barriers in Computing and Complexity: Proc. — Greifswald, Germany, 2010 — P. 121—124. — (Preprint-Reihe / Universitat Greifswald; N 6).
  12. Kudinov O.V., Selivanov V.L., Yartseva L.V. Definablity in the subword order // Proc. Сonf. on Computability in Europe-2010. — Berlin etc., 2010. — P. 246–255. — (Lect. Notes. Comput. Sci.; 6158).
  13. Kudinov O.V., Selivanov V.L., Zhukov A.V. Undecidability in Weihrauch degrees // Proc. Сonf. on Computability in Europe-2010. — Berlin etc., 2010. — P. 256–265. — (Lect. Notes. Comput. Sci.; 6158).
  14. Selivanov V.L. Fine hierarchies via Priestley duality // Workshop on Logical Approaches to Barriers in Computing and Complexity: Proc. — Greifswald, Germany, 2010 — P. 102–105. — (Preprint-Reihe / Universitat Greifswald; N 6).
  15. Shilov N., Garanina N., Bodin E. Multiagent approach to a Dijkstra problem // Proc. of Workshop on Concurrency, Specification, and Programming CS&P 2010. — Humboldt-Universität zu Berlin, 2010. — P.73–84.
  16. Shilov N.V. A note on three programming paradigms // Proc. of the Second International Valentin Turchin Memorial Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July1–5, 2010. — Pereslavl Zalessky: Ailamazyan University of Pereslavl, 2010. — P. 173–184.
  17. Kasyanov V.N. Support Tools for Graphs in Computer Science // Proc. of the 15th ACM SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2010). — New York: ACM Press, 2010. — P.315.
  18. Kasyanov V.N. Tools for supporting graphs in computer science // Intern. Congress of Mathematicians. Abstracts. Short Communications. Posters. — Hyderabad: HINDUSTAN Book Agency, 2010. — P. 516–517.
  19. Касьянов В. Н. Визуализация графов и графовых моделей // Тр. X Междунар. конференции «Информатика: проблемы, методология, технология». — Воронеж: ВГУ, 2010. — Т.1. — С. 277–280.
  20. Касьянова Е. В. Обучение программированию с использованием языка Zonnon // Тр. X Междунар. конф. «Информатика: проблемы, методология, технология». — Воронеж: ВГУ, 2010. — Т. 3. ‑ С. 179–182.
  21. Касьянова Е. В. Адаптивное дистанционное обучение программированию // Тр. Междунар. научно-практической заочной конфе. «Интернет в образовании». — М.: Изд-во СГУ, 2010. — С. 260–266.
  22. Гордеев Д. С. Архитектура системы визуализации алгоритмов на графах // Материалы III Междунар. научно-практической конф. студентов, аспирантов и молодых учёных «Информационные технологии в науке, бизнесе и образовании». (в печати).
  23. Гордеев Д. С. Архитектура системы визуализации алгоритмов на графах // Материалы II Междунар. Интернет-конф. молодых ученых, аспирантов и студентов «Инновационные технологии: теория, инструменты, практика» (InnoTech 2010). — Пермь: ПГТУ, 2010. — (в печати).
  24. Золотухин Т.А., Колбин Д.С. Универсальная интерактивная среда визуализации атрибутированных иерархических графовых моделей // Материалы II Междунар. Интернет-конф. молодых ученых, аспирантов и студентов «Инновационные технологии: теория, инструменты, практика» (InnoTech 2010). — Пермь: ПГТУ, 2010. — (в печати).
  25. Гордеев Д. С. Модель визуализации алгоритмов на графах // Материалы II Междунар. молодежной научной конф. «Молодежь и XXI век». — Курск: Курский гос. тех. ун-т, 2010. — С. 20–23.
  26. Шелехов В.И. Верификация и синтез эффективных программ стандартных функций floor, isqrt и ilog2 в технологии предикатного программирования // Тр. 12-й Межд. конф. «Проблемы управления и моделирования в сложных системах». — Самара, Самарский научный центр РАН, 2010. ¾ С.622–630.
  27. Шелехов В.И. Верификация и синтез программ сложения на базе правил корректности операторов // Computer Science in Russia CSR-2010. Workshop on Program Semantics and Verification: Theory and Applications. ¾ Казань, 2010. ¾ С.150–156.
  28. Шелехов В.И. Верификация и синтез программ сложения на базе правил корректности операторов // Моделирование и анализ информационных систем. ¾ Ярославль, 2010. ¾ (в печати).
  29. Тумуров Э.Г. Метод верификации реактивных систем на примере протокола рукопожатия // 3-я междунар. конф. «Инфокоммуникационные и вычислительные технологии и системы» ИКВТС-2010. — Улан-Удэ, 2010. — С. 262–265.
  30. Yury Zagorulko, Olesya Borovikova, Galina Zagorulko. Knowledge Portal on Computational Linguistics: Content-Based Multilingual Access to Linguistic Information Resources // Selected topics in Applied Computer Science: Proc. / 10th WSEAS Int. Conf. on Applied Comput. Sci. (ACS’10), Iwate Prefectural University, Japan, October 4–6, 2010. — WSEAS Press, 2010. — P.255–262.
  31. Yury Zagorulko, Galina Zagorulko. Ontology-Based Approach to Development of the Decision Support System for Oil-and-Gas Production Enterprise // New Trends in Software Methodologies, Tools and Techniques: Proc. of the 9th SoMeT_10. — Amsterdam: IOS Press, 2010. — P.457–466.
  32. Загорулько Ю.А., Загорулько Г.Б., Булгаков С.В. Подход к разработке системы поддержки принятия решений для добывающего предприятия нефтегазового комплекса // Тр. XII Междунар. конф. «Проблемы управления и моделирования в сложных системах». — Самара: Самарский Научный Центр РАН, 2010. — С. 512–517.
  33. Загорулько Ю.А., Загорулько Г.Б. Принципы построения и функционирования системы поддержки принятия решений для нефтегазодобывающего предприятия // Междунар. научная конф. «Интеллектуальные системы принятия решений и проблемы вычислительного интеллекта»  (ISDMCI’2010). Евпатория, Украина, 17–21 мая 2010 г. / Сб. научных трудов в двух томах. — Херсон: ХНТУ, 2010. — Т.2. — С. 256–260.
  34. Сидорова Е.А. Обзор задач ЕЯ-сервисов в информационных системах под управлением онтологии // Тр. X междунар. конф. «Проблемы управления и моделирования в сложных системах». — Самара: Самарский Научный Центр РАН, 2010. — C. 534–539.
  35. Кононенко И.С., Сидорова Е.А. Применение лингвистических технологий в справочно-информационной системе по катализу // Тр. X междунар. конф. «Проблемы управления и моделирования в сложных системах». — Самара: Самарский Научный Центр РАН, 2010. — C. 540-547.
  36. Загорулько Ю.А., Загорулько Г.Б., Кравченко А.Ю., Сидорова Е.А. Разработка системы поддержки принятия решений для нефтегазодобывающего предприятия // Труды 12-й нац. конф. по искусственному интеллекту с международным участием (КИИ-2010). — М.: Физматлит, 2010. — Т.3. — С.137–145.
  37. Yury A. Zagorulko. On Experience of Building Knowledge Portals on Humanities // Computer Technology and Applications: Proc. / First Russia and Pacific Conf., 6–9 September, 2010, Vladivostok, Russia. — ISBN: 978-0-9803267-3-4 © RPC 2010. — P. 336–339.
  38. Irina S. Kononenko, Elena A. Sidorova.  Language Resources in Ontology-Driven Information Systems // Computer Technology and Applications: Proc. / First Russia and Pacific Conf., 6–9 September, 2010, Vladivostok, Russia. — ISBN: 978-0-9803267-3-4 © RPC 2010. — P. 18–23.
  39. З.В. Апанович, Т.A. Кислицина. Расширение подсистемы визуализации наполнения информационного портала средствами визуальной аналитики // Проблемы управления и моделирования в сложных системах: Тр. XII Междунар. Конф. (Самара, 21–23 июня 2010 г.). — 2010. — С. 518–525.
  40. Apanovich Z. V., Vinokurov P. S., Ontology based portals and visual analysis of scientific communities // Computer Technology and Applications: Proc / First Russia and Pacific Conf., 6–9 September, 2010, Vladivostok, Russia. — P.7–11.
  41. Kolpakov, F. A., Tolstyh, N., Kutumova, E. O., Kiselev, I. N., Shadrin, A. A., Valeev, T. F., Ryabova A., Sharipov, R. N., Kel, A. E. BioUML — Integrated Platform for Building Virtual Cell and Virtual Physiological Human // Proc. of 7th Intl. Conf. on Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2010). — 2010. — P.144.
  42. Valeev, T. F., Tolstyh, N., Kolpakov, F. A. Web-based Genome Browser Using AJAX and Canvas Technologies. // Proc. of 7th Intl. Conf. on Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2010). — 2010. — P.297.