Монографии
- Евстигнеев В.А., Касьянов В.Н. Русско-английский и англо-русский словарь по графам в информатике / Под ред. В.Н. Касьянова. – Новосибирск: «Сибирское Научное Издательство», 2011, ISBN 978-591124-036-3, 200 С.
- Семич Д.Ф. Построение хранилища данных ORACLE Business Intelligence (Siebel Analytics) // Моногр. / Институт систем информатики им. А.П. Ершова СО РАН. – Новосибирск: Изд-во СО РАН, 2011. ISBN 978-5-7692-1218-5 – 160 С.
- Крайнева И.А., Черемных Н.А. Путь программиста / Под ред. А.Г. Марчука – Новосибирск: Новосибирск: «Сибирское Научное Издательство», 2011. – 220 С.
Центральные издания
- Тихонова Т.И. Научные традиции и творческие проекты программистов// «Педагогические заметки». – 2011. – T. 4, Выпуск 3. – С. 66-73.
- Ю.Г. Платонов. Анализ требований к системе «Электронный документооборот на предприятии с высокой степенью ответственности за конечный продукт» с точки зрения применения современных информационных систем: Проблемы информатики (№1 -2011, 34-51) Н-ск, 2011.
- Ю.Г. Платонов. Разработка мобильных приложений для работы с корпоративными информационными системами: Проблемы информатики (№3 – 2011, 15-33) Н-ск, 2011.
- Е. Ошевская. Эквивалентность категорий полукубических множеств и поступательных Чу-пространств с сохранением открытости морфизмов. Вестник НГУ. Серия: Математика, механика, информатика, Т 11, выпуск 3, стр. 124-147.
- Платонов Ю.Г. Разработка мобильных приложений для работы с корпоративными информационными системами с использованием архитектурного шаблона Command and Query Responsibility Segregation (CQRS): Молодая информатика - 2011, Новосибирск (в печати).
- Платонов Ю.Г. Анализ перспектив перехода информационных систем на сервисно-ориентированную архитектуру: Проблемы информатики, Новосибирск (в печати).
- Боженкова Е.Н., А.Д. Воронков, Д.В. Иртегов, Е.Н. Конышева, С.А. Черненок, Чурина Т.Г. Модель разграничения прав доступа в системе автоматизированной проверки корректности программных приложений // Вестник НГУ, серия: Информационные технологии, 2011.
- 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.
- Загорулько Ю.А., Боровикова О.И., Кононенко И.С. Обеспечение содержательного многоязычного доступа к лингвистическим информационным ресурсам на основе технологии порталов знаний // Известия Томского политехнического университета. – 2011. – Т. 318. – № 5. –С. 99–104.
- Загорулько Ю.А. Моделирование робота, управляемого речевыми сигналами // Известия Томского политехнического университета. – 2011. – Т. 319. – № 5. (в печати).
- Загорулько Ю.А., Боровикова О.И. Подход к созданию многоязычного тезауруса на основе семантических технологий // Информационные и телекоммуникационные технологии. – 2012. – № 14. (в печати).
- Ю.А. Загорулько, О.И. Боровикова, И.С. Кононенко, Е.Г. Соколова. Методологические аспекты разработки электронного русско-английского тезауруса по компьютерной лингвистике // Информатика и ее применения. – 2012. – № 3. (в печати).
- Шелехов В.И. Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования // Программная инженерия, 2011, № 2. ¾ с. 14-21.
- Евстигнеев В.А., Турсунбай кызы Ы. О раскраске графов в классе параллельных локальных алгоритмов // Сиб. журн. вычисл. математики. – 2011. – Т. 14, № 3 – С. 231-243.
- Атучин М.М., Ануреев И.С. Атрибутные аннотации и их применение в дедуктивной верификации C-программ // Моделирование и анализ информационных систем. 2011. Том 20, вып. 4, 13 С. (в печати).
- Ануреев И.С. Типовые примеры использования языка Atoment // Моделирование и анализ информационных систем. 2011. Том 20, вып. 4, 14 С. (в печати).
- 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).
- Промский А.В. Верификация Си-программ: объяснение условий корректности и стандартная библиотека // Моделирование и анализ информационных систем. 2011. Том 20, вып. 4, 11 С. (в печати).
- Белоглазов Д.М., Машуков М.Ю., Непомнящий В.А. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри // Моделирование и анализ информационных систем. 2011.Т. 20, №4 (в печати).
- 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).
- Гаранина Н.О. Оптимизационные процедуры в аффинной проверке моделей // Моделирование и анализ информационных систем. 2011. Т. 20, №4 (в печати).
- Боженкова Е.Н., А.Д. Воронков, Д.В. Иртегов, Е.Н. Конышева, С.А. Черненок, Чурина Т.Г. Модель разграничения прав доступа в системе автоматизированной проверки корректности программных приложений // Вестник НГУ, серия: Информационные технологии. 2011. 14 стр. (в печати).
- Шилов Н.В., Городняя Л.В., Марчук А.Г. Параллельное программирование среди других парадигм программирования. Научно-практический журнал «Прикладная информатика», ISSN 1993-8314, М., №1 (31) 2011, стр.120-129.
- Бодин Е.В., Гаранина Н.О., Шилов Н.В. Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры). Моделирование и анализ информационных систем, ISSN 1818 – 1015, т.18, №2, 2011, стр.113-128.
- Шилов Н.В. Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ. Моделирование и анализ информационных систем, ISSN 1818 – 1015, т.18, №4, 2011, 14 стр. (в печати).
- Шилов Н.В., Шилова С.О. Что такое «параллельное программирование». Потенциал, ISSN 1814-6422, №3, 2011, стр.51-54.
- 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 стр. (в печати).
- З.В. Апанович, П.С. Винокуров, Т.А. Кислицина. Методы и средства визуализации информационного наполнения больших научных порталов //Вестник НГУ Серия: Информационные технологии. 2011— том 9, выпуск 3— с. 5-14.
- Apanovich Z.V., Kislicina T.A. Visualization Methods of citation networks of large scientific portals. - Bulletin of NCC. - Issue 32. — 2011. (to appear).
- Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Алгоритмы и программное обеспечение для определения нефтенасыщенных пластов на основе данных радиоактивного каротажа // Автометрия, том 47, № 4, 2011, - С. 91-103.
- Шкляев Д.А. Формальная верификация понятий отказоустойчивости для распределённых баз данных. // Информационные Технологии, № 2, – 2011, – С. 46-53.
- Перфильев А.А., Мурзин Ф.А., Шманина Т.В. Методы синтаксического анализа и сопоставления конструкций естественного языка, ориентированные на применение в информационно-поисковых систе // Вестник НГУ. Серия: Информационные технологии, том 9, выпуск 4, 2011. (в печати)
- Горохов Н.А, Черемушкин Е.С., Парыгин С, Стеймайер Ф. Библиотека для поиска сайтов связывания с транскрипционными факторами. Программные продукты и системы, № 4, 2011. (в печати)
- 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. (в печати)
Зарубежные издания
- 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.
- 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 Communication Technology. Volume 357, 2011, DOI: 10.1007/978-3-642-22816-2, ISSN 1868-4238, Springer.
- 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.
- 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.
- Евстигнеев В.А., Турсунбай кызы Ы. Анализ локальных алгоритмов для раскраски графов, использующих стратегию жадного алгоритма // Вестник Кыргызско-Российского Славянского университета. – 2011. – Т.11. №7 – С. 148-153.
- 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.
- 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.
- Selivanov V.L. Fine hierarchies via Priestley duality // Annals of Pure and Applied Logic. 2011. (To appear).
- 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).
- 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).
- 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).
- 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).
- 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.
- Литвиненко Г.Г., Мурзин Ф.А., Немченко М.Ю., Поплевина Н.В., Семич Д.Ф. Определение нефтенасыщенных пластов на основе данных радиоактивного каротажа методом "Кросс-плот" и посредством кластеризации. Доклады НАН РК, №6, 2011. – С. 5-16.
- Кальменов Т.Ш., Мурзин Ф.А., Поплевина Н.В. Анализ данных радиоактивного каротажа на основе метода И.Б. Мучника. Доклады НАН РК, №6, 2011. – С. 17-23.
Материалы международных конференций
- 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.
- Gorodnyaya L., Shilov N. Educational value of teaching parallel programming paradigm. // Ершовская конференция по информатике, Секция «Информатика образования», 27 июня – 1 июля 2011 года, Новосибирск, Академгородок, Россия, с. 1-6.
- Городняя Л.В. О курсе «Начала параллелизма» для школьников. // Ершовская конференция по информатике, секция «Информатика образования», 27 июня – 1 июля 2011 года, Новосибирск, Академгородок, Россия, с. 51-54.
- Городняя Л.В. Первые реализации языка Lisp в СССР. // Вторая Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР. ТРУДЫ SORUCOM-2011. 12–16 сентября, Великий Новгород, Россия.
- Городняя Л.В.Трансформационно операционная семантика языка параллельного программирования // Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: Экзафлопсное будущее» (г. Новороссийск, 19-24 сентября 2011г.).
- Н.В. Шилов, Л.В. Городняя, Е.В. Бодин Парадигма параллельного программирования: учить или не учить (вот в чём вопрос) //Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: Экзафлопсное будущее» (г. Новороссийск, 19-24 сентября 2011г.) .
- 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.
- 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.
- А.А. Берс Онтологические представления информатики. // PSI”11 Ершовская конференция по информатике, семинар «Знания и Онтологии ELSEWHERE-2011» 1 июля 2011 г. (приглашенный доклад).
- Берс А.А. «Отдел программирования ВЦ СО АН СССР и языки». //ТРУДЫ SORUCOM-2011, Вторая Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР, 12–16 сентября 2011г., Великий Новгород, стр. 56-64. — приглашенный доклад.
- Платонов Ю.Г. Анализ необходимости перевода информационных систем на сервисно-ориентированную архитектуру для предприятий с повышенной ответственностью за качество кода: материалы 11-ой Ершовской конференции секция Наукоемкое программирование (208-215), Нск, 2011.
- Платонов Ю.Г. Применение сервисно-ориентированной архитектуры для информационных систем, разрабатываемых для предприятий с повышенной мерой ответственности за конечный продукт: материалы межд. конф. ИНфо-2011, Москва 2011.
- 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.
- 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.
- 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
- 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.
- Тихонова Т.И. Развитие механизмов раннего обучения программированию при проведении дистанционных курсов// Сборник трудов IV-ой международной научно-практической конференции «Полатовские чтения – 2011» «Состояние и перспективы развития дистанционного обучения в открытом образовательном пространстве». 17 ноября - 8 декабря 2011 г., г. Москва.
- 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.
- M. Korovina, N. Vorobjov. Reachability in one-dimensional controlled polynomial dynamical systems. Lecture Notes in Computer Science, Vol. 7162, 2011, p. 247-257.
- 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.
- 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.
- 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.
- E.N. Bozhenkova. Compositional methods in characterization of timed event Structures // Lecture Notes in Computer Science, Vol. 7162, 2011, p. 68-76.
- 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.
- 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.
- N. Gribovskaya. A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences. Lecture Notes in Computer Science, Vol. 7162, 2011, p. 142-149.
- 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.
- R. Dubtsov. Timed Transition Systems with Independence and Marked Scott Domains. Lecture Notes in Computer Science, Vol. 7162, 2011, p. 86-94.
- 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.
- 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.
- 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.
- 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.
- Загорулько Ю.А. Подход к построению интеллектуальных информационных систем на основе семантических сетей // Международная научно-техническая конференция «Открытые семантические технологии проектирования интеллектуальных систем» (OSTIS-2011). / Под ред. В.В. Голенкова. – Минск: БГУИР, 2011. –С. 15-20.
- Загорулько Г.Б., Загорулько Ю.А. Проект открытого расширяемого инструментария для построения интеллектуальных СППР // Труды Международной научно-технической конференции «Открытые семантические технологии проектирования интеллектуальных систем» (OSTIS-2011). // Под ред. В.В. Голенкова. – Минск: БГУИР, 2011. –С. 233-236.
- Загорулько Г.Б., Загорулько Ю.А. Использование онтологий в инструментальной среде разработки интеллектуальных систем поддержки принятия решений. // Труды 21-й Международной Крымской конференции «СВЧ-техника и телекоммуникационные технологии» – КрыМиКо-2011 –Севастополь, Крым, Украина, изд. Севастополь: Вебер, 2011. -Т.1. -С.55-56.
- Загорулько Ю.А. Технология построения порталов научных знаний: опыт применения, проблемы и перспективы // Труды 21-й Международной Крымской конференции «СВЧ-техника и телекоммуникационные технологии» – КрыМиКо-2011 –Севастополь, Крым, Украина, изд. Севастополь: Вебер, 2011. -Т.1. -С.51-54.
- Соколова Е.Г., Семенова С.Ю., Кононенко И.С., Загорулько Ю.А., Кривнова О.Ф., Захаров В.П. Особенности подготовки терминов для русско-английского тезауруса по компьютерной лингвистике // Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (Бекасово, 25-29 мая 2011 г.). Вып. 10(17). – М: РГГУ, 2011. –С.644–655.
- Серый А.С., Сидорова Е.А. Идентификация объектов в задаче автоматической обработки документов // Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (Бекасово, 25-29 мая 2011 г.). Вып. 10(17). – М: РГГУ, 2011. –С.580–590.
- Ю.А. Загорулько, О.И. Боровикова. Проблемы представления и визуализации знаний в тезаурусе по компьютерной лингвистике // Труды XIII Международной конференции «Проблемы управления и моделирования в сложных системах». 15-27 июня 2011г. Самара, Россия. / Под ред.: акад. Е.А. Федосова, акад. Н.А. Кузнецова, проф. В.А. Виттиха.- Самара: Самарский научный центр РАН, 2011. – С.403- 408. ISBN 978-5-93424-528-4
- М.Ю. Загорулько, Е.А. Сидорова. Система извлечения предметной терминологии из текста на основе лексико-синтаксических шаблонов // Труды XIII Международной конференции «Проблемы управления и моделирования в сложных системах». 15-27 июня 2011г. Самара, Россия. / Под ред.: акад. Е.А. Федосова, акад. Н.А. Кузнецова, проф. В.А. Виттиха.- Самара: Самарский научный центр РАН, 2011. – С.506-511. ISBN 978-5-93424-528-4
- Загорулько Ю.А. История разработки системы речевого управления интеллектуальным роботом // Труды SORUCOM-2011. Вторая Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР (12-16 сентября, Великий Новгород, Россия) // Под ред. А.Н. Томилина. – Великий Новгород, 2011. – С. 107 - 114.
- Shelekhov V. Rules of correctness proof for programs with simple logic // Ershov Informayics Conference, PSI Series, 8-th Edition. ¾ Novosibirsk, 2011. ¾ P. 301-308.
- Гордеев Д.С. Модель интерактивной визуализации графовых алгоритмов // Ершовская конференция по информатике 2011. Рабочий семинар "Наукоёмкое программное обеспечение". Труды НПО 2011. — Новосибирск, ИСИ СО РАН, 2011. — С.58 – 62.
- Касьянов В. Н. Словарь и энциклопедия по графам в информатике // Труды XI Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2011. – Том.1. ‑ С. 344 – 348.
- Касьянов В. Н. Веб-системы поддержки графов и графовых алгоритмов // Актуальные вопросы современной информатики. – Коломна: МГОСГИ, 2011. – Том.1. ‑ С. 176 – 179. – (Материалы Международной заочной научно-практической конференции).
- Касьянова Е. В. Начальный курс программирования на основе языка Zonnon // Труды XI Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2011. – Том. 3. ‑ С. 145 – 148.
- Касьянова Е. В. Методы и средства преподавания программирования на базе языка Zonnon // Актуальные вопросы современной информатики. – Коломна: МГОСГИ, 2011. – Том.1. ‑ С. 70 – 73. – (Материалы Международной заочной научно-практической конференции).
- Kasyanov V.N. WEGA: the Web-Encyclopedia of Graph Algorithms in Computer Science // Abstracts for ICIAM 2011, Vancouver, 2011, P. 317.
- Kasyanov V.N. Sisal 3.2: Functional Language for Supporting Scientific Supercomputing // Abstracts for ICIAM 2011, Vancouver, 2011, P. 316.
- Касьянов В. Н. Применение теоретико-графовых методов в программировании // Ершовская конференция по информатике 2011. Секция "Информатика образования". Доклады и тезисы. — Новосибирск, ИСИ СО РАН, 2011. — С.67 – 71.
- Касьянова Е.В., Касьянова С.Н. Опыт преподавания программирования в школе // Ершовская конференция по информатике 2011. Секция "Информатика образования". Доклады и тезисы. — Новосибирск, ИСИ СО РАН, 2011. — С.72 – 73
- 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.
- 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).
- 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).
- Касьянов В. Н. Теоретико-графовые методы в программировании // Труды SoRuCom-2011. Вторая Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР». — Великий Новгород, 2011. — С. 134 – 136.
- Касьянов В. Н., Марчук А. Г. Научная школа А. П. Ершова: системы программирования и информатики // Современные проблемы математики, информатики и биоинформатики. Программа конференции и тезисы докладов международной конференции. — Новосибирск, ИВТ СО РАН, 2011. — С. 87-88.
- Касьянов В. Н. Визуализация информации на основе графовых моделей // Доклады Седьмой Международной Азиатской школы-семинара «Проблемы сложных систем». — Ташкент, 2011. — С. 50 – 55.
- Шелехов В.И., Тумуров Э.Г. Спецификация систем управления в виде гиперграфовой композиции // Тр. 13-й межд. конф. «Проблемы управления и моделирования в сложных системах». — Самара, Самарский научный центр РАН, 2011. ¾ С. 493-498.
- Шелехов В.И., Тумуров Э.Г. Спецификация реактивных систем в виде гиперграфовой композиции // Тр. семинара «Наукоемкое программное обеспечение». Ершовская конференция по информатике. — Новосибирск, 2011. ¾ С. 281-286.
- Шелехов В.И.Методы доказательства корректности программ с хорошей логикой // Межд. конф. "Современные проблемы математики, информатики и биоинформатики", посвященная 100-летию со дня рождения А.А. Ляпунова. ¾ 2011. ¾ 17c.
- Першин Д.Ю., Щербаков А.С. Определение местоположения высокой точности для одночастотных приёмников спутниковой навигации с использованием инерциальных датчиков // Межд. конф. "Современные проблемы математики, информатики и биоинформатики", посвященная 100-летию со дня рождения А.А. Ляпунова. ¾ 2011. ¾ 21c.
- Тумуров Э.Г. Метод спецификации реактивных систем на примере системы с авариями и отключениями // 4-я межд. конф. “Математика, ее приложения и математическое образование ” МПМО-2011 — Улан-Удэ, 2011. — С. 262 – 264.
- Першин Д.Ю., Щербаков А.С. Определение местоположения высокой точности для одночастотных приемников спутниковой навигации с использованием инерциальных датчиков // Материалы XLVIII Международной научной студенческой конференции «Студент и научно-технический прогресс»: Информационные технологии. ГИС-технологии / Новосиб. гос. ун-т. Новосибирск, 2011. ¾ С. 38.
- Selivanov V.L. A fine nierarchy of omega-regular k-partitions // Proc. CiE 2011, LNCS 6735, pp. 260-269. Springer, Heidelberg (2011).
- Selivanov V.L. Complexity issues for preorders on finite labeled forests // Proc. CiE-2011, LNCS 6735, pp. 112-121. Springer, Heidelberg (2011).
- Selivanov V.L. Boolean Algebras of Regular Languages // Proc. DLT 2011, LNCS 6795, pp. 386-396. Springer, Heidelberg (2011).
- Селиванов В.Л. Сотрудничество с немецкими математиками и информатиками: анализ опыта и перспектив развития // Материалы международной конференции «Ломоносов и Гумбольдт: научное сотрудничество России и Германии – от истоков до наших дней», Москва, МГУ, Институт энергии знаний. 2011. с. 76-83.
- 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.
- 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.
- 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.
- 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.
- Promsky A.V. Verification Condition Understanding // Proc. of Conf. "Perspectives of System Informatics" (PSI'11). Novosibirsk. 2011, pp. 295–300.
- Промский А.В. На пути к верификации Си-программ // Тезисы докладов Международной конференции "Современные проблемы математики, информатики и биоинформатики", посвященной памяти А.А.Ляпунова. 11-14 октября 2011 г., Академгородок, Новосибирск, Россия. С. 47–48.
- Чубаров Д.Л., Непомнящий В.А. Задача о покрываемости для раскрашенных сетей Петри // Тезисы докладов Международной конференции "Современные проблемы математики, информатики и биоинформатики", посвященной памяти А.А.Ляпунова. 11–14 октября 2011 г., Академгородок, Новосибирск, Россия. С. 70.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- Gorodnyay L.V., Shilov N.V. Educational Value of teaching Parallel Programming Paradigm // Ершовская конференция по информатике 2011 (27 июня – 1 июля 2011 г.). Секция «Информатика образования». Новосибирск: Институт систем информатики им. А.П. Ершова СО РАН, 2011, стр.1-6.
- Shilov N.V., Garanina N.O. Rational Agents at the Marketplace // Ершовская конференция по информатике 2011. Труды семинара «Знания и онтология *ELSEWHERE*2011 (01 июля 2011 г.). Под ред. Н.В. Шилова и Ю.А. Загорулько. Новосибирск: Институт систем информатики им. А.П. Ершова СО РАН, 2011, стр.21-28.
- Shilov N.V. Make Formal Semantics Easy // Ершовская конференция по информатике 2011. Международный семинар «Понимание программ» (2-5 июля 2011 г.). Новосибирск: Институт систем информатики им. А.П. Ершова СО РАН, 2011, стр.38-43.
- 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.
- 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.
- Шилов Н.В., Городняя Л.В. Бодин Е.В. Парадигма параллельного программирования: учить или не учить (вот в чём вопрос). Международная суперкомпьютерная конференция «Научный сервис в сети Интернет: экзафлопсное будущее» (г. Новороссийск, 19-24 сентября 2011 г.). Сборник трудов. Издательство Московского университета, 2011, стр.193-197.
- Боженкова Е.Н., Нестеренко Т.В., Чурина Т.Г. Применение автоматизированной системы тестирования NSUts в учебном процессе // Труды Ершовской конференция по информатики. Секция «Информатика образования». 2011, стр. 23-25.
- З.В. Апанович, Т.А. Кислицина. Анализ развития научного направления при помощи визуализации информации о научных сообществах и сетях цитирования //Проблемы управления и моделирования в сложных системах: Труды XIII Международной конференции (Самара, 15-17 июня 2011 г.) .— 2011. C. 499-505.
- З.В. Апанович, Т.А. Кислицина. Визуализация онтологий и информационного наполнения научных порталов при помощи жгутов ребер// PSI'11 Ершовская конференция по Информатике,Труды *ELSEWHERE* .— 2011.— C.29-34
- З.В. Апанович, П.С. Винокуров, Т.А. Кислицина. Методы и средства визуализации информационного наполнения больших научных порталов //PSI'11 Ершовская конференция по Информатике, Рабочий семинар "Наукоемкое программное обеспечение".— 2011.— C.25-32.
- Апанович З.В. Динамические средства визуализации сетей цитирования, извлеченных их наполнения научных порталов. 21st Int ernational Crimean Conference «Microvawe & Telecommunication Technology (CriMiCo’2011)12-16 September, Sevastopol, Crimea, Ukraine pp. 65-66.
- Мигинский Д.С., Тимонов В.С. Сетевое и имитационное моделирование экосистем // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 163-168.
- Пальянов А.Ю., Хайрулин С.С., Диберт А.А. На пути к виртуальному организму под управлением цифровой копии его нервной системы: результаты и перспективы для нематоды C. elegans // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 180-186.
- Пальянов А.Ю., Хайрулин С.С. О перспективах создания первого виртуального организма - биологически обоснованной компьютерной модели нематоды C. elegans, включающей нервную систему // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С 56-57.
- 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.
- Batura Tatiana, Murzin Feodor, Proskuryakov Alexey, Trelevich Jennifer Some Approaches to Detection of Spam and Senders of Spam // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 1-6.
- Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Алгоритмы определения нефтенасыщенных пластов на основе данных радиоактивного каротажа // Восьмая междунар. конф. памяти акад. А.П. Ершова, “Перспективы систем информатики”, Рабочий семинар “Наукоемкое программное обеспечение”, Новосибирск 2011. – С. 169–175.
- Перфильев А.А., Мурзин Ф.А., Шманина Т.В. Методы синтаксического анализа и сопоставления конструкций естественного языка и их использование в поисковых системах // Восьмая междунар. конф. памяти акад. А.П. Ершова, “Перспективы систем информатики”, Рабочий семинар “Наукоемкое программное обеспечение”, Новосибирск 2011. – С. 200–207.
- Копылова Н.С., Мурзин Ф.А., Курков И.А. Моделирование социальных процессов на основе мультиагентного подхода // Труды третьего семинара Знания и Онтологии *ELSEWHERE* 2011 Ершовской конфернеции по информатике 2011, Новосибирск 2011 – С. 58-70.
- Глодовски А.В., Калинников П.А., Мурзин Ф.А., Мурзина Т.С., Плетнева Т.А. О распараллеливании некоторых алгоритмов обработки изображений с ориентацией на процессор CELL // Материалы Росс. Научно-техн. Конф. «Информатика и проблемы телекоммуникаций». – Новосибирск, 2011. – С. 28-31.
- 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.
- 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.
- 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.
- Нечкин С.С., Штокало Д.Н., Пальянов А.Ю., Черемушкин Е.С. Разработка объединенной среды для анализа и поиска микроРНК // Восьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2011. – С. 176-179.
- 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.
|