Публикации сотрудников
Института систем информатики им. А.П. Ершова СО РАН
1998 год

Монографии

  1. Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки бесконтурных графов. - Новосибирск: Наука. -1998.

Центральная печать

  1. Бояршинов В.А. Реберная и тотальная раскраска интервальных графов // Исследование операций и дискретный анализ. – 1998. . – Том 5. -N 4. – С.18–24.
  2. Вирбицкайте И.Б., Быстров А.В. Автоматический анализ и верификация распределенных систем реального времени // Тр. Междунар. конф. "Распределенная обработка информации". – Новосибирск, 1998. – С.236–240.
  3. Диненберг Ф.Г., Загорулько Ю.А., Жигалов М.А., Левин Д.Я., Попов И.Г. Разработка системы речевого взаимодействия с интеллектуальным роботом // Тр. Междунар. семинара "Диалог'98" по компьютерной лингвистике и ее приложениям. – Казань, 1998. – С.781–794.
  4. Диненберг Ф.Г., Загорулько Ю.А., Жигалов М.А., Левин Д.Я., Попов И.Г. Система речевого управления интеллектуальным роботом // Тр. шестой нац. конф. по искусственному интеллекту (КИИ'98). – Пущино. –1998. – С.503–509.
  5. Загорулько Г. Б., Сидоров В. А., Телерман В. В., Ушаков Д. М. NeMo+: Объектно-ориентированная система программирования в ограничениях на основе недоопределенных моделей // Там же. – С.524–530.
  6. Загорулько Г.Б., Сидоров В.А., Тарасевич В.В. Решение задач потокораспределения в сетях средствами системы NeMo+. //Там же. – С.312–318.
  7. Загорулько Ю.А., Мирзаева Э.М., Попов И.Г. Разработка расширяемого симулятора робота средствами интегрированной программной среды // Там же. – С.373–379.
  8. Загорулько Ю.А., Попов И.Г. Подход к разработке языка представления знаний, использующего динамическое множество ограничений // Тр. шестого междунар. семинара "Распределенная обработка информации". – Новосибирск. –1998. – С.323–327.
  9. Касьянов В.Н., Евстигнеев В.А., Малинина Ю.В., Бирюкова Ю.В., Маркин В.А., Харитонов Э.В., Цикоза С.Г. Поддержка супервычислений и интернет-ориентированные технологии // Там же. – С.410–414.
  10. Катков С.И., Поттосин И.В. Система параллельного программирования, основанная на языке СуперПаскаль // Там же. – С.127–131.
  11. Кауфман А.В., Черноножкин С.К. Критерии тестированности и система оценки полноты набора тестов // Программирование. – 1998. – N 6. – С. 44-59.
  12. Костов Ю.В. Восприятие как основа образования понятий в моделировании мыслительной деятельности человека // Тр. шестой нац. конф. по искусственному интеллекту (КИИ'98). – Пущино, 1998. – С.676–690.
  13. Костов Ю.В. Комплексный подход к моделированию мыслительной деятельности человека // Там же. – С.84–95.
  14. Куксенко С.В., Шелехов В.И. Статический анализатор семантических ошибок периода исполнения // Программирование. – 1998. – N 6. –С. 27-40.
  15. Малюх В.Н. bCAD в руках инженера // САПР и графика. – 1998 – N 9. –С.30–35.
  16. Малюх В.Н. bCAD образца 1998 года // САПР и графика. – 1998. – N 4. – С.28-32.
  17. Малюх В.Н. Получение реалистичных изображений в bCAD // САПР и графика. – 1998. – N 6. – С.40–43.
  18. Малюх В.Н. Программируем САПР на JAVA // САПР и графика. – 1998. – N 11. – С.36–40.
  19. Малюх В.Н. Система bCAD для проектных и дизайнерских работ // PC Week (русское издание). – 1998. – N 14. – С.26–28.
  20. Нариньяни А.С., Корниенко В.В., Прейс С.В.,Швецов И.Е. ФинПлан: новая технология финансово-экономического планирования в условиях неполноты информации // Информационные технологии. – 1998. – N 11. – С.11–19.
  21. Нариньяни А.С., Телерман В.В., Ушаков Д.М., Швецов И.Е. Программирование в ограничениях и недоопределенные модели // Информационные технологии. – 1998. – N 7. – С. 13–22.
  22. Нестеренко Т.В., Прейс С.В., Старовит С.А., Швецов И.Е. Разработка динамических мультиагентных систем в рамках технологии активных объектов // Тр. шестой нац. конф. по искусственному интеллекту (КИИ'98). – Пущино. –1998. – С..76–83.
  23. Окунишникова Е.В. Временные сети Петри без перекрытий интервалов срабатываний // Программирование. – 1998. – N 5. – С.15–30.
  24. Петров Е.С. Интеграция недоопределенных моделей в систему ECLiPSe // Тр. шестой нац. конф. по искусственному интеллекту (КИИ'98). – Пущино. –1998. – С.355–360.
  25. Петров Е.С. Опыт интеграции логического программирования и программирования в ограничениях // Программирование. – 1998. – N 3. – С.40–49.
  26. Поттосин И.В. Добротность программ и информационных потоков // Открытые системы. – 1998. – N 6. – (В печати).
  27. Смердина Г.В. MARS - многоагентная активно-реактивная система // Тр. шестой нац. конф. по искусственному интеллекту (КИИ'98). – Пущино. –1998. – С.59–65.
  28. Тарасюк И.В. Понятия эквивалентностей для разработки параллельных систем с использованием сетей Петри // Программирование. – 1998. – N 4. –С. 40-48.
  29. Тарасюк И.В. Эквивалентности сетей Петри для анализа параллельных систем // Молодые дарования – 97: Сб. ст. победителей Всерос. конкурса. – М., 1998. – С.30–36.
  30. Телерман В.В., Ушаков Д.М. Удовлетворение ограничений в задачах математического программирования // Вычислительные технологии. – 1998. – Т. 3. -N 2. – С.45–54.
  31. Уваров Д.Л. Оптимальный алгоритм чистки регулярных гамаков // Программирование. – 1998. – N 2. – С.68–80.
  32. Швецов И.Е., Нестеренко Т.В., Старовит С.А.. ТАО технология активных объектов для разработки многоагентных систем // Информационные технологии и вычислительные системы. – 1998. – N 1. – С. 35-44.
  33. Яхно Т.М., Строц А.О. Подход к интеграции нейросетевых и генетических методов искусственного интеллекта // Тр. шестого междунар. семинара "Распределенная обработка информации". – Новосибирск. –1998. – С.348–352.
  34. Anureev I.S., A method for simplification procedures design based on formula rewriting system // Joint Bull. of NCC and IIS. Ser. Comput. Sci. – 1998. – N 8.– P.1–18.
  35. Churina T.G., Okunishnikova E.V. Modeling ESTELLE Specifica tions using coloured Petri nets // Ibid. – P.19–38.
  36. Kouzminov T.V. XDS–COM – A COM binding for Oberon–2 and Modula–2 // Ibid. – P.39–56.
  37. Virbitskaite I.B., Tarasyuk I.V., Equivalence notions and refinement for timed Petri nets // Ibid. – P.57–80.
  38. Zagorulko Yu.A, Popov I.G. Knowledge representation language based on the integration of production rules, frames and a subdefinite model. // Ibid. – P.81–100.
  39. Zamulin A.V. Algebraic specification of constant and variable odjects // Ibid. – P.101–127.

