Публикации

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

Монографии

  1. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003, 1104 С.
  2. Ватолин Д., Ратушняк А., Смирнов М., Юкин В. Методы сжатия данных. Учебное пособие // М.: Диалог - МИФИ, 2003, Второе издание, 284 С.

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

  1. Добрынин А.А., Мельников Л.С., Пяткин А.В. Критические графы Эрдеша и Дирака четной степени // Дискретный анализ и исследование операций, 2003, Серия 1, Т. 10, № 3. - С. 12-22.
  2. Маркин В.А., Маркина С.А., Евстигнеев В.А. Система для быстрого прототипирования  распараллеливающего компилятора // Вычислительные технологии. - 2003. - Т.8. - Специальный выпуск по материалам Международной конференции ВИТ-2003. - Ч. II, С. 197-205.
  3. Непомнящий В.А., Ануреев И.С., Промский А.В. На пути к верификации С программ. Аксиоматическая семантика языка  C-kernel // Программирование, 2003, № 6. - 14 С.
  4. Непомнящий В.А., Алексеев Г.И., Аргиров В.С., Быстров А.В., Мыльников С.П., Новиков Р.М., Чурина Т.Г. Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня // Труды первой Всероссийской научной конференции "Методы и средства обработки информации", Москва, МГУ им. М.В.Ломоносова, 2003, с. 454-460.
  5. Замулин А.В. Формальная модель Java-программы, основанная на машинах абстрактных состояний // Программирование, 2003, № 3, С. 15-28.
  6. Замулин А.В.  Формальная семантика выражений и операторов языка Java // Программирование, 2003, № 5, стр. 31-45.
  7. Замулин А.В.  Алгебраическая семантика императивного языка программирования // Программирование, 2003, № 6, стр. 1-14.
  8. Марчук А.Г. Об академике А.П.Ершове // История информатики в России. Ученые и их школы. Москва, «Наука», 2003, с. 289-290.
  9. Иваньчева Т.А., Калинина Н.А., Костюкова Н.И. Психология глазами информатика //  Журнал ОТКРЫТОЕ ОБРАЗОВАНИЕ. - Москва. 5'2003. - С. 17-25.

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

  1. Касьянов В.Н., Несговорова Г.П., Волянская Т.А. Виртуальный музей истории информатики в Сибири // Проблемы программирования, Киев, 2003, № 3. - 10 С.
  2. Dobrynin A.A., Melnikov L.S., Pyatkin A.V.   On 4 - chromatic edge-critical regular graph of high connectivity / Discrete Math., 2003, Vol. 260, № 1-3, P. 315-319.
  3. Kasyanov V.N., Nesgovorova G.P., Volyanskaya T.A. Virtual museum of informatics history in Siberia // Human-Centered Computing: Cognitive, Social and Ergonomic Aspects. London, Lawrence Erlbaum Associates Publishers, 2003, p. 1016-1020.
  4. Selivanov V.L. Wadge degrees of w-languages of deterministic Turing machines // Theoretical Informatics and Applications, 37, 2003, 67-83.
  5. Selivanov V.L. Classifying countable boolean terms // Preprint 01-03, Informatik-Berichte, Universitaet Siegen, 2003, 18 p.
  6. Selivanov V.L. Vagner K.  A reducibility for the dot-depth hierarchy // Preprint 313, 2003,  University of Wuerzburg, 21 P. 
  7. Yakhno V., Yakhno T., Kasap M., Simulation of electromagnetic wave propagation in anisotropic media// Selcuk Journal of Applied Mathematics. Vol. 4, №. 2. 2003, p. 113-122.

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

  1. Касьянова С.Н., Касьянова Е.В. Опыт преподавания программирования в старших классах // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. - Новосибирск, 2003. - С.31.
  2. Касьянова С.Н., Трофимов О.Е., Шапошникова Е.В. Томографическая реконструкция в трехмерных конусах лучей // Труды Международной конференции «Перспективные методы томографической диагностики. Разработка и клиническое применение». - Томск: STT, 2003. - C. 54-55.
  3. Мельников Л.С.,  Носкова Н.В.,  Носов В.И. Использование метода ветвей и границ при планировании сетей радио связи // Международный научно-технический семинар «Перспективы развития средств и систем телекоммуникаций». - Новосибирск, 2003, С. 82-87.
  4. Kasyanov V.N., Kasianova E.V. An environment for Web-based education of programming // HCI  International 2003. - Adjunct proceedings. - Heraklion, Crete University Press, 2003. - P.179-180.
  5. Kasyanov V.N. Support tools for computer science teaching and learning // Proc. of the IASTED International Conference on Computers and Technology in Education, including The IASTED International Symposium Web-based Education, Anaheim-Calgary-Zurich, ACTA Press, 2003, p.693-698.
  6. Волянская Т.А., Касьянов В.Н., Несговорова Г.П. Адаптивная гипермедиа и ее использование при создании виртуального музея истории информатики в Сибири // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. Новосибирск, 2003. - С. 10-12.
  7. Дунаев А.А., Кель А.Э., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Черемушкин Е.С. Алгоритмы визуализации генетической информации // V-я международная конференция памяти акад. А.П. Ершова "Перспективы систем информатики". Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы. Новосибирск, 2003. -С. 43-46.
  8. Винокуров А.А., Ильин И.В., Лобив И.В., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф. Программное обеспечение для поддержки процесса ядерного каротажа нефтяных скважин // Пятая международная конференция памяти акад. А.П. Ершова "Перспективы систем информатики". Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы. Новосибирск, 2003. - С. 40-42.
  9. Dunaev A.A., Lobiv I.V., Mekhontsev D.Yu., Polovinko O.N., Semich D.F., Yarkov K.A. Algorithms of fast search of rotated and scaled patterns inside the given image // V-я международная конференция памяти акад. А.П. Ершова "Перспективы систем информатики". Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы. Новосибирск, 2003. - С. 50-52.
  10. Murzin F.A., Murzina T.S., Shlishevsky V.B. High luminosity raster spectrometers  // V-я международная конференция памяти акад. А.П. Ершова "Перспективы систем информатики". Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы. Новосибирск, 2003. - С. 53-54.
  11. Nepomniaschy V.A., Anureev I.S., Promsky A.V. Verification-oriented language C-light and its structurial operational semantics (extended abstract) // Andrei Ershov Fifth Intern.Conf. «Perspectives of System Informatics». Preliminary Proceedings. - Novosibirsk, 2003. - P. 78-83.
  12. Moskalyova N.S., Virbitskaite I.B. Open Maps and Trace Semantics for Timed Partial Order Models // Andrei Ershov Fifth Intern.Conf. «Perspectives of System Informatics». Preliminary Proceedings. - Novosibirsk, 2003. - P. 160-167.
  13. Damm W, Josko B, Pnueli A., Votintseva A. Understanding UML: a formal semantics of concurrency and communication in real-time UML // Proc. 1st International Symposium on Formal Methods for Components and Objects (FMCO´02), Lecture Notes in Computer Science, v. 2852, 2003.
  14. Korovina M.V.  Fixed Points on Abstract Structures without the~Equality Test // Proc. 10th Intern. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'03), Lecture Notes in Computer Science v. 2850, pp. 290-301, 2003.
  15. Korovina M.V. Recent advances in s-definability over continuous data types // Andrei Ershov Fifth Intern.Conf. «Perspectives of System Informatics». Preliminary Proceedings. - Novosibirsk, 2003. - P.125-131.
  16. Korovina M.V. Computational aspects of s-definability over the real numbers without the equality test // Proc. Intern. Conf. on Computer Science Logic (CSL'03). Lecture Notes in Computer Science v. 2803, pp. 2003, 330-344.
  17. Selivanov V.L. Wadge degrees of omega-languages of deterministic Turing machines // Proc. Intern. Symp. On Theor Aspects of Computer Science (STACS'03). Lecture Notes in Computer Science v. 2607, 2003, pp. 97-108.
  18. Garanina N., Shilov N.V. Polynomial approximations for model checking // Andrei Ershov Fifth Intern. Conf. «Perspectives of System Informatics». Preliminary Proceedings. - Novosibirsk, 2003. - P. 271-274.
  19. Gribovskaja N.S., Virbitskaite I.B. Open Maps and Testing Equivalence for Timed Partial Order Models // Proc. Workshop on Concurrency, Specification and Programming (CS&P'03), Poland, 2003, pp. 194-204.
  20. Kalinina N.A., Shilov N.V. A note on game semantics for propositional program logics // Proc. Workshop on Concurrency, Specification and Programming, September 25-27, 2003, Poland, Warsaw University, p.483-486.
  21. Filatkina N.N. Problem-Oriented Data Flow Visualization in Legacy Systems // Proc. International Workshop on Program Understanding, 2003, July 14-16, Novosibirsk-Altai Mountains, Russia. - P.89-97.
  22. A.V. Zamulin. A State-based Semantics of a Pascal-like Language // Proc. International Workshop on Program Understanding, 2003, July 14-16, Novosibirsk-Altai Mountains, Russia. - P. 47-58.
  23. Zamulin A.V. Formal Semantics of the ODMG 3.0 Object Query Language // Kalinichenko L., Manthey R., Thalheim B., Wloka U. (eds.). Advances in Databases and Information Systems (Proceedings of the 7th East European Conference, ADBIS 2003, Dresden, Germany, September 2003), LNCS, vol. 2798, pp. 293-307.
  24. Lellahi K., Zamulin A.V.  Algebraic Semantics of Statements of Sequential Java // Formal Techniques for Java-like Programs 2003 (Proc. Intern. Workshop), Technical Report 408, Department of Computer Science,  ETH,  Zurich, pp.35-44.
  25. Иванов М. А. О применении алгоритма масштабирования к задаче предварительного сглаживания в кодировании видеопоследовательностей // Пятая международная конференция памяти акад. А.П. Ершова "Перспективы систем информатики". Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы. Новосибирск, 2003. - С. 47-49.
  26. Загорулько Ю.А., Кононенко И.С., Костов Ю.В., Сидорова Е.А.  Система InDoc: интеллектуальная обработка, распределение и поиск документов в электронном архиве // Труды V-й международной конференции "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2003. - С. 248-254.
  27. Булгаков С.В., Загорулько Ю.А., Костов Ю.В.  Проект интеллектуального интернет-портала информационных ресурсов о научном и производственном потенциале региона // Труды V-й международной конференции "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2003. - С. 255-260.
  28. Загорулько Ю.А., Кощеев В.О., Мамонтов П.Г., Парамзин Д.Ю. Универсальный решатель задач с архитектурой, поддерживающей динамические недоопределенные вычисления // Труды V-й международной конференции "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2003. - С. 261-265.
  29. Загорулько Ю.А., Боровикова О.И. Подход к разработке настраиваемых порталов знаний // Материалы III-й Международной научно-практической конференции «Математическое моделирование в образовании, науке и производстве». - Тирасполь: РИО ПГУ, 2003. - С. 319-320.
  30. Загорулько Ю.А., Кононенко И.С., Костов Ю.В., Сидорова Е.А.  Классификация деловых писем в системе документооборота // Материалы международной научно-технической конференции  «Информационные системы и технологии» (ИСТ'2003). -Новосибирск: Издательство НГТУ, 2003. - Т. 3. - С. 141-145.
  31. Шумакова И.А., Загорулько Ю.А.  Разработка специализированной системы обработки текстов объявлений на основе технологии иерархических лексических шаблонов // Материалы международной научно-технической конференции  «Информационные системы и технологии» (ИСТ'2003). - Новосибирск: Издательство НГТУ, 2003. - Т.3. - С. 177.
  32. Загорулько Ю.А., Кощеев В.О., Мамонтов П.Г., Парамзин Д.Ю. Новый подход к разработке решателя UniCalc // Материалы международной научно-технической конференции  «Информационные системы и технологии» (ИСТ'2003). - Новосибирск: Издательство НГТУ, 2003. - Т.3. - С. 140.
  33. Загорулько Ю.А., Кононенко И.С., Костов Ю.В., Сидорова Е.А.  Проблемы организации электронного архива с семантическим индексированием документов // Труды международной конференции Диалог'2003 "Компьютерная лингвистика и интеллектуальные технологии". - Протвино, 2003. - С. 724-731.
  34. Загорулько Ю.А., Боровикова О.И.  Подход к разработке настраиваемого web-портала знаний // Материалы Международной научно-практической конференции «Информационные технологии, информационные измерительные системы и приборы в исследовании сельскохозяйственных процессов». - Ч.1. - РАСХН Сиб. отд-ние. - Новосибирск, 2003. - С. 235-240.
  35. Загорулько Г.Б., Гончар А.М.  Подход к разработке экспертной системы корректирровки микроэлементного состава организма на основе данных рентгенофлуоресцентного анализа волос // Труды V-й международной конференции "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2003. - С. 242-247.
  36. Загорулько Г.Б., Нариньяни А.С.  Интеллектуальные таблицы: новые возможности в решении сложных задач // Материалы Международной научно-практической конференции "Информационные технологии, информационные измерительные системы и приборы в исследовании сельскохозяйственных процессов". - Ч.1. - РАСХН Сиб. отд-ние. - Новосибирск, 2003. - с. 240-242.
  37. Доровский С.В.  Применение метода экспертных систем в разработке шахматной программы // Материалы XLI международной научной студенческой конференции «Студент и научно-технический прогресс»:  Информационные технологии, Новосибирский государственный  университет,  - Новосибирск, 2003. - С. 153-154.
  38. Парамзин Д.Ю.  Разработка сетевой вычислительной системы на основе библиотеки  решателя «Unicalc-5» // Материалы XLI международной научной студенческой конференции «Студент и научно-технический прогресс»:  Информационные технологии, Новосибирский государственный  университет, - Новосибирск, 2003,   - С. 156-157.
  39. Прудников Д.М. Использование условий тождественности при разработке онтогологий // Материалы XLI международной научной студенческой конференции «Студент и научно-технический прогресс»: Информационные технологии, Новосибирский государственный  университет, - Новосибирск, 2003,   - С. 157-158.
  40. Цецохо А.С.  Программный комплекс для создания терминологических словников // Материалы XLI международной научной студенческой конференции «Студент и научно-технический прогресс»: Информационные технологии, Новосибирский государственный университет, - Новосибирск, 2003,   - С. 160-161.
  41. Шумакова И.А.  Система извлечения и структурирования данных из текстов газетных объявлений // Материалы XLI международной научной студенческой конференции «Студент и научно-технический прогресс»: Информационные технологии, Новосибирский государственный университет, - Новосибирск, 2003, - С. 162-163.
  42. Булгаков С.В. Подход к построению мульти-агентной системы для проведения содержательного поиска во множестве информационных источников // Труды VIII Междунар. конф. по электронным публикациям. - Новосибирск, 2003.  3 с. (Электронное издание, №  гос. регистр. 3521)., http://www.ict.nsc.ru/ws/show_abstract.dhtml?ru+76+5988
  43. Tarasevich V.V., Narinjani A.S., Zagorulko Yu.A. Piping network design under the condition of subdefinite and incomplete data // Proceedings of XXX IAHR Congress, Theme D «Hydroinformatics and advanced data technology in engineering practice» (August 2003, AUTh, Thessaloniki, Greece). Series Eds. Prof. Ganoulis J., Prof. Prinos P. Theme Eds. Dr. Korfiatis G., Prof. Christodoulou G. ISBN 960-243-598-1, 2003. p. 391- 398.
  44. Dolgov Yu. G. On Strategies of the narrowing Operator Selection in the Constraint Propagation Method  // Andrei Ershov Fifth Intern. Conf. «Perspectives of System Informatics». Preliminary Proceedings. - Novosibirsk, 2003. - P. 292 - 296.
  45. Kashevarova T, Semenov A. The Use of the cooperative Solver SibCalc in Modeling of Complex Problems // Proc. of International Conference on Computational Science ICCS-2003, Part II., LNCS, 2658, P. 1088-1097.
  46. Kleymenov A., Semenov A. Using a cooperative solving approach to global optimization problems // Proc. of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction CoCos'03. Lausanne, Switzerland, November 18-21, 2003, P. 29-39.
  47. Zhdanova A., Mankevich P.  An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems//Andrei Ershov Fifth Intern. Conf. «Perspectives of System Informatics». Preliminary Proceedings. - Novosibirsk, 2003. - P.350-354.
  48. Бревнов Е.В. Интервальный подход к решению оптимизационной задачи удовлетворения ограничений // Труды Международного совещания по интервальной математике и методам распространения ограничений, Новосибирск, 8-9 июля, 2003 г., С. 68-75.
  49. Кашеварова Т.П., Семенов А.Л. О решениях систем нелинейных уравнений // Труды Международного совещания по интервальной математике и методам распространения ограничений, Новосибирск, 8-9 июля, 2003 г. - С. 76-77.
  50. Клейменов А.Е. Построение кооперативных решателей на основе методов распространения ограничений // Труды Международного совещания по интервальной математике и методам распространения ограничений, Новосибирск, 8-9 июля, 2003 г. С. 78-85.
  51. Семенов А.Л. Методы распространения ограничений: основные концепции // Труды Международного совещания по интервальной математике и методам распространения ограничений, Новосибирск, 8-9 июля, 2003 г. - С. 19-31.
  52. Городняя Л.В., Конструирование распределенной измерительной среды для экспериментальных исследований производительности информационных систем // Пятая международная конференция памяти акад. А.П. Ершова "Перспективы систем информатики". Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы. Новосибирск, 2003. - С. 9-11.
  53. Васючкова Т.С., Городняя Л.В. Подход к ранней профессиональной ориентации в обучении информатике // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. Новосибирск, 2003. - С. 6-8.
  54. Городняя Л.В., Потапенко В.А. Применение GNU Clisp при обучении программированию // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. Новосибирск, 2003. - С. 18-19.
  55. Андреева Т.А. Серийные задачи в программировании // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. Новосибирск, 2003. - С. 2-4.
  56. Берс А.А. Образование информатики // Пятая международная конференция памяти академика А.П.Ершова «Перспективы систем информатики», секция «Информатика образования», Доклады и тезисы, Академгородок Новосибирск, 2003. - С.5.
  57. Берс А.А. Наукоемкость и программное обеспечение // Пятая международная конференция памяти акад. А.П. Ершова "Перспективы систем информатики". Рабочий семинар «Наукоемкое программное обеспечение». Доклады и тезисы. - Новосибирск, 2003.  - С.39.
  58. Калинина Н.А., Костюкова Н.И. Разработка методов и средств автоматического контроля качества и сертификации курсов и модулей дистанционного обучения // Материалы XXX Юбилейной Международной конференции и I Международной конференции молодых ученых «Информационные технологии в науке, образовании, телекоммуникации и бизнесе». IT+SE'2003. Украина, Крым, Ялта-Гурзуф. Май. 2003. с. 289-291.
  59. Калинина Н.А., Костюкова Н.И.  Система тестирования знаний в произвольных объектных областях // Материалы Международной конференции «Вычислительные и информационные технологии в науке, технике и образовании». - Усть-Каменогорск, Казахстан, Сентябрь. 2003. - С. 275-277.
  60. Марчук А.Г. Электронные архивы, музеи и экспозиции // Труды 5-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» - RCDL2003, Санкт-Петербург, 2003. - С. 106-111.
  61. Городняя Л.В., Лаврентьев М.М., Марчук А.Г., Чурина Т.Г. Восстановление системы раннего отбора кадров для непрерывной подготовки специалистов по критическим технологиям // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. Новосибирск, 2003. - С. 16-17.
  62. Водопьянова Н.С. Программное обеспечение для специалистов-гуманитариев // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. - Новосибирск,  2003. - С. 9.
  63. Соседкина Н.В. Трудности восприятия основ информатики студентами-психологами // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. Новосибирск, 2003. - С. 51-53.
  64. Тихонова Т.И. Среды для обучения программированию и информатике // Пятая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. Новосибирск, 2003. - С. 54-55.