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

Монографии

  1. Евстигнеев В.А., Касьянов В.Н. Русско-английский и англо-русский словарь по графам в информатике / Под ред. В.Н. Касьянова. – Новосибирск: «Сибирское Научное Издательство», 2011, ISBN 978-591124-036-3, 200 С.
  2. Семич Д.Ф. Построение хранилища данных ORACLE Business Intelligence (Siebel Analytics) // Моногр. / Институт систем информатики им. А.П. Ершова СО РАН. – Новосибирск: Изд-во СО РАН, 2011. ISBN 978-5-7692-1218-5 – 160 С.
  3. Крайнева И.А., Черемных Н.А. Путь программиста / Под ред. А.Г. Марчука – Новосибирск: Новосибирск: «Сибирское Научное Издательство», 2011. – 220 С.

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

  1. Тихонова Т.И. Научные традиции и творческие проекты программистов// «Педагогические заметки». – 2011. – T. 4, Выпуск 3. – С. 66-73.
  2. Ю.Г. Платонов. Анализ требований к системе «Электронный документооборот на предприятии с высокой степенью ответственности за конечный продукт» с точки зрения применения современных информационных систем: Проблемы информатики (№1 -2011, 34-51) Н-ск, 2011.
  3. Ю.Г. Платонов. Разработка мобильных приложений для работы  с корпоративными информационными системами: Проблемы информатики (№3 – 2011, 15-33) Н-ск, 2011.
  4. Е. Ошевская. Эквивалентность категорий полукубических множеств и поступательных Чу-пространств с сохранением открытости морфизмов. Вестник НГУ. Серия: Математика, механика, информатика, Т 11, выпуск 3, стр. 124-147.
  5. Платонов Ю.Г.   Разработка мобильных приложений для работы с корпоративными информационными системами с использованием архитектурного шаблона Command and Query Responsibility Segregation (CQRS): Молодая информатика - 2011, Новосибирск (в печати).
  6. Платонов Ю.Г.   Анализ перспектив перехода информационных систем на сервисно-ориентированную архитектуру: Проблемы информатики, Новосибирск (в печати).
  7. Боженкова Е.Н., А.Д. Воронков, Д.В. Иртегов, Е.Н. Конышева, С.А. Черненок, Чурина Т.Г. Модель разграничения прав доступа в системе автоматизированной проверки корректности программных приложений // Вестник НГУ, серия: Информационные технологии, 2011.
  8. Tarasyuk I.V. Performance evaluation of the generalized shared memory system in dtsPBC. Bulletin of the Novosibirsk Computing Center, Series Computer Science, IIS Special Issue, 29 pages, NCC Publisher, Novosibirsk, 2011.
  9. Загорулько Ю.А., Боровикова О.И., Кононенко И.С. Обеспечение содержательного многоязычного доступа к лингвистическим информационным ресурсам на основе технологии порталов знаний // Известия Томского политехнического университета. – 2011. – Т. 318. – № 5. –С. 99–104.
  10. Загорулько Ю.А. Моделирование робота, управляемого речевыми сигналами // Известия Томского политехнического университета. – 2011. – Т. 319. – № 5. (в печати).
  11. Загорулько Ю.А., Боровикова О.И. Подход к созданию многоязычного тезауруса на основе семантических технологий // Информационные и телекоммуникационные технологии. – 2012. – № 14. (в печати).
  12. Ю.А. Загорулько, О.И. Боровикова, И.С. Кононенко, Е.Г. Соколова. Методологические аспекты разработки электронного  русско-английского тезауруса по компьютерной лингвистике // Информатика и ее применения. – 2012. – № 3. (в печати).
  13. Шелехов В.И. Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования // Программная инженерия, 2011, № 2. ¾ с. 14-21.
  14. Евстигнеев В.А., Турсунбай кызы Ы. О раскраске графов в классе параллельных локальных алгоритмов // Сиб. журн. вычисл. математики. – 2011. – Т. 14, № 3 – С. 231-243.
  15. Атучин М.М., Ануреев И.С. Атрибутные аннотации и их применение в дедуктивной верификации C-программ // Моделирование и анализ информационных систем. 2011. Том 20, вып. 4, 13 С. (в печати).
  16. Ануреев И.С. Типовые примеры использования языка Atoment // Моделирование и анализ информационных систем. 2011. Том 20, вып. 4, 14 С. (в печати).
  17. Anureev I.S. Integrated approach to analysis and verification of imperative programs // Joint NCC&IIS Bulletin. Ser.: Comp. Sci. 2011. Vol. 32, 18 p. (to appear).
  18. Промский А.В. Верификация Си-программ: объяснение условий корректности и стандартная библиотека // Моделирование и анализ информационных систем. 2011. Том 20, вып. 4, 11 С. (в печати).
  19. Белоглазов Д.М., Машуков М.Ю., Непомнящий В.А. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри  // Моделирование и анализ информационных систем. 2011.Т. 20, №4 (в печати).
  20. Chkliaev D.A., Nepomniaschy V.A. Specification and verification of the classical sliding window protocol // Joint NCC&IIS Bulletin, Series Computer Science. 2011. Vol. 32, 18 p. (To appear).
  21. Гаранина Н.О. Оптимизационные процедуры в аффинной проверке моделей //  Моделирование и анализ информационных систем. 2011. Т. 20, №4  (в печати).
  22. Боженкова Е.Н., А.Д. Воронков, Д.В. Иртегов, Е.Н. Конышева, С.А. Черненок, Чурина Т.Г. Модель разграничения прав доступа в системе автоматизированной проверки корректности программных приложений // Вестник НГУ, серия: Информационные  технологии.  2011. 14 стр. (в печати).
  23. Шилов Н.В., Городняя Л.В., Марчук А.Г. Параллельное программирование  среди других парадигм программирования. Научно-практический журнал «Прикладная информатика», ISSN 1993-8314, М., №1 (31) 2011, стр.120-129.
  24. Бодин Е.В., Гаранина Н.О., Шилов Н.В. Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры). Моделирование и анализ информационных систем, ISSN 1818 – 1015, т.18, №2, 2011, стр.113-128.
  25. Шилов Н.В. Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ. Моделирование и анализ информационных систем, ISSN 1818 – 1015, т.18, №4, 2011, 14 стр. (в печати).
  26. Шилов Н.В., Шилова С.О. Что такое «параллельное программирование». Потенциал, ISSN 1814-6422, №3, 2011, стр.51-54.
  27. Shilov N.V. Make Formal Semantics Popular and Useful. Bulletin of the Novosibirsk Computing Center (Series: Computer Science, IIS Special Issue), ISSN 1680 – 6972, v.32, 2011, 18 стр. (в печати).
  28. З.В. Апанович, П.С. Винокуров, Т.А. Кислицина. Методы и средства визуализации информационного наполнения больших научных порталов //Вестник НГУ Серия: Информационные технологии. 2011—  том  9, выпуск 3—  с. 5-14. 
  29. Apanovich Z.V., Kislicina T.A.  Visualization Methods of citation networks of large scientific portals. - Bulletin of  NCC. - Issue 32. — 2011. (to appear).
  30. Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Алгоритмы и программное обеспечение для определения нефтенасыщенных пластов на основе данных радиоактивного каротажа // Автометрия, том 47, № 4, 2011, - С. 91-103.
  31. Шкляев Д.А. Формальная верификация понятий отказоустойчивости для распределённых баз данных. // Информационные Технологии, № 2, – 2011, – С. 46-53.
  32. Перфильев А.А., Мурзин Ф.А., Шманина Т.В. Методы синтаксического анализа и сопоставления конструкций естественного языка, ориентированные на применение в информационно-поисковых систе // Вестник НГУ. Серия: Информационные технологии, том 9, выпуск 4, 2011. (в печати)
  33. Горохов Н.А, Черемушкин Е.С., Парыгин С, Стеймайер Ф. Библиотека для поиска сайтов связывания с транскрипционными факторами. Программные продукты и системы, № 4, 2011. (в печати)
  34. Alina Glodowski, Feodor Murzin, Tatiana Murzina Memory Organization with Parallel Access to Information and Its Application for Image Processing // Bull. Novosibirsk Comp. Center. Ser.: Comput. Sci. – 2011. – Iss. 32. (в печати)

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

  1. A.G. Marchuk, T.I. Tikhonova, L.V. Gorodnyaya Novosibirsk Young Programmers’ Schools: A Way to Success and Future Development // Perspectives on Soviet and Russian Computing. First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers. – Springer, – 2011. – S. 228-234.
  2. A.A. Baehrs The MRAMOR Workstation // John Impagliazzo and Eduard Proydakov (Eds.), Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers, pp. 134-141. /IFIP Advances in Information and Commu­nication Technology. Volume 357, 2011, DOI: 10.1007/978-3-642-22816-2, ISSN 1868-4238, Springer.
  3. Evgenii E. Vityaev, Alexander V. Demin Recursive subgoals discovery based on the Functional Systems Theory // Biologically Inspired Cognitive Architectures 2011, IOS Press, 2011. – p. 425-430.
  4. Yury Zagorulko, Olesya Borovikova. Technology of Ontology Building for Knowledge Portals on Humanities// Knowledge Processing and Data Analysis / K.E. Wolf et al.(Eds): KONT/KPP 2007. Lecture Notes in Artificial Intelligence 6581. Springer-Verlag Berlin Heidelberg, 2011. pp. 203-216. ISSN 0302-9743.
  5. Евстигнеев В.А., Турсунбай кызы Ы. Анализ локальных алгоритмов для раскраски графов, использующих стратегию жадного алгоритма // Вестник Кыргызско-Российского Славянского университета. – 2011. – Т.11. №7 – С. 148-153.
  6. Shelekhov V. I. Verification and Synthesis of Addition Programs under the Rules of Correctness of Statements // Automatic Control and Computer Sciences. — 2011. — Vol. 45, N 7, P. 1–7.
  7. Selivanov V.L. The Shrinking Property for NP and coNP (jointly with C. Glasser and C. Reitwiessner). Theoretical Computer Science 412. 2011. pp. 853—864.
  8. Selivanov V.L. Fine hierarchies via Priestley duality // Annals of Pure and Applied Logic. 2011. (To appear).
  9. Garanina N.O. Model Checking of Distributed Systems with Affine Data Structures. // Allerton Press, Inc., 2011: Automatic Control and Computer Sciences. 2011. Vol. 45, No. 7. (to appear).
  10. Shilov N.V. An Example of Verification in the F@BOOL@ Project Based on SAT Solvers. Automatic Control and Computer Sciences, ISSN 0146 – 4116, 2011, v.45, №7. Allerton Press, Inc., 2011. (to appear).
  11. Anureev I.S., Maryasov I.V., Nepomnyashchii V.A. C-Programs Verification Based on Mixed Axiomatic Semantics // Automatic Control and Computer Sciences. Allerton Press, Inc., 2011. Vol. 45, № 7. 16 p. (to appear).
  12. Nepomnyashchii V.A., Anureev I.S., Atuchin M.M., Maryasov I.V. C Program Verification in SPECTRUM Multilanguage System // Automatic Control and Computer Sciences. Allerton Press, Inc., 2011. Vol. 45, № 7. 8 p. (to appear).
  13. Murzin, F.A., Poplevina, N.V., Semich, D.F. Algorithms and software for detecting oil reservoirs from nuclear logging data // Optoelectronics, Instrumentation and Data Processing. — 2011 — Vol. 47, — Iss. 4. — P. 395-405.
  14. Литвиненко Г.Г., Мурзин Ф.А., Немченко М.Ю., Поплевина Н.В., Семич Д.Ф. Определение нефтенасыщенных пластов на основе данных радиоактивного каротажа методом "Кросс-плот" и посредством кластеризации. Доклады НАН РК, №6, 2011. – С. 5-16.
  15. Кальменов Т.Ш., Мурзин Ф.А., Поплевина Н.В. Анализ данных радиоактивного каротажа на основе метода И.Б. Мучника. Доклады НАН РК, №6, 2011. – С. 17-23.

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

  1. Gorodnyaya L. On the language for basic learning of parallel programming. // Ershov Informatics Conference. PSI series, 8-th Edition. International Workshop on Program Undestanding. July 2-5, Novososedovo, Russia, Novosibirsk, A.P.Ershov IIS SB RAS - 2011. p. 18-24.
  2. Gorodnyaya L., Shilov N. Educational value of teaching parallel programming paradigm. // Ершовская конференция по информатике, Секция «Информатика образования», 27 июня – 1 июля 2011 года, Новосибирск, Академгородок, Россия, с. 1-6.
  3. Городняя Л.В. О курсе «Начала параллелизма» для школьников. // Ершовская конференция по информатике, секция «Информатика образования», 27 июня – 1 июля 2011 года, Новосибирск, Академгородок, Россия, с. 51-54.
  4. Городняя Л.В. Первые реализации языка Lisp в СССР. // Вторая Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР. ТРУДЫ SORUCOM-2011. 12–16 сентября, Великий Новгород, Россия.
  5. Городняя Л.В.Трансформационно операционная семантика языка параллельного программирования  // Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: Экзафлопсное будущее» (г. Новороссийск, 19-24 сентября 2011г.).
  6. Н.В. Шилов, Л.В. Городняя, Е.В. Бодин Парадигма параллельного программирования: учить или не учить (вот в чём вопрос)  //Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: Экзафлопсное будущее» (г. Новороссийск, 19-24 сентября 2011г.) .
  7. Alexander Demin, Denis Ponomaryov, Evgeny Vityaev. Probabilistic concepts in formal contexts // In Proc. IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), Barcelona, Catalonia, Spain, 2011. – p. 33-37.
  8. Alexander Demin, Denis Ponomarev, Evgenii Vityaev. Probabilistic Concepts in Formal Contexts // Preliminary Proceedings of the Ershov Informatics Conference PSI Series, 8-th Edition (June 27 – July 1, 2011, Novosibirsk), Novosibirsk, 2011, p. 29-38.
  9. А.А. Берс Онтологические представления информатики. // PSI”11 Ершовская конфе­ренция по информатике, семинар «Знания и Онтологии ELSEWHERE-2011» 1 июля 2011 г. (приглашенный доклад).
  10. Берс А.А. «Отдел программирования ВЦ СО АН СССР и языки». //ТРУДЫ SORUCOM-2011, Вторая Международная конференция Развитие вычисли­тельной техники и ее программного обеспечения  в России и странах бывшего СССР, 12–16 сентября 2011г., Великий Новгород, стр. 56-64. — приглашенный доклад.
  11. Платонов Ю.Г.  Анализ необходимости перевода информационных систем на сервисно-ориентированную архитектуру для предприятий с повышенной ответственностью за качество кода: материалы 11-ой Ершовской конференции секция Наукоемкое программирование (208-215), Нск,  2011.
  12. Платонов Ю.Г.  Применение сервисно-ориентированной архитектуры для информационных систем, разрабатываемых для предприятий с повышенной мерой ответственности за конечный продукт: материалы межд. конф. ИНфо-2011,  Москва 2011.
  13. E. Oshevskaya, I. Virbitskaite, E. Best. Relating Categorical Semantics for Higher Dimensional Automata. In: Proc. International Workshop “Concurrency, Specification, and Programming” (CS&P 2010), Pultusk, Poland, 28 -30 September, 2011, p. 385-396.
  14. E. Oshevskaya, I. Virbitskaite, E. Best. A Categorical View of Bisimulation for Higher Dimensional Automata. In: Proc. International Nordic Workshop on Programming Theory, October 26-28, 2011, Vasteras, Sweden, Malardalen University Press. p. 102-105.
  15. Alexander Marchuk Methods and Technologies of Digital Historical Factography // Knowledge Processing and Data Analysis. First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International Conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers. Series: Lecture Notes in Computer Science, Vol. 6581.Subseries: Lecture Notes in Artificial Intelligence. Wolff, K.E.; Palchunov, D.E.; Zagoruiko, N.G.; Andelfinger, U. (Eds.)2011, ISBN 978-3-642-22139-2
  16. Alexander Marchuk The START Project. Perspectives on Soviet and Russian Computing. First IFIP WG 9.7 Conference SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006. Revised Selected Papers. J. Impagliazzo, E. Proydakov (Eds). LNCS, v.357, 2011. P.126-133.
  17. Тихонова Т.И. Развитие механизмов раннего обучения программированию при проведении дистанционных курсов// Сборник трудов IV-ой международной научно-практической конференции «Полатовские чтения – 2011» «Состояние и перспективы развития дистанционного обучения в открытом образовательном пространстве».  17 ноября - 8 декабря 2011 г., г. Москва.
  18. M. Korovina, N. Vorobjov. Reachability in one-dimensional controlled polynomial dynamical systems. In: Pre-Proc. Ershov Informatics Conference 2011, Novosibirsk, Russia, 27 June – 1 Jule, 2011, p. 137-143.
  19. M. Korovina, N. Vorobjov. Reachability in one-dimensional controlled polynomial dynamical systems. Lecture Notes in Computer Science, Vol. 7162, 2011, p. 247-257.
  20.  M. Korovina, O. Kudinov. Algorithmic Properties of Sigma-definability over Positive Predicate Structures. In: Proc. International Conference "Models of Computation in Context", Sofia, Bulgaria, June 27 - July 2, 2011. St. Kliment Ohridski University Press, 2011, p. 23-38.
  21. Margarita Korovina and Oleg Kudinov: A Finite Language for Computable Metric Spaces. In: Proc. International Conference "Models of Computation in Context", Sofia, Bulgaria, June 27 - July 2, 2011. St. Kliment Ohridski University Press, 2011, pp. 81-96.
  22. E.N. Bozhenkova. Compositional methods in characterization of timed event Structures In: Pre-Proc. Ershov Informatics Conference 2011, Novosibirsk, Russia, 27 June – 1 Jule, 2011, p. 198-203.
  23. E.N. Bozhenkova. Compositional methods in characterization of timed event Structures // Lecture Notes in Computer Science, Vol. 7162, 2011, p. 68-76.
  24. I.V. Tarasyuk. Performance analysis of the dining philosophers system in dtsPBC. . In: Pre-Proc. Ershov Informatics Conference 2011, Novosibirsk, Russia, 27 June – 1 Jule, 2011, p. 309-321, Novosibirsk, 2011.
  25. N. Gribovskaya. "A Logic Characteristic For Timed Extensions of Partial Order Based Equivalences. In: Pre-Proc. Ershov Informatics Conference 2011, Novosibirsk, Russia, 27 June – 1 Jule, 2011, p. 216-222.
  26. N. Gribovskaya. A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences. Lecture Notes in Computer Science, Vol. 7162, 2011, p. 142-149.
  27. R. Dubtsov. Timed Transition Systems with Independence and Marked Scott Domains. In: Pre-Proc. Ershov Informatics Conference 2011, Novosibirsk, Russia, 27 June – 1 Jule, 2011, p. 210-215.
  28. R. Dubtsov. Timed Transition Systems with Independence and Marked Scott Domains. Lecture Notes in Computer Science, Vol. 7162, 2011, p. 86-94.
  29. E. Oshevskaya, I. Virbitskaite, E. Best. Relating Categorical Semantics for Higher Dimensional Automata. In: Proc. International Workshop “Concurrency, Specification, and Programming” (CS&P 2010), Pultusk, Poland, 28 -30 September, 2011, p. 385-396.
  30. E. Oshevskaya, I. Virbitskaite, E. Best. A Categorical View of Bisimulation for Higher Dimensional Automata. In: Proc. International Nordic Workshop on Programming Theory, October 26-28, 2011, Vasteras, Sweden, Malardalen University Press. p. 102-105.
  31. Yury Zagorulko, Galina Zagorulko. An Open Extensible Tools for Development of Intelligent DSS: Towards an Architecture // Ershov Informatics Conference (Proceedings). — Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2011.  –P. 322-327.
  32. Yury Zagorulko, Galina Zagorulko. Architecture of Extensible Tools for Development of Intelligent Decision Support Systems // New Trends in Software Methodologies, Tools and Techniques. Proceedings of the Tenth SoMeT_11. Hamido Fujita and Tatiana Gavrilova (Eds.) –IOS Press, -Amsterdam, –2011. –P.253-263.
  33. Загорулько Ю.А. Подход к построению интеллектуальных информационных систем на основе семантических сетей // Международная научно-техническая конференция «Открытые семантические технологии проектирования интеллектуальных систем» (OSTIS-2011). / Под ред. В.В. Голенкова. – Минск: БГУИР, 2011. –С. 15-20.
  34. Загорулько Г.Б., Загорулько Ю.А. Проект открытого расширяемого инструментария для построения интеллектуальных СППР // Труды  Международной научно-технической конференции «Открытые семантические технологии проектирования интеллектуальных систем» (OSTIS-2011). // Под ред. В.В. Голенкова. – Минск: БГУИР, 2011. –С. 233-236.
  35. Загорулько Г.Б., Загорулько Ю.А. Использование онтологий в инструментальной среде разработки интеллектуальных систем поддержки принятия решений. // Труды 21-й Международной Крымской  конференции «СВЧ-техника и телекоммуникационные технологии» – КрыМиКо-2011 –Севастополь, Крым, Украина, изд. Севастополь: Вебер, 2011. -Т.1. -С.55-56.
  36. Загорулько Ю.А. Технология построения порталов научных знаний: опыт применения, проблемы и перспективы // Труды 21-й Международной Крымской  конференции «СВЧ-техника и телекоммуникационные технологии» – КрыМиКо-2011 –Севастополь, Крым, Украина, изд. Севастополь: Вебер, 2011. -Т.1. -С.51-54.
  37. Соколова Е.Г., Семенова С.Ю., Кононенко И.С., Загорулько Ю.А., Кривнова О.Ф., Захаров В.П. Особенности подготовки терминов для русско-английского тезауруса по компьютерной лингвистике // Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (Бекасово, 25-29 мая 2011 г.). Вып. 10(17).  – М: РГГУ, 2011. –С.644–655.
  38. Серый А.С., Сидорова Е.А. Идентификация объектов в задаче автоматической обработки документов // Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (Бекасово, 25-29 мая 2011 г.). Вып. 10(17).  – М: РГГУ, 2011. –С.580–590.
  39. Ю.А. Загорулько, О.И. Боровикова. Проблемы представления и визуализации знаний в тезаурусе по компьютерной лингвистике // Труды XIII Международной конференции «Проблемы управления и моделирования в сложных системах». 15-27 июня 2011г. Самара, Россия. / Под ред.: акад. Е.А. Федосова, акад. Н.А. Кузнецова, проф. В.А. Виттиха.- Самара: Самарский научный центр РАН, 2011. – С.403- 408. ISBN 978-5-93424-528-4
  40. М.Ю. Загорулько, Е.А. Сидорова. Система извлечения предметной терминологии из текста на основе лексико-синтаксических шаблонов // Труды XIII Международной конференции «Проблемы управления и моделирования в сложных системах». 15-27 июня 2011г. Самара, Россия. / Под ред.: акад. Е.А. Федосова, акад. Н.А. Кузнецова, проф. В.А. Виттиха.- Самара: Самарский научный центр РАН, 2011. – С.506-511. ISBN 978-5-93424-528-4
  41. Загорулько Ю.А. История разработки системы речевого управления интеллектуальным роботом // Труды SORUCOM-2011. Вторая Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР (12-16 сентября, Великий Новгород, Россия) // Под ред. А.Н. Томилина. – Великий Новгород, 2011. – С. 107 - 114.
  42. Shelekhov V. Rules of correctness proof for programs with simple logic // Ershov Informayics Conference, PSI Series, 8-th Edition. ¾ Novosibirsk, 2011. ¾ P. 301-308.
  43. Гордеев Д.С. Модель интерактивной визуализации графовых алгоритмов // Ершовская конференция по информатике 2011. Рабочий семинар "Наукоёмкое программное обеспечение". Труды НПО 2011. — Новосибирск, ИСИ СО РАН, 2011. — С.58 – 62.
  44. Касьянов В. Н. Словарь и энциклопедия по графам в информатике // Труды XI Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2011. – Том.1. ‑ С. 344 – 348.
  45. Касьянов В. Н. Веб-системы поддержки графов и графовых алгоритмов // Актуальные вопросы современной информатики. – Коломна: МГОСГИ, 2011. – Том.1. ‑ С. 176 – 179. – (Материалы Международной заочной научно-практической конференции).
  46. Касьянова Е. В. Начальный курс программирования на основе языка Zonnon // Труды XI Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2011. – Том. 3. ‑ С. 145 – 148.
  47. Касьянова Е. В. Методы и средства преподавания программирования на базе языка Zonnon // Актуальные вопросы современной информатики. – Коломна: МГОСГИ, 2011. – Том.1. ‑ С. 70 – 73. – (Материалы Международной заочной научно-практической конференции).
  48. Kasyanov V.N. WEGA: the Web-Encyclopedia of Graph Algorithms in Computer Science // Abstracts for ICIAM 2011, Vancouver, 2011, P. 317.
  49. Kasyanov V.N. Sisal 3.2: Functional Language for Supporting Scientific Supercomputing // Abstracts for ICIAM 2011, Vancouver, 2011, P. 316.
  50. Касьянов В. Н. Применение теоретико-графовых методов в программировании // Ершовская конференция по информатике 2011. Секция "Информатика образования". Доклады и тезисы. — Новосибирск, ИСИ СО РАН, 2011. — С.67 – 71.
  51. Касьянова Е.В., Касьянова С.Н. Опыт преподавания программирования в школе // Ершовская конференция по информатике 2011. Секция "Информатика образования". Доклады и тезисы. — Новосибирск, ИСИ СО РАН, 2011. — С.72 – 73
  52. Kasyanov V.N. An open adaptive virtual museum of information history in Siberia // IFIP Advances in Information and Communication Technology. – Springer, 2011. – Vol. 357. – P. 194-200.
  53. Shilov N., Idrisov R., Akinin A. and Zubkov A. Development of the Computer Language Classification Knowledge Portal // Lecture Notes in Computer Science. Springer, 2011. — Vol. 7167. — P. 334-343 – (Proceedings of 8th Ershov International Conference PSI 2011).
  54. Stasenko A. P. Sisal 3.2 Language Features Overview // Lecture Notes in Computer Science. Springer, 2011. — Vol. 6873. — P. 110–124. – (Proceedings of 11th International Conference Parallel Computing Technologies, PaCT 2011).
  55. Касьянов В. Н. Теоретико-графовые методы в программировании // Труды SoRuCom-2011. Вторая Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР». — Великий Новгород, 2011. — С. 134 – 136.
  56. Касьянов В. Н., Марчук А. Г. Научная школа А. П. Ершова: системы программирования и информатики // Современные проблемы математики, информатики и биоинформатики. Программа конференции и тезисы докладов международной конференции. — Новосибирск, ИВТ СО РАН, 2011. — С. 87-88.
  57. Касьянов В. Н. Визуализация информации на основе графовых моделей // Доклады Седьмой Международной Азиатской школы-семинара «Проблемы сложных систем». — Ташкент, 2011. — С. 50 – 55.
  58. Шелехов В.И., Тумуров Э.Г. Спецификация систем управления в виде гиперграфовой композиции // Тр. 13-й межд. конф. «Проблемы управления и моделирования в сложных системах». — Самара, Самарский научный центр РАН, 2011. ¾ С. 493-498.
  59. Шелехов В.И., Тумуров Э.Г. Спецификация реактивных систем в виде гиперграфовой композиции // Тр. семинара «Наукоемкое программное обеспечение». Ершовская конференция по информатике. — Новосибирск, 2011. ¾ С. 281-286.
  60. Шелехов В.И.Методы доказательства корректности программ с хорошей логикой // Межд. конф. "Современные проблемы математики, информатики и биоинформатики", посвященная 100-летию со дня рождения А.А. Ляпунова. ¾ 2011. ¾ 17c.
  61. Першин Д.Ю., Щербаков А.С. Определение местоположения высокой точности для одночастотных приёмников спутниковой навигации с использованием инерциальных датчиков // Межд. конф. "Современные проблемы математики, информатики и биоинформатики", посвященная 100-летию со дня рождения А.А. Ляпунова. ¾ 2011. ¾ 21c.
  62. Тумуров Э.Г. Метод спецификации реактивных систем на примере системы с авариями и отключениями // 4-я межд. конф. “Математика, ее приложения и математическое образование ” МПМО-2011 — Улан-Удэ, 2011. — С. 262 – 264.
  63. Першин Д.Ю., Щербаков А.С. Определение местоположения высокой точности для одночастотных приемников спутниковой навигации с использованием инерциальных датчиков // Материалы XLVIII Международной научной студенческой конференции «Студент и научно-технический прогресс»: Информационные технологии. ГИС-технологии / Новосиб. гос. ун-т. Новосибирск, 2011. ¾ С. 38.
  64. Selivanov V.L. A fine nierarchy of omega-regular k-partitions // Proc. CiE 2011, LNCS 6735, pp. 260-269. Springer, Heidelberg (2011).
  65. Selivanov V.L. Complexity issues for preorders on finite labeled forests // Proc. CiE-2011, LNCS 6735, pp. 112-121. Springer, Heidelberg (2011).
  66. Selivanov V.L. Boolean Algebras of Regular Languages // Proc. DLT 2011, LNCS 6795, pp. 386-396. Springer, Heidelberg (2011).
  67. Селиванов В.Л. Сотрудничество с немецкими математиками и информатиками: анализ опыта и перспектив развития  // Материалы международной конференции «Ломоносов и Гумбольдт: научное сотрудничество России и Германии – от истоков до наших дней», Москва, МГУ, Институт энергии знаний. 2011. с. 76-83.
  68. Anureev I.S. The Atoment Language by Examples // Proc. Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). Saint-Petersburg. 2011. P. 1-9.
  69. Fomin D.V., Anureev I.S. Attribute Annotation Method for VCG Simplification // Proc. Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). Saint-Petersburg, 2011. P. 35-42.
  70. Anureev I.S., Nepomniashy V.A, Maryasov I.V. The Mixed Axiomatic Semantics Method for C-program Verification // Proc. of Conf. "Perspectives of System Informatics" (PSI'11). Novosibirsk. 2011. P. 261-266.
  71. Promsky A.V. C-light Program Verification: Error Tracing and Library Specification // Proc. Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). Saint-Petersburg, 2011. P. 83-92.
  72. Promsky A.V. Verification Condition Understanding // Proc. of Conf. "Perspectives of System Informatics" (PSI'11). Novosibirsk. 2011,  pp. 295–300.
  73. Промский А.В. На пути к верификации Си-программ // Тезисы докладов Международной конференции "Современные проблемы математики, информатики и биоинформатики", посвященной памяти А.А.Ляпунова. 11-14 октября 2011 г., Академгородок, Новосибирск, Россия.  С. 47–48.
  74.  Чубаров Д.Л., Непомнящий В.А. Задача о покрываемости для раскрашенных сетей Петри // Тезисы докладов Международной конференции "Современные проблемы математики, информатики и биоинформатики", посвященной памяти А.А.Ляпунова.  11–14 октября 2011 г., Академгородок, Новосибирск, Россия.  С. 70.
  75. Beloglazov D., Mashukov M., Nepomniaschy V. Using Communicating Finite Automata and Coloured Petri Nets for Telephone Networks Verification // Proc. Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011), Saint-Petersburg, 2011. P.18-26.
  76. Garanina N.O. Optimization Procedures in Affine Model Checking // Proc. of Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011) June 12-13, 2011 in St. Petersburg, Russia ─ Yaroslavl. 2011. p. 43-50.
  77. Garanina N.O. Exponential Acceleration of Model Checking for Perfect Recall Systems // Proc. of The Ershov Informatics Conference (PSI 2011) June, 27 – July, 1, 2011, Novosibirsk, Russia ─ Novosibirsk: A.P. Ershov Institute of Informatics System. 2011. p. 50-58.
  78. Shilov N.V. and Garanina N.O. Rational Agents at the Marketplace // Proc. of Third Workshop with International Participation on Knowledge and Ontology *ELSEWHERE*. July 1, 2011, Novosibirsk, Russia, A.P. Ershov Institute of Informatics System. 2011. p. 21-28.
  79. Shilov N.V. Algorithm Design Template base on Temporal ADT // Proceedings of 18th International Symposium on Temporal Representation and Reasoning (12 - 14 September, 2011, Lübeck, Germany). IEEE Computer Society, 2011, p.157-162.
  80. Shilov N. and Garanina N. Rational Agents at the Marketplace // Proceedings of Workshop on Concurrency, Specification and Programming CS&P’2011 (Pułtusk, Poland, September 28-30, 2011).  Bialystok University of Technology, p.465-476.
  81. Shilov N.V. and Garanina N.O. Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems // Knowledge Processing and Data Analysis. Lecture Notes in Computer Science, v.6581, 2011, p.48-58
  82. Gorodnyay L.V., Shilov N.V. Educational Value of teaching Parallel Programming Paradigm // Ершовская конференция по информатике 2011 (27 июня – 1 июля 2011 г.). Секция «Информатика образования». Новосибирск: Институт систем информатики им. А.П. Ершова СО РАН, 2011, стр.1-6.
  83. Shilov N.V., Garanina N.O. Rational Agents at the Marketplace // Ершовская конференция по информатике 2011. Труды семинара «Знания и онтология *ELSEWHERE*2011 (01 июля 2011 г.). Под ред. Н.В. Шилова и Ю.А. Загорулько.  Новосибирск: Институт систем информатики им. А.П. Ершова СО РАН, 2011, стр.21-28.
  84. Shilov N.V. Make Formal Semantics Easy // Ершовская конференция по информатике 2011. Международный семинар «Понимание программ» (2-5 июля 2011 г.). Новосибирск: Институт систем информатики им. А.П. Ершова СО РАН, 2011, стр.38-43.
  85. Shilov N.V., Akinin A.A., Zubkov A.V., Idrisov R.I. Development of the Computer Language Classification Portal // Proc. Ershov Informatics Conference. PSI Series, 8th Eddition. (June 27 – July 1, 2011). Novosibirsk: A.P. Ershov Institute of System Informatics, 2011, p. 255-260.
  86. Shilov N.V. Manual Verification of a Semiformal Algorithm Design Templates // Proc. Second Workshop «Program Semantics, Specification and Verification: Theory and Applications» (6th Int. Computer Science Symposium in Russia. June 12-13, 2011). Yaroslavl State University, 2011, p. 93-101.
  87. Шилов Н.В., Городняя Л.В. Бодин Е.В. Парадигма параллельного программирования: учить или не учить (вот в чём вопрос). Международная суперкомпьютерная конференция «Научный сервис в сети Интернет: экзафлопсное будущее»  (г. Новороссийск, 19-24 сентября 2011 г.). Сборник трудов. Издательство Московского университета, 2011, стр.193-197.
  88.  Боженкова Е.Н., Нестеренко Т.В., Чурина Т.Г. Применение автоматизированной системы тестирования NSUts  в учебном процессе // Труды Ершовской конференция по информатики. Секция «Информатика образования». 2011,  стр. 23-25.
  89. З.В. Апанович, Т.А. Кислицина.  Анализ развития научного направления при помощи визуализации информации о научных сообществах и сетях цитирования //Проблемы управления и моделирования в сложных системах: Труды XIII Международной конференции (Самара, 15-17 июня 2011 г.) .—  2011. C. 499-505.
  90. З.В. Апанович, Т.А. Кислицина.  Визуализация онтологий и информационного наполнения научных порталов при помощи жгутов ребер// PSI'11 Ершовская конференция по Информатике,Труды *ELSEWHERE* .— 2011.—  C.29-34
  91. З.В. Апанович, П.С. Винокуров, Т.А. Кислицина. Методы и средства визуализации информационного наполнения больших научных порталов //PSI'11 Ершовская конференция по Информатике, Рабочий семинар "Наукоемкое программное обеспечение".— 2011.—  C.25-32.
  92. Апанович З.В. Динамические средства визуализации сетей цитирования, извлеченных их наполнения научных порталов. 21st Int ernational Crimean Conference «Microvawe & Telecommunication Technology (CriMiCo’2011)12-16 September, Sevastopol, Crimea, Ukraine pp. 65-66.
  93. Мигинский Д.С., Тимонов В.С. Сетевое и имитационное моделирование экосистем // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 163-168.
  94. Пальянов А.Ю., Хайрулин С.С., Диберт А.А. На пути к виртуальному организму под управлением цифровой копии его нервной системы: результаты и перспективы для нематоды C. elegans // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 180-186.
  95. Пальянов А.Ю., Хайрулин С.С. О перспективах создания первого виртуального организма - биологически обоснованной компьютерной модели нематоды C. elegans, включающей нервную систему // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С 56-57.
  96. Idili G., Cantarelli M., Buibas M., Busbice T., Coggan J., Grove C., Khayrulin S., Palyanov A., Larson S. Managing Complexity in Multi-Algorithm, Multi-Scale Biological Simulations: An Integrated Software Engineering and Neuroinformatics Approach // Proc. Neuroinformatics-2011, Boston, USA, 4-6 Sept., – P. 288-289.
  97. Batura Tatiana, Murzin Feodor, Proskuryakov Alexey, Trelevich Jennifer Some Approaches to Detection of Spam and Senders of Spam // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 1-6.
  98. Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Алгоритмы определения нефтенасыщенных пластов на основе данных радиоактивного каротажа // Восьмая междунар. конф. памяти акад. А.П. Ершова, “Перспективы систем информатики”, Рабочий семинар “Наукоемкое программное обеспечение”, Новосибирск 2011.  – С. 169–175.
  99. Перфильев А.А., Мурзин Ф.А., Шманина Т.В. Методы синтаксического анализа и сопоставления конструкций естественного языка и их использование в поисковых системах // Восьмая междунар. конф. памяти акад. А.П. Ершова, “Перспективы систем информатики”, Рабочий семинар “Наукоемкое программное обеспечение”, Новосибирск 2011.  – С. 200–207.
  100. Копылова Н.С., Мурзин Ф.А., Курков И.А. Моделирование социальных процессов на основе мультиагентного подхода // Труды третьего семинара Знания и Онтологии *ELSEWHERE* 2011 Ершовской конфернеции по информатике 2011, Новосибирск 2011 – С. 58-70.
  101. Глодовски А.В., Калинников П.А., Мурзин Ф.А., Мурзина Т.С., Плетнева Т.А. О распараллеливании некоторых алгоритмов обработки изображений с ориентацией на процессор CELL // Материалы Росс. Научно-техн. Конф. «Информатика и проблемы телекоммуникаций». – Новосибирск, 2011. – С. 28-31.
  102. Makeev, V. J., Kulakovskiy, I. V., Yevshin, I. S., Valeev, T. F. BioUML: the ChIPMunk Plugin for Motif Discovery in ChIP-Seq Data. // Proc. of the Intl. Moscow Conf. on Computational Molecular Biology (MCCMB’11), Moscow, July 21-24, 2011. – P.212–213.
  103. Valeev, T., Ryabova, A., Tolstykh, N., Kolpakov, F., Kel, A. GeneXplain platform for systems medicine. // Proc. of the Intl. Moscow Conf. on Computational Molecular Biology (MCCMB’11), Moscow, July 21-24, 2011. – P.156-157.
  104. Kolpakov, F. A., Tolstykh, N. I., Valeev, T. F., Kiselev, I., Kutumova, E. O., Ryabova, A., Yevshin, I. S.,  Kel, A. E. BioUML – open source plug-in based platform for bioinformatics: invitation to collaboration. // Proc. of the Intl. Moscow Conf. on Computational Molecular Biology (MCCMB’11), Moscow, July 21-24, 2011. – P. 172-173.
  105. Нечкин С.С., Штокало Д.Н., Пальянов А.Ю., Черемушкин Е.С. Разработка объединенной среды для анализа и поиска микроРНК // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 176-179.
  106. Palyanov A.Y., Khayrulin S.S. “On perspectives of development of the the first virtual organizm - biologically-reliable computer simulation of C. elegans nematode, including its nervous system” // Intern. Conf. "Modern Problems of Mathematics, Informatics and Bioinformatics", devoted to the 100th anniversary of professor Alexei A. Lyapunov. Novosibirsk, Russia, 2011. – 1p.



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