Зарубежная печать

  1. Боженкова Е.Н. Эквивалентностные понятия для структур событий с реальным временем // Тр. первой междунар. конф. по теории и практике программирования (UkrPROG'98). Proc. 1-st. Int. Conf. in Programming, Sept. 2-4, 1998. – Kiev, Ukraine. – P.103–110.
  2. Любимский Э.З., Поттосин И.В., Шура-Бура М.Р. От программирующих программ к системам программирования (российский опыт) // Комп’ютеры у Европi. Минуле, Сучасне та майбутнэ: Працi. – Киев, 1998. – С.72–78.
  3. Покозий Е.А. Анализ поведения параметрических временных сетей Петри // Тр. первой междунар. конф. по теории и практике программирования (UkrPROG'98). Proc. 1-st. Int. Conf. in Programming, Sept. 2-4, 1998. – Kiev, Ukraine. – P.111–119.
  4. Поттосин И.В. А.П.Ершов и становление новосибирской школы программирования // Комп’ютеры у Европi. Минуле, Сучасне та майбутнэ: Працi. – Киев. –1998.– С.100–107.
  5. Gaudel M.-C., Khour C., Zamulin A. Dinamic systems with Omplicit state. –RR N 1179, LRI, Universite de Paris-Sud, 1998.
  6. Kasyanov V.N. Iterative switching networks // Proc. of the 2nd IMACS Intern. Conf. Circuits, Systems and Computers (IMACS-CSC'98). – 1998. –Vol.2. – P.843–847.
  7. Kasyanov V.N. Iterative switching networks // Recent Advances in Information Science and Technology. – London: World Scientific, 1998. – P.68–72.
  8. Nepomniaschy V.A., Alekseev G.I., Bystrov A.V., Churina T.G., Mylnikov S.P., Okunishnikova E.V. Towards verification of Estelle-specified communication protocols: coloured Petri net approach // Proc. Intern. Conf. on Parallel Computing in Electrical Engineering (PARELEC'98). – Poland, Techn. Univ. of Bialystok, 1998. – P.141–146.
  9. Nepomniaschy V.A., Alekseev G.I., Bystrov A.V., Churina T.G., Mylnikov S.P., Okunishnikova E.V. EPV - Petri net based Estelle protocol verifier // Proc. 1-st Intern. Workshop on the Formal Description Technique Estelle. – France, 1998. – P.101–109.
  10. Pokozy E.A. Towards behaviour analysis of parametric time Petri nets // Proc. Intern. Workshop on Discrete Event Systems (WODES'98), August 1998, Cagliari, Italy. – London: The IEE Publisher, 1998. – P.518–519.
  11. Tarasyuk I.V. Place bisimulation equivalences for design of concurrent systems // Proc. MFCS’98 Workshop jn Concurrency, FIMU Rep. Ser., FIMU-RS-98-06. – Brno: Marasyk Univ., 1998. – P.184–198.
  12. Tarasyuk I.V. Tau-equivalences and refinement // Proc. Intern. Refinement Workshop and Formal Methods Pacific-98 (IRW/FMP'98). Work-in-Progress Papers. – Canberra: Australian National Univ., 1998. – (Joint Comput. Sci. Tech. Rep., Ser. TR-CS-98-09).
  13. Telerman V., Lipski S., Ushakov D. Object-oriented constraint-based database Processing // Intern. Conf. on Practical Application of Constraint Technology (PACT'98). – London. -1998.
  14. Telerman V., Ushakov D, Lipski S. Knowledge processing based on subdefinite models // Proc. 4th Intern. Conf. on Information Systems Analysis and Synthesis, Orlando-Florida, July 12-16, 1998.
  15. Telerman V., Ushakov D. Constraint satisfaction techniques for mathematical programming problems // Intern. Conf. Interval Methods and their Application in Global Optimization (INTERVAL'98). April 20 - 23, 1998. Nanjing. China.
  16. Ustimenko A.P. Coloured cause-effect structures // Information Processing Letters. – 1998. – Vol. 68, N 5.
  17. Ustimenko A.P. Coloured cause-effect structures // Proc. Workshop on Concurrency, Specification and Programming (CS&P'98). – Berlin: Humboldt Univ., 1998. – P.257–267. – (Informatik-Bericht; N 110).
  18. Virbitskaite I.B. On the semantics of Concurrency and Nondeterminism: Bisimulations and temporal logics // Proc. MFCS'98 Workshop on Concurrency, FI MU Report Ser., FIMU-RS-98-06. – Brno: Masaryk Univ. -1998. – P.199–209.
  19. Virbitskaite I.B., Bystrov A.V. RT-Mec: a tool for validation and verification of Petri nets with time parameters // Proc. Intern. Workshop on Discrete Event Systems (WODES'98), 1998, Cagliari, Italy. – London: The IEE Publisher, 1998.
  20. Virbitskaite I.B., Pokozy E.A. A partial order algorithm for verifying time Petri nets // Ibid. – P.514–517.
  21. Yakhno T., Petrov E. Constraint programming for knowledge representation // Knowledge-Based Software Engineering / Ed. By P. Navrat, H.Ueno: Proc. 3rd Joint Conf., Smolenice, Slovakia. – Amsterdam: IOSPess, 1998. – P.116–123.
  22. Zagorulko Yu.A., Popov I.G. Object-oriented language for knowledge representation using dinamic set of constraints // Ibid. – P.124–131.
  23. Zamulin A.V. Dinamic system specification by typed gurevich mashines // Proc. Int. Conf. On Systems Science. – Wroclaw. -Poland. -1998.
  24. Zamulin A.V. Object-oriented abstract state mashines // Proc. Intern. Workshop on Abstract State Mashines. – Magdeburg. -Germany. -1998.
  25. Zamulin A.V. Program specification by typed gurevich mashines // Proc. Estonian Acad. Sсi., Math. – 1998. – Vol. 47, N 3. – P.162–173.

