Публикации

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

Монографии

  1. М.М.Бежанова, И.В.Поттосин. Современные понятия и методы программирования / М., Научный мир, 2001.
  2. Касьянов В.Н. Курс программирования на Паскале в заданиях и упражнениях. - Новосибирск, 2001. - 448 С.
  3. Касьянов В.Н. Практикум по программированию. - Новосибирск: НГУ, 2001. - 156 С.
  4. ICF-2000. Схема учебного плана по информатике для высших учебных заведений. - Новосибирск: НГУ, 2001.- 208 С.

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

  1. С.И.Катков, И.В.Поттосин. Средства поддержки разработки параллельных вычислительных алгоритмов, Программирование, N 2, 2001, с. 34-46.
  2. С.К.Черноножкин. Задача автоматического построения тестов и статический анализ // Программирование, N 2, 2001, с. 47-59.
  3. Л.В.Городняя, Д.В.Иртегов, Н.Н.Непейвода, И.В.Поттосин, Т.Г.Чурина. Открытая Всесибирская олимпиада по программированию. Программирование, N 3, 2001, С. 77-80.
  4. В.А.Непомнящий, Г.И.Алексеев, А.В.Быстров, С.П.Мыльников, Е.В.Окунишникова, П.А.Чубарев, Т.Г.Чурина "Верификация коммуникационных протоколов, представленных на языке ESTELLE, с помощью сетей Петри высокого уровня" Программирование, 2001, N 2, с.5-20.
  5. Н.В.Шилов, Е.В.Бодин и К. Ии О програмных логиках - просто. Принята к публикации в сборнике «Системная Информатика», Наука, Новосибирск, т.8, 2002, 54 стр.
  6. P.Buchholz, I.V.Tarasyuk. Net and algebraic approaches to probablistic modeling// Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Computer Science 15, 24 pages, Novosibirsk, 2001.
  7. V.A.Nepomniaschy "Symbolic verification method for definite iterations over tuples of data structures" //Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Computer Science, 15, Novosibirsk, 2001.
  8. Bozhenkova E.N. Towards decidability of timed testing// Bull. Novosibirsk Computing Center and IIS, Series Computer Science, 15, Novosibirsk, 2001.
  9. I.S.Anureev "Program verification based on specification language SIMPLE" Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Computer Science 15,Novosibirsk 2001.
  10. Касьянов В.Н. Применение графов в программировании // Программирование. - 2001, N 3. - С. 51-70.
  11. Петров Е.С., Яхно Т.М. Недоопределенные модели и логическое программирование: реализация ограничений // Программирование. -2001, N 2., -с.60-67.
  12. Yury A. Zagorulko, Ivan G. Popov, Yury V. Kostov. Subdefinite Data Types and Constraints in Knowledge Representation Language. // Joint Bulleten of the Novosibirsk Computing Center and Institute of Informatics Systems. Series: Computer Science. 16 (2001), NCC Publiher. Novosibirsk, 2001.
  13. Лоенко М.Ю. Вычисление элементарных функций с гарантированной точностью. // Программирование. -- 2001. -- Т. 27, N. 2. -- C. 101--113.
  14. Бабурин Д.Е., Бульонков М.А., Емельянов П.Г., Филаткина Н.Н. Средства визуализации при перепроектировании программ // Программирование. - 2001. - N 2. - С. 21-33.
  15. Соседкина Н.В. Информатика в начальной школе: чуть больше чем Computer Science \\ Журнал «Компьютерные инструменты в образовании» 1/2001 г. Санкт-Петербург, Стр. 30-34
  16. Соседкина Н.В. Кое-что из информатики для не очень взрослых детей. \\ Журнал «Компьютерные инструменты в образовании» 3-4/2001 г. Санкт-Петербург с. 128-137
  17. Городняя Л.В. О конкурсах по информатике. \\ Журнал «Компьютерные инструменты в образовании» 1/2001 г. Санкт-Петербург, с. 37-48
  18. Городняя Л.В. Преимущества эксплуатации UNIX/Linux в школе. \\ Журнал «Компьютерные инструменты в образовании» 3-4/2001 г. Санкт-Петербург, с. 94-95
  19. Малюх В.Н. Среда для разработки проблемно ориентированных САПР на базе пакета bCAD, "Автоматизация проектирования",  М., изд. РАН.
  20. Малюх В.Н., Бахтин И.Н., Развитие архитектуры интерфейса прикладного программирования в САПР bCAD, "САПР и Графика" N6, г. Москва, изд. Компьютер - Пресс.

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

  1. I.V.Pottosin. A.P.Ershov - a Pioneer and a Leader of National Programming // LNCC, N 2244, 2001, p. 1-7.
  2. Korovina M.V., Kudinov O.V., The least fixed point semantics of computability over the reals, Logical Colloquim 2001, Austria, pp 61.
  3. Emelianov P.G. and Lukito A. On the maximal length of a snake in hypercubes of small dimension // Discrete Mathematics, 2000, vol. 211, N 1-3, P. 181-191.
  4. V.A. Bojarschinov Edge and total coloring of interval graphs// Discrete Applied Mathematics, 2001.

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

  1. Ekin E., Yakhno T. «A Case Study of Adapting Ant System to Optimization Problem»// Proc. of Tenth Turkish Symposium on Artificial Intelligence and Neural Networks, Gazimagusa, North Cypres, 2001. p.103-110.
  2. А. Kleymenov, D. Petunin, A. Semenov, and I. Vazhev. "A model of cooperative solvers for computational problems" принята для публикации в трудах конференции PPAM'2001 в серии LNCS.
  3. K. Lellahi, A. Zamulin. Dynamic Systems Based On Update Sets. SCIT'2001. (Proceedings of the Workshop on Computer Science and Information Technolodies, Ufa, Russia, Sept. 21-26, 2001), vol. 1, pp. 190-199.
  4. K. Lellahi, A.V. Zamulin. An object-oriented database as a dynamic system with implicit state. A. Caplinskas and J. Eder (eds.). Advances in Databases and Information Systems (Proceedings of the 5th East European Conference, ADBIS 2001, Vilnus, Lithuania, September 2001), LNCS, vol. 2151, pp. 239-252.
  5. T.G.Churina, M.Yu.Mashukov, V.A.Nepomniaschy "Towards verification of SDL specified distributed systems: coloured Petri nets approach"// Proc. of Intern. Workshop on Concurrency, Specification and Programming, Warsaw 2001, pp.37-48.
  6. V.E.Kozura "Unfoldings of Coloured Petri Nets" Proc. of Intern. Conf. Perspectives of System Informatics, Lecture Notes in Comp. Sci., v.2244, 2001.
  7. V.L.Selivanov "A logical approach to decidability of hierarchies of regular star-free languages" // Proc. of 18-th Int. Symposium on Theor.Aspects of Computer Science STACS -2001 in Dresden, Lecture Notes in Computer Science, v. 2010, Berlin: Springer, 2001, 539-550.
  8. V.L.Selivanov "Relating automata-theoretic hierarchies to complexity-theoretic hierarchies" Proc. of Conference on Foundations of Computation Theory in Riga, Latvia, Lecture Notes in Computer Science, v. 2138. Berlin: Springer, 2001, 323--334.
  9. M.V.Korovina O. Kudinov, Formalisation of computability of operators and functionals via domain theory, Proc. of CCA, Swansea, Wales, LNCS 2064, 2001, pp. 146- 168.
  10. M.V.Korovina, O.V. Kudinov, Generalised computability and applications to hybrid systems, Proc.of PSI-01, LNCS v.2244, 2001.
  11. Korovina M.V., Kudinov O.V., Semantic characterisations of second-order computability over the real numbers, Psoc.of CSL'01, LNCS 2142, pp 160-172, 2001.
  12. Shilov N.V. Games with Second-Order Quantifiers which Decide Propositional Program Logics. Workshop on Logic and Games, August 19-24, 2001, Helsinki, Finland, 16p.
  13. Shilov N.V. and Yi K. On Expressive and Model Checking Power of Propositional Program Logics. A.P. Ershov 4th International Conference on Perspectives of System Informatics, July 3-6, 2001, Lecture Notes in Computer Science, v.2244.
  14. Shilov N.V. Program Logics: theory and applications. International Conference on Industrial Survival Strategy for Next Generation Information Technology, June 21-22, 2001, Seoul, Korea, Korea Information Processing Society, 2001, p.11-37
  15. I.B. Virbitskaite Characterizing Time Net Processes Categorically // Proc.Conf.on PaCT, Novosibirsk, Lect. Notes Comp. Sci. -- 2001. -- Vol. 2127. -- P. 128--141.
  16. Moskaleva N.S., I.B. Virbitskaite. On the Category of Event Structures with Dense Time // Proc. of Conference on Foundations of Computation Theory in Riga, Latvia, Lect. Notes Comp. Sci. - - 2001. - - Vol. 2138. -- P. 287--298.
  17. I.B. Virbitskaite. An Observation Semantics for Timed Event Structures // Proc. Andrei Ershov Fourth International Conference "PERSPECTIVES OF SYSTEM INFORMATICS", 2001, LNCS, v.2244.
  18. Kasyanov V.N. A support tool for annotated program manipulation // Proc. of Fifth European Conf. on Software Maintenanence and Reengineering, IEEE Computer Society Press - 2001. - P. 85-94.
  19. Kasyanov V.N. Support tools for graphs in computer science education // Proc. of IEEE International Conference on Advanced Learning Technologies, IEEE Computer Society Press, 2001, P. 307-308.
  20. Касьянов В.Н. Курс программирования на Паскале в заданиях и упражнениях // Телематика'2001. Труды Международной научно-практической конференции - Санкт-Петербург, ИТМО, 2001. - с.103-104.
  21. Kasyanov V.N. Support tools for graphs in computer science and computer education // Telematica-2001. Proceedings of International Conference on Telematics and Web-based Education. International Volume. - St.Peterburg, IFMO, 2001. - P. 86-88.
  22. Kasyanov V.N. Methods and tools functional programming and supercomputing // Telematica-2001. Proceedings of International Conference on Telematics and Web-based Education. International Volume. - St.Peterburg, IFMO, 2001, - P. 55-56.
  23. Касьянов В.Н. Проблемы обучения информатике и программированию // Новые информационные технологии в региональной инфраструктуре и образовании (НИТРИО-2001): Материалы IV международной научно-методической конференции.- Астрахань: Изд-во АГТУ, 2001, С. 128-131.
  24. Касьянов В.Н. Вопросы обучения информатике и программированию //Информационные технологии в науке и образовании (МКИТО-2001): Международная научно-практическая конфуренция: Сборник материалов. - Шахты: Изд-во ЮРГУЭС, 2001, C. 13-14
  25. Касьянов В.Н. Вопросы преподавания информатики в вузах //Информационные технологии в образовании (ИТО-2001): Материалы XI Международной научно-практической конференции.
  26. О.И. Россеева, Ю.А. Загорулько. Организация эффективного поиска на основе онтологий. // Труды международного семинара Диалог'2001 по компьютерной лингвистике и ее приложениям. - Т.2. -Аксаково, 2001. -с.333-342.
  27. Ю.А. Загорулько, О.И. Россеева, Л.И. Гладкова. Применение онтологий для поиска информации в Интернет. // Труды III-й международной конференции "Проблемы управления и моделирования в сложных системах" - Самара: Самарский Научный Центр РАН, 2001. -С. 503-508.
  28. Yakhno T. "Subdefinite Models and Constraint Programming". Book of Abstracts. International Conference on Mathematical Modeling and Scientific Computing. April 2-6, 2001. Ankara. Turkey.
  29. Загорулько Ю.А., Гадицкий Р.В. Реактивный подход к анализу информации // Сборник трудов конференции, посвященной 90-летию со дня рождения А.А. Ляпунова, Россия, Новосибирск, Академгородок, 8-11 октября 2001 года, Новосибирск, 2001, -с.216-220.
  30. Городняя Л.В., Калинина Н.А. Интегрированная информационная среда для поддержки обучения системному и высокопроизводительному программированию. Новые информационные технологии в университетском образовании, Новосибирск, 2001, с.140-141.
  31. Калинина Н.А. Костюкова Н.И., Кудинов А.Е. Частное решение проблем перехода к объектно-ориентированным или проектно-информационным моделям обучения. Новые информационные технологии в университетском образовании, Новосибирск, 2001, с.71-75.
  32. Калинина Н.А. Методы и средства проектирования систем компьютерной алгебры как компоненты в моделях активного обучения программированию. TELEMATICA'2001 http://risbank.spb.ru/tm2001
  33. Городняя Л.В., Калинина А.П., Калинина Н.А. О возможностях информационно-образовательных сред с элементами компьютерной алгебры и их применение для обучения. Перспективы систем информатики, тр. IV межд. Конф. Памяти ак. А.П.Ершова, Новосибирск, 2001, с.27-28.
  34. Калинина Н.А., Костюкова Н.И. Дидактические аспекты преподавания  информатики. Перспективы систем информатики, тр. IV межд. Конф. Памяти ак. А.П.Ершова, Новосибирск, 2001, с.27-28.
  35. Калинина Н.А., Прудников Д.М. Система Jfabula - реализация на JAVA. Перспективы систем информатики, тр. IV межд. Конф. Памяти ак. А.П.Ершова, Новосибирск, 2001, с.50-51
  36. Калинина Н.А., Костюкова Н.И. Решение сложных задач как метод обучения программированию Информационные технологии в науке, образовании, телекоммуникации, бизнесе. Тр. Межд. Конференции IT+SE'2001Крым, май, 2001г. с.230-232
  37. Городняя Л.В., Калинина Н.А., Костюкова Н.И. О соотношении кибернетики, математики и психологии. Информационные технологии в науке, образовании, телекоммуникации, бизнесе. Тр. Межд. Конференции IT+SE'2001Крым, май, 2001г. с.230-232
  38. Калинина Н.А., Костюкова Н.И. Создание новой информационной технологии в среде C++,  JAVA  на базе вычисления группы, допускаемой дифференциальными уравнениями. Информационные технологии в науке, образовании, телекоммуникации, бизнесе. Тр. Межд. Конференции IT+SE'2001 Крым, сентябрь, 2001г. с.79-81
  39. Волкова Т.А., Соседкина Н.В. Примеры практических заданий на применение школьниками 5-7 классов информационных технологий// Материалы международной научно-методической конференции «Новые информационные технологии в университетском образовании» 6-8 июня 2001 г. Новосибирск, Стр. 159.
  40. Городняя Л.В., Соседкина Н.В. Особенности преподавания информатики на психологическом факультете//Материалы IV международной конференции «Перспективы систем информатики» - Новосибирск, 2001. - С. 31-33
  41. Андреева Т.А. "Структура и классификация текстов задач" // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с. 10-11.
  42. Водопьянова Н.С., Тихонова Т.И. "Стиль подготовки и проведения конкурсов по информатике". // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с. 17.
  43. Тихонова Т.И. "Физкультура и спорт информатики" // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с86.
  44. Тихонова Т.И. "Информатика в школе - одна, но такая разная" // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с87.
  45. Берс А.А. К анализу семантики базисных понятий информатики // Сборник трудов конференции, посвященной 90-летию со дня рождения А. А. Ляпунова, Новосибирск, 2001, - ws/Lyap2001/2199 htm.
  46. Берс А.А. Информатика как гуманитарная наука // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с14.
  47. Городняя Л.В., Дудышева Е.В. Перспективы развития функциональных возможностей сред и их использование для обучения детей основам информатики. // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с26.
  48. Городняя Л.В., Мурзин Ф.А. Психология для программистов. // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с29-30.
  49. Городняя Л.В., Гришин В.В., Квасов Н.А., Коваль С.Е., Леонов К.В. Проект интегрированной среды обучения программированию. // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с.24-25
  50. Берс А.А., Городняя Л.В., Марчук А.Г. О школьных командных олимпиадах по программированию // IV Международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» секция «Школьная информатика», Доклады и тезисы, Новосибирск, 2001, - с. 96-99
  51. Telerman V. Using Constraint Solvers in CAD/CAM Systems // Perspectives of System  Informatics: Preliminary Proceedings. Novosibirsk, Russia. - 2001. - P. 234-239.