Публикации

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

Монографии

  1. Информационные технологии и математические методы в археологии // Информационные технологии в гуманитарных исследованиях. Вып.4. - Новосибирск, Изд. НГУ, 2002, 66 С.
  2. Лакин И.К., Смирнов Ю.В. и др. Автоматизированная система управления локомотивным хозяйством АСУТ. - Москва, ОЦВ, 2002.- 516 С.
  3. Касьянов В.Н., Мирзуитова И.Л. Slicing: срезы программ и их использование. - Новосибирск: ИСИ СО РАН, 2002. - 116 С.

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

  1. Катков С.И., Поттосин И.В. Средства поддержки разработки параллельных вычислительных алгоритмов // Программирование. - 2001. - № 2. - С. 34-46.
  2. Perchine D.Yu. Overview of approaches to global static error analysis of parallel programs  // Joint Bulletin of NCC and IIS. - 2001. - Vol. 15. - P.125-135.
  3. Непомнящий В.А., Ануреев И.С., Михайлов И.Н., Промский А.В. На пути к верификации C-программ. Язык С-Light и его формальная семантика // Программирование. -  2002. -  № 6. -  С. 1-13.
  4. Лоенко М. Ю. Вычисление элементарных функций с гарантированной точностью // Программирование. - 2001. - Т. 27, № 2. - C. 101-113.
  5. Касьянов В.Н. Применение графов в программировании // Программирование. - 2001. -  № 3. - С. 51-70.
  6. Kasyanov V.N. Graphs in programming: methods and tools for education // Вычислительные технологии. - 2002. - Т.7. - Специальный выпуск по материалам Международной конференции ВТММ-2002. - Часть 1. - С. 115-123.
  7. Непомнящий В.А. «Верификация финитной итерации над наборами структур данных» // Программирование, 2002, № 1, с. 3-12.
  8. Мельников Л.С., Петренко И.В. О путевых ядрах и разбиениях в неориентированных графах // Дискретный анализ и исследование операций, 2002, Серия 1, том 9 , номер 2, C. 21-35.
  9. Loenko M. Yu. Solving CSPs with predominating constraints of the "not equal" type. - Joint Bulletin of NCC and IIS. - 2001. - Vol. 16. -  P. 45-55.
  10. Селиванов В.Л. «О разрешимости классов иерархий регулярных апериодических языков» Алгебра и логика, т. 41, № 5, 2002, с. 610-631.
  11. Baburin D.E. Some modifications of Sugiyama approach // Joint Bulletin of NCC and IIS, Series: Comp.Science. - 2002. - Vol.18. - P. 15-30.
  12. Bulyonkov M.A. Options Management in RescueWare System  // Joint Bulletin of NCC and IIS.  - 2002. - С. 45-68.
  13. Filatkina N.N. Cross-Program Data Flow Visualization  // Joint Bulletin of NCC and IIS.  - 2002. - С. 81-102.

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

  1. Mel'nikov L.S., Pyatkin A.V. Regular integral sum graphs // Discrete Mathematics, 2002, Vol. 252, № 1-3, P.237-245.
  2. Loenko M.  Solving systems of nonlinear equations with methods using interval constraint propagation  // Computational technologies. - 2002. - Vol. 7, № 2. - P. 84-93.
  3. Kasyanov V.N. Annotated programming: methods and models Intern. Congress of Mathematicians (ICM2002).  Abstracts of Short Communications and Poster Sessions. - Beijing, 2002.
  4. Kasyanov V.N.  Methods and tools for support of graphs and visual processing//Recent Advances in Computers, Computing and Communications. WSEAS Press, 2002. - P.132-136.
  5. Selivanov V.L. «Relating automata-theoretic hierarchies to complexity-theoretic hierarchies». Theor.Informatics and Appl., v. 36, 2002, pp. 29-42.
  6. Baburin D.E. Some modifications of Sugiyama approach // Lect. Notes in Comput.Sci. - Springer, 2002. -  Vol. 2528. -  P. 366-367.
  7. Yakhno T., Tekin E. Ants Systems: Another alternative for optimization Problems. Lecture Notes in Computer Science Vol. 2457, 2002. - C. 324-326.
  8. Yakhno T., Tekin E. Application of Constraint Hierarchy to Time Tabling Problems. Lecture Notes in Computer Science, Vol. 2510, 2002. - C. 11-18.

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

  1. Непомнящий В.А., Ануреев И.С., Михайлов И.Н., Промский А.В. На пути к  верификации C-программ. Язык С-Light // Тр. конф., посвященной 90-летию со дня рождения А.А. Ляпунова (пленарные доклады), Новосибирск, 2002.  -  Новосибирск: ОИИ   СО РАН, 2001. -  С. 423-432.
  2. Ануреев И.С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов // Докл. IV Всерос. конф. с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара «Проблемы компьютерной безопасности» Томск, сентябрь 2002г.  -  Томск: ТГУ,  2002. -  № 1(II) (приложение) - С. 4-8.
  3. Промский А.В. Автоматическая генерация условий корректности в системе верификации программ // Тезисы докл. Междунар. конф. молодых ученых по математическому моделированию и информатике, Новосибирск, 29-31 октября 2002.  -  Новосибирск: ИВТ, 2002.
  4. Lellahi K., Zamulin A.V.  An object - oriented database as a dynamic system with implicit state.
  5. A. Caplinskas and J. Eder (eds.). Advances in Databases and Information Systems // Proc. of the 5th East European Conf., ADBIS 2001, Vilnus, Lithuania, September 2001. -   Berlin, 2002. -  P. 239-252. -  (Lecture Notes in Computer Science, № 2151).
  6. Zamulin A.V. An Object Algebra for the ODMG Standard. Y. Manolopoulos and P. Navrat (eds.).  Advances in Databases and Information Systems // Proc. of the 6th East European Conf., ADBIS 2002, Bratislava, Slovakia, September 2002.  -  Berlin a.o. , 2002. - P. 291-304. -  (Lect. Notes in Comput.Sci. № 2435).
  7. Baburin D.E. Using graph based representations in reengineering // Proc. of Sixth European Conf. on Software Maintenance and Reengineering, IEEE Computer Society Press, 2002. - P. 203-206.
  8. Baburin D.E. Some modifications of Sugiyama approach // Proc. of Int. Conf. Graph Drawing 2002, Springer, 2002, P.186-188.
  9. Loenko M. Yu.  «A non-return search algorithm». In: Proc. of 4th Int. workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems, Le Croisic, France, March 25-27, 2002. - Le Croisic, 2002. - P. 251-260.
  10. Kashevarova T., Semenov A. Using the methods of interval constraint programming in economics and modelling of social phenomena // Proc. of the Russian-American Workshop «Studies of Socio-Natural Co-Evolution from Different Parts of the World», Novosibirsk, Russia, September 2002. -   http://iwep.ab.ru/~workshop/.
  11. Kleymenov А., Petunin D., Semenov A., Vazhev I.  A model of cooperative solvers for computational problems // Proc. of the 4th Intern. Conf. PPAM 2001, Naleczow, Poland.  -  Berlin a.o., 2002. - P. 797-802.  -  (Lect. Notes Comput. Sci.; № 2238).
  12. Ануреев И.С. «Система машинной поддержки доказательства: от тактикалов к генератору тактикалов» Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара «Проблемы компьютерной безопасности» Томск, ТГУ, Вестник Томского Государственного Университета № 1(II) (приложение), сентябрь 2002 г., с. 4-8.
  13. Baburin D.E. Using graph based representations in reengineering // Proc. of Sixth European Conf. on Software Maintenance and Reengineering, IEEE Computer Society Press, 2002, P. 203-206.
  14. Baburin D.E. Some modifications of Sugiyama approach // Proc. of Int. Conf. Graph Drawing 2002, Springer, 2002, P.186-188.
  15. Baburin D.E. Using graph based representations in reengineering // Proc. of Sixth European Conf. on Software Maintenance and Reengineering, IEEE Computer Society Press, 2002, P. 203-206.
  16. Kasyanov V.N., Kasianova E.V. Web-based systems for supporting computer-science teaching and learning // Proceedigs of the 7th ACM SIGCSE Conference on Innovation and Technology in Computer Science Education, Aarhus, Denmark, 2002.
  17. Дортман П.А. Опыт проведения мастерской на Летней школе юных программистов // Международная конференция молодых ученых по математическому моделированию и информационным технологиям. - Новосибирск, ИВТ СО РАН, 2002. - С. 53.
  18. Касьянов В.Н., Несговорова Г.П., Волянская Т.А. Виртуальный музей истории информатики в Сибири // Труды Международной конференции "Электронные изображения и виртуальные искусства"(EVA-2002), Киев, Международный научно-учебный центр ЮНЕСКО, 2002, С.242-250.
  19. Касьянов В.Н. Виртуальный музей истории информатики в Сибири // Применение новых технологий в образовании. - Троицк: Фонд новых технологий в образовании "Байтик", 2002. - С. 36-37.- (Материалы XII Международной конференции).
  20. Касьянов В.Н., Несговорова Г.П., Волянская Т.А. Виртуальный музей истории информатики в Сибири // Материалы научно-практической конференции "Культура информационного общества", Красноярск, КГТУ, 2002, С.96-97.
  21. Яхно Т.М. Алгоритмы муравьиных колоний: еще одна альтернатива для задач оптимизации? // Труды 8-й национальной конференции по искусственному интеллекту - КИИ'2002. -Москва: Физматлит, 2002. -Т.1. -С. 372-380.
  22. Загорулько ЮА, Кононенко И.С., Костов Ю.В., Сидорова Е.В. Представление знаний в интеллектуальной системе документооборота // Труды 8-й национальной конференции по искусственному интеллекту - КИИ'2002. -Москва: Физматлит, 2002. - Т.2. - С. 867-875.
  23. Олейников С.Н. Разработка и реализация механизма распространения ограничений по семантической сети в системе Semp-N // Материалы XL международной научной студенческой конференции «Студент и научно-технический прогресс»,  Новосибирск, 2002, -С. 162-163.
  24. Боровикова О.И., Загорулько Ю.А. Организация порталов знаний на основе онтологий // Труды международного семинара Диалог'2002 по компьютерной лингвистике и ее приложениям. - Т.2. -Протвино, 2002. - с.76-82.
  25. Lellahi K., Zamulin A.V. Towards an Algebraic Formalization of Sequential Java-like Programs with Implicit States. Computing Science Department, University of Nijmegen, technical report No. NIII-R0204  (proc. ECOOP Workshop FTfJP'2002, Malaga Spain, June 10, 2002), 2002, pp. 131-132.
  26. Zamulin A.V. An Object Algebra for the ODMG Standard. Y. Manolopoulos and P. Navrat (eds.). Advances in Databases and Information Systems (Proceedings of the 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 2002), LNCS, vol. 2435, pp. 291-304.
  27. Каличкин С.В. Обзор средств статической и динамической отладки программ / Математическое моделирование и информационные технологии. Тезисы докладов междунар. конф. молодых ученых. - Новосибирск, 2002.
  28. Шелехов В.И., Першин Д.Ю., Куксенко С.В. Wasp Static Error Checker // http://www.waspsoft.com. - 2002.
  29. Антюфеев С.В., Марчук А.Г., Немов А.Н., Федоров К.В., Филиппова М.Я., Филиппов В.Э., Черемных Н.А. Электронный архив академика А.П. Ершова в Internet// Конференция RELARN'2002 в Нижнем Новгороде, http://www.relarn.sci-nnov.ru/.
  30. Антюфеев С.В., Марчук А.Г., Немов А.Н., Федоров К.В., Филиппова М.Я., Филиппов В.Э., Черемных Н.А.  Электронный архив академика А.П. Ершова в Internet// Выездное заседание Координационного научного Совета СО РАН по программе "Информационно-телекоммуникационные ресурсы СО РАН", г. Иркутск, http://www.sbras.ru/ws/IT2002/.
  31. Антюфеев С.В., Марчук А.Г., Немов А.Н.,Федоров К.В.  The Information System for Creating and Maintaining the Electronic Archive of Documents // ADVIS'2002 Second Biennial International Conference on Advances in Information Systems, http://advis.deu.edu.tr/.
  32. Антюфеев С.В., Марчук А.Г., Немов А.Н., Федоров К.В. Построение автоматизированных систем для создания и поддержки электронных архивов документов на примере архива академика А.П.Ершова // VII Международная конференция по электронным публикациям "EL-Pub2002", http://www-sbras.nsc.ru/ws/elpub2002/.
  33. M. Loenko. "A Non-Return Search Algorithm" // Fourth International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR'02), France, March, 2002.
  34. A.V. Zhdanova. "Automatic Identification of European Languages"  // Seventh International Workshop on Applications of Natural Language to Information Systems (NLDB'02), Sweden, June 2002.
  35. A.V. Zhdanova, D.V. Shishkin. "Classification of E-mail Queries by Topic: Approach Based on Hierarchically Structured Subject Domain"  // Third International Conference on Intelligent Data Engineering and Automated Learning (IDEAL'02). -  England. -  August 2002.
  36. T. Kashevarova, A. Semenov. «Using the methods of interval constraint programming in economics and modelling of social phenomena» // Russian-American Workshop «Studies of Socio-Natural Co-Evolution from Different Parts of the World», Novosibirsk, Russia, September 2002.
  37. Д.В. Шишкин. «Система построения естественно-языковых интерфейсов, ориентированная на классификацию текстов в иерархически структурированной предметной области» //Конференция молодых ученых по математике, математическому моделированию и информатике, 29-31 октября 2002 года, Новосибирск, Академгородок.
  38. A.V. Zhdanova. "Automatic Language Identification: Comparing Two Word-based approaches" //40-я Международная студенческая конференция "Студент и научно-технический прогресс", Новосибирск, апрель, 2002.
  39. А. В. Клейменов. »Архитектура для построения кооперативных решателей" // 40-я Международная студенческая конференция "Студент и научно-технический прогресс", Новосибирск, апрель, 2002.
  40. П. В. Манкевич. "Автоматическое распознавание языков Электронного текста. Сравнение простейших статистических алгоритмов» //40-я Международная студенческая конференция "Студент и научно-технический прогресс", Новосибирск, апрель, 2002.
  41. Д.В. Шишкин "Классификация естественно-языковых сообщений методом, основанном на  иерархически структурированной предметной области" //40-я Международная студенческая конференция "Студент и научно-технический прогресс", Новосибирск, апрель, 2002.