Местные издания

  1. Ануреев И.С. Применение систем переписывания формул в автомати-ческой верификации программ.– Новосибирск, 1998. – 47 с. – (Препр./ Сиб. отд-ние РАН. ИСИ; N 55).
  2. Ануреев И.С. Теория систем переписывания формул.– Новосибирск, 1998. – 35 с. – (Препр. / Сиб. Отд.-ние РАН. ИСИ; N 54).
  3. Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул– Новосибирск. -1998. – 43 с. – (Препр. / Сиб. Отд-ние РАН. ИСИ; N 53).
  4. Бульонков М.А. Диаспора НГУ // Ресурсы Интернет для образования, здравоохранения, культуры, обучения менеджменту и развития гражданского общества. – Новосибирск, 1998. – С.31–33.
  5. Бульонков М.А., Кочетов Д.В. Визуализация свойств программ. – Новосибирск, 1998. – 38 с. – (Препр./Сиб.отд-ние РАН. ИСИ; N 51).
  6. Загорулько Г., Сидоров В., Телерман В., Ушаков Д., Швецов И. Обстановка для программирования в ограничениях на основе недоопределенных моделей NeMo+ (язык, архитектура, интерфейс): Научно-технич. отчет N 7 / Российский НИИ искусственного интеллекта, ИСИ им. А.П. Ершова СО РАН. – Москва–Новосибирск, 1998. – 107с.
  7. Малюх В.Н. Компьютерное проектирование интерьеров // Интерьер. – 1998 – N 2. – С.9.
  8. Непомнящий В.А., Алексеев Г.И., Быстров А.В., Куртов С.А., Мыльников С.П., Окунишникова Е.В., Чубарев П.А., Чурина Т.Г. Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри. – Новосибирск: ИСИ СО РАН. -1998. – 140 с.
  9. Рязанов А.Е. Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств. – Новосибирск, 1998. – 42 с. – (Препр./ Сиб. Отд-ние РАН. ИСИ; N 50).
  10. Черноножкин С.К. Средства профилирования программ в системе СОКРАТ. – Новосибирск. -1998. – 20 с. – (Препр./ Сиб. Отд-ние РАН. ИСИ; N 48).
  11. Чурина Т.Г. Способ построения раскрашенных сетей Петри, моделирующих SDL–системы. – Новосибирск. -1998. – 42 с. – (Препр./ Сиб. Отд-ние РАН. ИСИ; N 56).
  12. Ushakov D.M. Some formal aspects of subdefinite models. – Novosibirsk, 1998. – 24 p. – (Prepr./Siberian Div. Rus. Academ. Sci. IIS; N 49).

