Публикации

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

Монографии

  1. Городняя Л.В. Основы функционального программирования // Серия "Основы информационных технологий". Курс лекций. - М.:Интернет-Университет Информационных Технологий, 2004. - 272 С.

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

  1. Anureev I. S. Unified semantic language: syntax, semantics, and pragmatics // Joint Bulletin of NCC&IIS. Ser.: Comput Sci. - 2004. - № 20. - P. 1-30.
  2. Bozhenkova E. N. Timed testing for dense timed model  // Joint Bulletin of NCC&IIS. Ser.: Comput Sci. - 2004. - № 20. - P. 31-48.
  3. Kouzmin E. V., Shilov N. V.  Sokolov V. A. Model checking μ-calculus in well-structured transition systems // Joint Bulletin of NCC&IIS. Ser.: Comput Sci. - 2004. - № 20. - P. 49-60.
  4. Nepomniaschy V. A., Anureev I. S., Dubranovsky I. V., Promsky A.V.  A three-level approach to C # program verification // Joint Bulletin of NCC&IIS. Ser.: Comput Sci. - 2004. - № 20. - P. 61-86.
  5. Ryzhov V. S., Rabinovich L. R. Integrated enterprise-level security solution «Vostok» // Joint Bulletin of NCC&IIS. Ser.: Comput Sci. - 2004. - № 20. - P. 87-96.
  6. Tarasyuk I. V. Logical characterization of probabilistic τbisimulation equivalences // Joint Bulletin of NCC&IIS. Ser.: Comput Sci. - 2004. - № 20. - P. 97-112.
  7. Zamulin A. V. Algebraic semantics of an imperative programming language as a compiler abstract model  // Joint Bulletin of NCC&IIS. Ser.: Comput Sci. - 2004. - № 20. - P. 113-128.
  8. Винокуров А.А., Ильин И.В., Мурзин Ф.А., Семич Д.Ф. Расчет коэффициента нефтенасыщенности по данным, полученным аппаратурой ИНГК-С-95 ЗСК «тюменьпромгеофизика» // КАРОТАЖНИК ― Научно-технический вестник, (Министерство природных ресурсов РФ, Ассоциация научно-технического и делового сотрудничества по геофизическим исследованиям и работам в скважинах, Евро-Азиатское геофизическое общество). - 2004. - № 12-13 (125-126) - С. 41- 46.
  9. Загорулько Ю.А., Кононенко И.С., Сидорова Е.А., Костов Ю.В. Подход к интеллектуализации документооборота //  Информационные технологии. - 2004. - № 11. -  С. 2-11.
  10. Калинина Н.А. Компьютерная алгебра в активном обучении программированию //  Вычислительные технологии. Серия "математика, механика, информатика".-  Т. 9, ч. 2. -  2004. -  С. 296-299.
  11. Касьянов В.Н, Касьянова Е.В. Дистанционное обучение: методы и средства адаптивной гипермедиа // Вычислительные технологии / Спец. выпуск по материалам Междунар. конф. ВИТ-2004. - 2004. - Т.9, ч. 2. - С. 333-341.
  12. Kasyanov V.N., Nesgovorova G.P., Volyanskaya T.A. SVM - Siberian virtual museum of informatics history // Вычислительные технологии, Спец. выпуск по материалам Междунар. конф. ВИТ-2004. - 2004. - Т.9, ч. 1. - С. 59-65.
  13. Калинина Н.А., Костюкова Н.И. Решение сложных задач как метод обучения психологии //  Успехи  современного естествознания. - 2004. -  N 5. - С. 297-299.
  14. Коростелева А.А., Соседкина Н.В. Информатизация образовательного пространства гимназии: много вопросов и несколько ответов // Педагогическое обозрение. - 2004. - № 39. - С. 8-9.
  15. Костюкова Н.И., Калинина Н.А. "Об одном подходе к созданию математических моделей и его применению  к оценке дидактической эффективности обучающих систем  // Сб. трудов «Информационные и математические технологии». - Иркутск: Институт Систем энергетики им. Л.А. Мелентьева СО РАН,  2004. - С. 286-291.
  16. Мельников Л.С. Семейства плоских 4-однородных 4-критических графов // Дискретный анализ и исследование операций. Серия 2. - 2004. - Т. 11, № 1. - С.79-115.
  17. Непомнящий В.А., Ануреев И.С., Михайлов И.Н., Промский А.В. Ориентированный на верификацию язык C-light // Системная информатика. - Новосибирск: Издательство СО РАН, 2004. - Вып. 9. - С.51-134.
  18. Селиванов В.Л. Булевы иерархии разбиений над редуцируемой базой // Алгебра и логика. - 2004. -Т. 43, № 1. - С. 77-109.
  19. Селиванов В.Л. Разностная иерархия в фи-пространствах  // Алгебра и логика. - 2004. - Т. 43, № 4. - С. 425-444.
  20. Сидорова Е.А. Интеллектуальная обработка документов // Искусственный интеллект. -  2004. - №4. - С. 738-747.
  21. Соседкина Н.В. Применение диалоговых методик в процессе обучения информатике школьников // Межвузовский сб. научных трудов "Математика и информатика: наука и образование". - Омск: ОмГПУ, 2004. - ( В печати). -  Вып. 4.
  22. Тарасюк И.В. Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов // Системная информатика. - Новосибирск: Издательство СО РАН,  2004. - Вып. 9. - С. 135-194.

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

  1. Brinksma, E., Coulson, G., Crnkovic, I., Evans, A., Graf, S., Jonsson, B., Ravn, A., Schnoebelen, P., Terrier, F., Votintseva, A., Jezeqel J.M. Component-based Design and Integration Platforms, Survey carried out for EU ARTIST Roadmapping Project // Selected topics in Embedded Systems Design: Roadmaps for Research. - Project IST-2001-34820 ARTIST / deliverable W1.A2.Y2, May 2004. - P. 32-39.
  2. Garanina N.O., Kalinina N.A. and Shilov N.V. Model Checking   Knowledge, Actions and Fixpoints / Fundamenta Informaticae. - 2004. - Vol. 61. - P.254-280.
  3. Selivanov V.L. Variations on Wadge reducibility. - Siegen, 2004. - 34 p. (Bericht / Inst.  fur Informatik / Univ of Siegen; 01 / 04).
  4. Shilov N.V., Shilova S.O. Etude on theme of Dijkstra // ACM SIGACT News. - 2004. -Vol.35, No.3. -  P.102-108.
  5. Shilov N.V., Yi K. How to find a coin: propositional program logics made easy // Current Trends in Theoretical Computer Science. - 2004. - Vol. 2. - P.181-213.
  6. Virbitskaite I.B., Gribovskaya N.S. Open Maps and Observational Equivalences for Timed Partial Order Models // Fundamenta Informaticae. - 2004. - Vol. 61. - P. 383-399.
  7. Yakhno T., Yilmaz C., Gulsecen S., Yilmaz E. Kidney Allocation Expert System with Case-Based Reasoning // Lect. Notes Comput. Sci. - Vol.3261. - P. 489-498.
  8. Yakhno V., Yakhno T., Kasap M. Explicit Formulas and Library of Images in Electromagnetic Fields for Anisotropic Materials // Lect. Notes Comput. Sci. (To appear).

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

  1. Perspectives of System Informatics: Proc. / 5th Internat. Andrei Ershov Memorial Conf., PSI 2003. Akademgorodok, Novosibirsk, Russia, July 2003 / Ed. by M. Broy, A. V. Zamulin. -    2004. -  572 p. - (Lect. Notes Comput Sci; 2890).
  2. Batura T., Murzin F. Logical Methods for Representing Meaning of Natural Language Texts // Lect. Notes Comput.Sci. - 2004. - Vol. 3038. -  P. 545 -551.
  3. Bulgakov S.V., Sidorova E.A., Zagorulko Yu. A. Ontology-Oriented Multi-Agent Approach to Development of Knowledge Internet Portal // Proc. of the 6th Internat. Workshop on Computer Science and Information Technologies. CSIT'2004. Budapest, Hungary. - 2004. - P. 182-187.
  4. Kasyanov V. Graph-based interactive learning systems // Proc. of World Conf. on Educational Multimedia, Hypermedia & Telecommunications (ED-MEDIA 2004), Lugano, Switzerland. - AACE, 2004. - P.1392-1397.
  5. Kasyanov V. Graph-based interactive learning systems // Proc. of World Conf. on Educational Multimedia, Hypermedia & Telecommunications (ED-MEDIA 2004), Lugano, Switzerland.  Abstracts. - AACE, 2004. - P.68.
  6. Kasyanov V. Hierarchical graph models and tools for visual processing and supercomputing // Proc. of Fourth European Congress of Mathematics «Mathemetics in Science and Technology», Stockholm, Sweden. - EMS Publ. House, 2004. - Vol. 2. -  P.320.
  7. Kasyanov V.N. SVM - Siberian virtual museum of informatics history // Proc. of Fourth Intern. Conf. Internet - Education - Science  (IES-2004), Vinnytsia. - VNTU Press, 2004. - P. 230-233.
  8. Kasianova S.N., Trofimov O.E., Stukalin Yu. A., Zagoruyko A.S., Zhuravel F.A. The relationship  between a virtual x-ray projection quality and a distance of object to a plane in which a source is moving  //  Proc. of the 7th Intern. Conf. on Pattern Recognition and Image Analysis: New Information Technologies (PRIA-7-2004), St.Peterburg. - 2004. -  Vol.3. - P. 944-946.
  9. Kouzmin E.V., Shilov N.V., Sokolov V.A. Model Checking Mu-Calculus in Well-Structured Transition Systems // Proc. of Internat. Symposium on Temporal Representation and Reasoning (TIME'04). - IEEE Press, 2004. - P. 152-155.
  10. Korovina M., Vorobjov N.  Pfaffian Hybrid Systems // Proc. Intern. Conf. on Computer Science Logic (CSL'04). - Lect. Notes Comput. Sci. - 2004. - Vol. 3210. - P. 430-441.
  11. Nepomniaschy V.A., Argirov V.S., Beloglazov D.M., Bystrov A.V., Churina T.G., Mashukov M.Yu., Novikov R.M. Modeling and verification of SDL specified distributed systems using high-level Petry nets // Proc. Workshop on Concurrency, Specification and Programming (CS&P'2004). - Humboldt University, Berlin, Informatik-Bericht. -  170. - P. 100-111.
  12. Selivanov V.L., Wagner K.W. A reducibility for the dot-depth hierarchy // Proc. MFCS-04. -  Lect. Notes Comput. Sci. - 2004. - Vol. 3153. - P. 783-793.
  13. Selivanov V.L. Variations on Wadge reducibility // Proc. VI Int. Workshop on Computability and  Complexity in Analysis. - Uni-Hagen, Informatik Berichte, 320-8. - 2004. - P. 145-156.
  14. Shilov N.V., Garanina N.O., Kalinina N.A. Model checking knowledge, actions and fixpoints // Proc. Workshop on Concurrency, Specification and Programming (CS&P'2004). - Humboldt University, Berlin, Informatik-Bericht 170. - P. 351-357. 
  15. Антонцева М.Ф. Коалгебраическое исследование бисимуляционных параллельных процессов // Тр. Международной  конф. УкрПрог / Проблемы программирования. - 2004. - № 2-3. - С. 47-51.
  16. Боровикова О.И., Булгаков С.В., Загорулько Ю.А., Сидорова Е.А., Холюшкин Ю.П. Концепция интеллектуального интернет-портала знаний для доступа к информационным ресурсам по археологии и этнографии // Тр. VI междунар. конф. "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2004. - С. 215-220.
  17. Булгаков С.В. Подход к построению мульти-агентной системы содержательного поиска во множестве разнородных структурированных источников данных  // Тр. XI национальной конф. по искусственному интеллекту с международным участием, КИИ'2004. - М.: Физматлит, 2004. - Т.2. - С.706-714.
  18. Винокуров А.А., Ильин И.В., Мурзин Ф.А., Семич Д.Ф. Опыт применения аппаратуры ИНГК-С (С/О - каротажа) в зао пго «тюменьпромгеофизика», оптимизация режимов измерения // Междунар. конф. «Портативные генераторы нейтронов и технологии на их основе ».-  Москва, 2004. - С. 1.
  19. Грибовская Н.С. Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей // Тр. международной конф. УкрПрог / Проблемы программирования. -2004. - № 2-3. - C. 16-22.
  20. Городняя Л.В. Структурно-функциональная модель для сравнения языков программирования // Междунар. конф. "Вычислительные и информационные технологии в науке, технике и образовании". -  Алма - Аты,  2004. - С. 137-141.
  21. Дубцов Р.С. Теоретико-категорная характеризация развертки временных сетей Петри // Тр.  междунар. конф. УкрПрог / Проблемы программирования. - 2004. - № 2-3. - C. 30-36.
  22. Загорулько Г.Б. Представление знаний в системе сопровождения курса лечения элементозов // Тр. VI междунар. конф. "Проблемы управления и моделирования в сложных системах".- Самара: Самарский Научный Центр РАН, 2004. -  С. 221-226.
  23. Загорулько Ю.А., Булгаков С.В. Использование онтологий для построения инновационных цепочек в системе поддержки инновационной деятельности в регионе //Тр. VI междунар. конф. "Проблемы управления и моделирования в сложных системах". -  Самара: Самарский Научный Центр РАН, 2004. - С. 328-333.
  24. Загорулько Ю.А., Кононенко И.С., Сидорова Е.А. Концепция интеллектуализации документооборота //Тр. IX национальной конф. по искусственному интеллекту с международным участием, КИИ'2004. - М.: Физматлит, 2004. - Т.3. - С.986-993.
  25. Калинина Н.А. Компьютерная алгебра в активном обучении программированию // Междунар. конф. "Вычислительные и информационные технологии в науке, технике и образовании". - Алма- Аты, 2004. -  С. 296-299.
  26. Калинина Н.А., Костюкова Н.И. Основы построения обучающей системы по существующим методам прогнозирования // Сб. науч. тр. Междунар. научно-технической конф. «Информационные технологии в образовании, технике и медицине». - Волгоград, 2004. - С. 155-161.
  27. Костов Ю.В., Липовой Д.А., Мамонтов П.Г., Петров Е.С.  Новая версия универсального решателя UNICALC: возможности и перспективы развития // Тр. VI междунар.  конф. "Проблемы управления и моделирования в сложных системах".- Самара: Самарский Научный Центр РАН, 2004. - С. 183-189.
  28. Костов Ю.В., Липовой Д.А., Мамонтов П.Г., Петров Е.С. Новый UNICALC: версия 5 - возможности и перспективы // Тр.  XI национальной конф. по искусственному интеллекту с международным участием, КИИ-2004. - М.: Физматлит, 2004. - С. 915-922.
  29. Липатов А.А., Плавенчук Е.А. Структурирование н-моделей в проекции на многотабличную версию системы ФинПлан // Тр. XI национальной конф. по искусственному интеллекту с международным участием, КИИ'2004. - М.: Физматлит, 2004. - Т.3. - С.928-936.
  30. Малюх В. Интеллектуализация малых CAD: проблемы и перспективы // Междунар. конф.  isiCAD-2004. - Новосибирск, 2004. - С. 312-313.
  31. Малюх В. Intelligent capabilities for small CAD systems: problems and perspectives // Междунар. конф. isiCAD-2004. - Новосибирск, 2004. - С. 311.
  32. Прудников Д.М. Использование мета-свойств при построении онтологий  // Тр. XI национальной конф. по искусственному интеллекту с международным участием, КИИ'2004. - М.: Физматлит, 2004. - Т.1. - С.85-93.