Список наиболее важных публикаций за 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.



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).