Тезисы конференций

  1. Андреева Т.А. О проблеме накопления результатов методических разработок школьных педагогов // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.40.
  2. Ануреев И.С. Системы переписывания формул и их применение в автоматической верификации программ // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.21.
  3. Берс А.А., Городняя Л.В., Калинина Н.А., Поляков В.Г. Новые ориентиры общеобразовательной информатик // Новые информационные технологии в университетском образовании: Материалы междунар. научно-методич. конф. – Новосибирск: НИИ МИОО НГУ. 1998. – С.94–95.
  4. Бодин Е. В. Анимация выполнимых спецификаций языка REAL // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.38.
  5. Бояршинов В.А. Реберная раскраска интервальных графов // Материалы Сиб. конф. по исследованию операций. - Новосибирск: Ин-т математики СО РАН, 1998. – С. 73.
  6. Городняя Л.В., Калинина Н.А. Базовые подходы – новые аспекты преподавания информатики // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.40.
  7. Городняя Л.В., Мурзин Ф.А. Об опыте преподавания спецкурса "Психология в программировании" // Новые информационные технологии в университетском образовании: Материалы междунар. научно-методич. конф. – Новосибирск: НИИ МИОО НГУ. 1998. – С.70.
  8. Городняя Л.В., Мурзин Ф.А. О преподавании спецкурса "Психология в программировании" // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.45.
  9. Городняя Л.В., Харитонов Э.В. Вопросы применения ОС Linux в школе и других образовательных учреждениях // Методы прикладной математики и информационные технологии в междисциплинарных исследованиях и проектах. – Омск, филиал ин-та математики СО РАН, 1998. – С.61.
  10. Денисова Ю.К., Кривошей Е.Н. Подход к применению новых информационных технологий в труде школьного преподавателя // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.54–55.
  11. Загорулько Ю.А. Использование языка Пролог для обучения основам информатики и программирования // Там же. – С.103–104.
  12. Загорулько Ю.А., Попов И.Г. Интеграция методов программирования в ограничениях с технологией баз данных // Там же. – С.41.
  13. Загорулько Ю.А., Попов И.Г., Тарасевич В.В. Применение интегрированной среды SemP-TAO в преподавании курса САПР // Там же. – С.36.
  14. Калинина Н.А. Среда и средства обеспечения символьно-численого взаимодействия, обеспечиваемые компьютерными алгебрами // Там же. – С.104.
  15. Касьянов В.Н., Евстигнеев В.А., Малинина Ю.В., Бирюкова Ю.В., Маркин В.А., Харитонов Э.В., Цикоза С.Г. Поддержка супервычислений и интернет-ориентированные технологии // Там же. – С.162.
  16. Касьянов В.Н., Евстигнеев В.А., Малинина Ю.В., Бирюкова Ю.В., Маркин В.А., Харитонов Э.В., Цикоза С.Г. Средства поддержки супервычислений // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998.– С.36.
  17. Касьянов В.Н., Лисицын И.А. Вопросы инструментальной поддержки визуальной обработки иерархических графовых моделей // Там же. – С.36.
  18. Касьянов В.Н., Лисицын И.А. Методы и средства визуальной обработки иерархических графовых моделей // Новые информационные технологии в университетском образовании: Материалы междунар. научно-методич. конф. – Новосибирск: НИИ МИОО НГУ. 1998. – С.135.
  19. Касьянов В.Н., Несговорова Г.П. Вопросы информационной поддержки научных исследований и преподавания гуманитарных дисциплин // Там же. – С.78.
  20. Катков С.И., Рубан Е.Ю. Система параллельного программирования на основе языка СуперПаскаль // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.50–51.
  21. Кашеварова Т.П., Семенов А.Л., Швецов И.Е. Моделирование динамических процессов методом недоопределенных вычислений // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.16.
  22. Кирпотина Н.А. Модель процесса принятия решений и соответствующая классификация типов личности // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.41.
  23. Козюра В. Е., Шилов Н. В. Проблемно-ориентированная верификация спецификаций распределенных систем // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.44.
  24. Куксенко C.В., Шелехов.В.И. Статический анализатор семантических ошибок периода исполнения // Там же. – С.45.
  25. Мурзин Ф.А., Проскуряков В.А. Из истории отечественной информатики // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.46.
  26. Покровский С.Б.,.Степанов Г.Г. Гипертекстовая среда разработки программ и документов // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С. 48.
  27. Попов И.Г. Компьютерная поддержка курса "Инженерия знаний" // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.36.
  28. Поттосин.И.В. Об организованности потока данных в программах // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.48–49.
  29. Рязанов А. В. Комбинирование дедуктивных процедур и управление поиском в системе Буцефал // Там же. – С.49.
  30. Соседкина Н.В. Разработка практических заданий по информатике для учеников начальных классов // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.44.
  31. Строц А.О. Интегрированная нейросетевая оболочка инженера знаний // Там же. – С.83.
  32. Сычев Н.А., Панин Л.Г., Яхно Т.М., Алсынбаева Л.Г. Подготовка специалистов по гуманитарной информатике // Новые информационные технологии в университетском образовании: Материалы междунар. научно-методич. конф. – Новосибирск: НИИ МИОО НГУ. 1998. – С.114.
  33. Тарасюк И.В. Equivalences for analysis of concurrent systems modelled by Petri nets wiyh silent transitions // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.22.
  34. Телерман В.В., Ушаков Д.М., Липский С.В., Сидоров В.А. Merging constraint programming paradigm with database processing // Там же. – С.23.
  35. Тихонова Т.И. Применение языка Рапира для углубленного обучения программированию // Тез. IX Междунар. конф. "Применение новых технологий в образовании". – Троицк, 1998. – С.43.
  36. Устименко А.П. Причинно-следственные структуры с цветными фишками // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.22.
  37. Черноножкин С.К. Методы оценки тестированности программ // Там же. – С. 52.
  38. Швецов И.В., Нестеренко Т.В., Прейс С.В., Старовит С.А. Разработка распределенных динамических систем с помощью технологии активных объектов // Там же. – С.53.
  39. Kalinina N.A., Hegaj J. The main transformation problem in the FABULA-system// Там же.– С. 20.
  40. Kasyanov V.N. Graph methods in program construction and optimization // Seventh Intern. Colloquim on Numerical Analysis and Computer Science with Applications. Abtracts of Invited Lectures and Short Communications. – Plovdiv, 1998. – P.62.
  41. Kasyanov V.N. Hierarchical graphs and visual processing // Intern. Congress of Mathematicians (ICM98). Abstracts of Short Communications and Poster Sessions. – Berlin, 1998. – P.292.
  42. Zamulin A.V. Dinamic system modelling by typed Gurevich machines // Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ–98), посвященный памяти С.Л.Соболева (1908–1989): Тез. докл. – Новосибирск: Ин-т математики, 1998. – С.57.

Электронные публикации

  1. Берс А.А., Городняя Л.В., Ефимович И.В., Поляков В.Г. Преподавание информатики в контексте ИНФОструктуры образования. // Новые информационные технологии в университетском образовании: Материалы междунар. научно-методич. конф. – Новосибирск: НИИ МИОО НГУ, 1998. http://www.nsu.ru/win/nit97.
  2. Берс А.А., Городняя Л.В., Калинина Н.А., Поляков В.Г. Информатика в контексте инфоструктуры образования // Тез. конф. ТЕЛЕМАТИКА'98, г. С.-Петербург (секционные доклады), http://www.runnet.ru/tm98/thes_ull.htm
  3. Вшивков В.А., Лобив И.В., Мурзин Ф.А. Параллельный алгоритм на основе PIC-метода для расчета задачи о взаимодействии потоков плазмы // Вычислительные технологии 98, Междунар. конф., ИВТ СО РАН, 1998, http://www.ict.nsc.ru
  4. Дылыков Ж.Л.-Д., Коста П.Дж., Мурзин Ф.А. Численное моделирование некоторых нелинейных процессов в эпидемиологии // Вычислительные технологии 98, Междунар.конф., ИВТ СО РАН, 1998, http://www.ict.nsc.ru
  5. Лобив И.В., Мурзин Ф.А. Исследование вопросов, связанных с распараллеливанием PIC - метода // Вычислительные технологии 98, Междунар. конф., ИВТ СО РАН, 1998, http://www.ict.nsc.ru
  6. Лобив И.В., Мурзин Ф.А. О распараллеливании метода дискретных вихрей // Модели и численные методы в динамике вязкой жидкости, Междунар. конф. ИВТ СО РАН. 1998. http://www.ict.nsc.ru
  7. Поляков В.Г., Харитонов Э.В. Обстановка <КЕНТАВР>//Тез. конф. ТЕЛЕМАТИКА'98 г. С.-Петербург (секционные доклады). http://www.runnet.ru/tm98/thes_ull.htm.
  8. Emelianov.P.G. Snake-in-the-Box: known values, bounds, and bibliography. URL: http://www.iis.nsk.su/Persons/Short/bib-snake.html 1998.
  9. Shilov N. SProc as declarative semantics for BUCEFAL. Abstracts of Australian Association for Logic Conference-98, http://www.mq.edu.au/~phildept/aal98/papers.html.
  10. Virbitskaite I.B. On the semantics of concurrency and nondeterminism: bisimulations and temporal logics. Electronic Notes in Theoretieal Computer Science, vol.18.1998 URL: http://www.elsevier.nl/locate/entes/volume18.html

  Далее

Webmaster
Обратная связь

© 1999 Institute of Computational Technologies SB RAS, Novosibirsk
    Last update: Tuesday, 01-Jun-1999 16:57:00 NOVST