Публикации

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

Монографии

  1. Костюкова Н.И., Калинина Н.А.  Язык Си и особенности работы с ним // Интернет- Университет информационных технологий-Интуит.ру. Серия: Основы информационных технологий. - 2005. - 208 С.

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

  1. Непомнящий В.А. Символический метод верификации финитных итераций над изменяемыми структурами данных  // Программирование. -  2005.- №1. - С. 3-14.
  2. Nepomniaschy V.A. Symbolic verification method for definite iterations over tuples of altered data structures // Bulletin of Novosibirsk Computing Center, Series: Computer Science. -  Novosibirsk. -  2005. - № 23. - P. 85-99.
  3. Селиванов В.Л. Вариации на тему сводимости Вэджа // Математические труды. -  Новосибирск: Институт математики СО РАН, 2005. - Т.8, № 1. -  C. 135-175.
  4. Селиванов В.Л. О классификации счетных булевых термов // Алгебра и логика. -2005. - Т.44, № 2. - С. 173-197.
  5. Shilov N.V. Designing tableau-like axiomatization for Propositional Linear Temporal Logic at home of Arthur Prior // Bull.of NCC and IIS. Ser. Comput. Sci. - 2005.  - Vol. 23, - P.113-136.
  6. Gribovskaya N.S. Open maps and barbed bisimulation for timed transition systems // Bull.of NCC and IIS. Ser. Comput. Sci. - 2005.  - Vol. 23, - P. 1-15.
  7. Вирбицкайте И.Б. Информационное сообщение: Шестая международная конференция памяти А.П. Ершова «Перспективы систем информатики» // Программирование. - 2005. - № 6. - С. 77 - 80.
  8. Касьянов В.Н, Касьянова Е.В. Адаптивные системы и методы дистанционного обучения // Информационные технологии в высшем образовании. -  2004. -  Т.1, N 4. -  С. 40-60.
  9. Пономарев Д.К. Применение языков описания онтологий для построения Web-ориентированных информационных систем // Вестник НГУ. Серия: «Информационные технологии в образовании». - Новосибирск: НГУ, 2004. - Т. 1, вып. 2. - С. 5-20.
  10. Zagorulko Yu. , Borovikova O., Bulgakov S., Sidorova E. Ontology-based approach to development of adjustable knowledge internet portal for support of research activity // Bull. Of NCC and IIS. Ser. Comput. Sci. - 2005.  - Vol. 23. - P. 45-56.
  11. Petrov E., Monfroy E. Constraint-based analysis of composite solvers // Bull.of NCC and IIS. Ser. Comput. Sci. - 2005.  - Vol. 23. - P. 101-111.
  12. Мурзина В.Ф. Модальные логики α-пространств // Вестник НГУ. Серия: "Математика и механика". - 2005. - Т. 5, вып. 1. - С.31-54.
  13. Мурзина В.Ф. Модальная логика, полная относительно строго линейно упорядоченных A-моделей // Алгебра и логика. - 2005. - Т. 44, № 5. - С. 560-582.

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

  1. Selivanov V.L. Wagner K.W. A reducibility for the dot-depth hierarchy // Theoretical Computer Science. - 2005. - Vol. 345, № 2-3. - P. 448-472.
  2. Selivanov V.L. Hierarchies in φ-spaces and applications // Math. Logic Quarterly. - 2005. - Vol. 51, № 1. - P. 45-61.
  3. Kasyanov V. SVM - Siberian Virtual Museum of Informatics History // Innovation and the Knowledge Economy: Issues, Applications, Case Studies. - Amsterdam: IOS Press, 2005. - Part 2. - P. 1014-1021.
  4. Dobrynin A.A., Mel'nikov L.S. Wiener index, line graphs and the cyclomatic number // MATCH Commun. Math. Comput. Chem. - 2005. - Vol. 53, N 1. - P. 209-214.
  5. Dobrynin A.A., Mel'nikov L.S. Wiener index for graphs and their line graphs with arbitrary large cyclomatic numbers // Appl. Math. Lett. -  2005. - Vol. 18, N 3. - P. 307-312.
  6. Aksionov V.A., Borodin O.V., Mel'nikov L.S., Sabidussi G., Stiebitz M. and Toft B. Deeply asymmetric planar graphs // J. of Combinatorial Theory, Series B. - 2005. - Vol. 95, N 1. - P. 68-78.
  7. Мельников Л.С.  Хроматическое число гиперферзя // Доклады Одесского Семинара по дискретной математике. - 2005. - N 2. - P. 42-50.
  8. Tarasyuk I.V. Discrete time stochastic Petri box calculus. Berichte aus dem Fachbereich Informatik 3/05, 26 p., Carl von Ossietzky University of Oldenburg, Oldenburg, Germany, 2005. (Reports from the Department of Computer Science 3/05)
  9. Cheremushkin E., Konovalova T., Valeev T., Kel A. Methods for search of gene regulatory elements binding sites. Analytical Tools for DNA, Genes and Genomes: Nuts & Bolts. - DNA Press, October 2005; Chapter 9, pp.185-214.
  10. V.F. Murzina A modal logic that is complete with respect to strictly linearly ordered
  11. A-models // Algebra and Logic. - 2005. - Vol. 44. - P. 313-325.

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

  1. Kasyanov V. The SVM - Siberian virtual museum of informatics history // Proc. of EVA 2005 London Conf. - London: ECI Press, 2005. - P. 231-242.
  2. Kasyanova E.V. WAPE: an adaptive environment for Web-based education of programming // Proc. of the 17th IMACS World Congress. - Paris, 2005. - P. 7.
  3. Kasyanova S.N., Trofimov O.E., Shaposhnikova E.V., Stukalin Yu. A., Zagoruyko A.S.  Noise Stability of Virtual Beam (X-Ray) Projections // Proc.  4th World Congress on Industrial Process Tomography. - Japan, Aizu, 2005. - P. 675-680.
  4. Kasyanov V.N. Methods and tools of functional programming for supporting parallel programming // Proc. of the 17th IMACS World Congress, Paris. - Paris, 2005. - P. 4.
  5. Kasyanov V. The SVM - Siberian virtual museum of informatics history // Abstracts of EVA 2005 London Conf. - London, ECI Press, 2005. - P.10.
  6. Мельников Л.С., Петренко И.В. Существование путевых ядер и разбиений в неориентированных графах // Проблемы теоретической кибернетики / Тезисы докладов XIV Международной конф., посвященной 80-летию С.В. Яблонского. - М.: Изд-во механико-математического факультета МГУ, 2005. - С. 95. 
  7. Selivanov V.L. Some reducibilities on regular sets // Lect. Notes Comput. Sci. - 2005. - Vol. 3526. - P. 430-440.
  8. Korovina M. Kudinov O. Towards Computability of Higher Type Continuous Data // Lect. Notes Comput. Sci. - 2005. - Vol. 3526. - P. 235-241.
  9. Shilov N.V. Tableau-like Axiomatization for Propositional Linear Temporal Logic // Proc. Intern. Conf. "TABLEAUX 2005. Automated Reasoning with Analytic Tableaux and Related Methods", TABLEAUX 2005 Position Papers and Tutorial Descriptions, Ed. Bernhard Beckert, Fachberichte INFORMATIK, ISSN 1860-4471, Universitat Koblenz-Landau, Institut fur Informatik, technical report n.12/2005, p.27-40.
  10. Shilov N.V. Garanina N.O. Choe K.M. Update and Abstraction in Model Checking of Knowledge and Branching Time // Proc. Workshop on Concurrency, Specification and Programming (CS&P'2005), 28-30 September 2005, Poland. - Warsaw: Warsaw University, 2005. - Vol. 2. - P. 468-480.
  11. Schreiner P.A. Shilov N.V. Grebeneva J.V. Two approaches to automatic recognition of tabular property in superintionistic logics // Proc. Intern. Conf. on Trends in Logic III (ICTL'2005), 23-25 September 2005, Warsaw, Pola nd. - Warsaw: Warsaw University, 2005.
  12. Shilova S.O. Shilov N.V. On Mathematical Contents of Computer Science Contests // Proc.1st KAIST Intern. Symposium on Enhancing University Mathematics Teaching, 12-16 May 2005, Daejeon, Korea. - 2005. - P. 223-233.
  13. Andreeva M.V. Virbitskaite I.B. Causal and Partial Order Semantics for Timed Stable Event Structures // Proc. Workshop on Concurrency, Specification and Programming (CS&P'2005), 28-30 September 2005, Ruciane-Nida, Poland. - Warsaw: Warsaw University, 2005. - Vol.1. - P. 17-28.
  14. Andreeva M.V. Virbitskaite I.B. Timed Equivalences for Timed Event Structures // Lect. Notes Comput. Sci. - 2005. - Vol. 3606. - P. 16-25.
  15. Dubtsov R.S. Real-Time Event Structures and Scott Domains // Lect. Notes Comput. Sci. - 2005. - Vol. 3606. - P. 33-39.
  16. Choe K.M., S.H., Shilov N.V., Yi K. Proofs about folklore: why model checking = reachability? // Abstracts of the 9th Asian Logic Conference, 16-19 August 2005, Novosibirsk, Russia. - 2005. -  P.103-104.
  17. Novak L., Zamulin A. A Formal Model of XML Schema // Proc. 2nd Internat. Workshop on XML Schema and Data Management (satellite event of 21st International Conference on Data Engineering, Tokyo, Japan, 2005), icde, IEEE Computer Society, 2005,p. 1283.
  18. Novak L., Zamulin A. Algebraic Semantics of XML Schema. Advances in Databases and Information Systems // Lect. Notes Comput. Sci.- 2005. - Vol. 3631. -  P. 209-222.
  19. Марчук А.Г., Тихонова Т.И. Мастерская как форма обучения программированию // Сб. материалов XV Междунар. конф.  «Информационные технологии в образовании», Москва -  2005.
  20. Ershov Yu. , Filippov V., Klimenko O., Trofimov O. Mathtree - Tree Catalog of Mathematical Resources in the Internet // Proc. the Second IASTED Internat. Multi-Conf. on Automation, Control, and Information Technology. Software Engineering. June 20-24, 2005, Novosibirsk, Russia. -  2005. - P. 76-80.
  21. Malukh V.N., Nickitin A.G. Modern Architecture of light - weight CAD // Сб. докладов  Междунар. конф. Graphicon - 2005,  июнь 2005, Новосибирск. - 2005. - С. 111-113.
  22. Полоз Т.Л., Демин А.В., Опыт применения нейросетевых технологий для цитологической диагностики некоторых заболеваний щитовидной железы  // ZEISS Сегодня. - 2004. - № 24. - С.4.
  23. Боровикова О.И., Загорулько Ю.А., Сидорова Е.А. Автоматизация сбора онтологической информации в Интернет-портале знаний // V междунар. конф. «Интеллектуальный анализ информации ИАИ-2005», Киев, 17-20 мая 2005 г. / Сб. тр. под ред. Т.А. Таран. -  Киев: Просвита, 2005. - С. 82-91.
  24. Боровикова О.И., Загорулько Ю.А., Сидорова Е.А. Подход к автоматизации сбора онтологической информации для интернет-портала знаний // Тр. междунар. конф. Диалог'2005 "Компьютерная лингвистика и интеллектуальные технологии", Звенигород, 1-5 июня 2005. - М.: Наука, 2005. - С. 65-70.
  25. Сидорова Е.А. Технология разработки тематических словарей на основе сочетания лингвистических и статистических методов // Труды междунар. конф. Диалог'2005 "Компьютерная лингвистика и интеллектуальные технологии", Звенигород, 1-5 июня 2005. - М.: Наука, 2005. - С.443-449.
  26. Загорулько Ю.А., Пискунов С.В., Булгаков С.В., Остапкевич М.Б. Интеллектуализация сетевой системы поддержки инновационной деятельности в регионе *// Тр. VII междунар. конф. "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2005. - С. 349-356.
  27. E.A. Sidorova, I. S. Kononenko, Yu. A. Zagorulko. A Knowledge-Based Approach to Intelligent Document Management // Proc. of the 7th Internat. Workshop on Computer Science and Information Technologies. CSIT'2005. Ufa-Assy, Russia, 2005. - 2005. - Vol. 1. - P. 33-38.
  28. Malyshkin V., Zagorulko Yu. Limitation and Possibilities of Automation on the Way from Intention Þ Program // Proc. of the 4th Int. Conf. on Software Methodologies, Tools and Techniques, Tokyo, Japan. - IOS Press, 2005. - P.194-206.
  29. Yumak Z., Yakhno T. HIS: Hierarchical Solver for Over-Constraint satisfaction Problems // Proc. of 14th Turkish Symposium on Artificial Intelligence and Neural Networks. Izmir, Turkey, 16-17 June 2005. - 2005. - P.213-221.
  30. Kel A., Konovalova T., Valeev T., Cheremushkin E., Kel-Margoulis O., Wingender E. Composite Module Analyst: A Fitness-Based Tool for Prediction of Transcription Regulation // Proc. of the German Conf. on Bioinformatics (GCB'05), Hamburg, Germany, Oct 5-7, 2005. - 2005. - P. 8.
  31. Konovalova T., Valeev T., Cheremushkin E., Kel A. Composite Module Analyst: Tool for Prediction of DNA Transcription Regulation. Testing on Simulated Data. Advances in Natural Computation // Lect. Notes Comput. Sci. - 2005. - Vol. 3611. - P. 1202-1205.
  32. Valeev T., Murzin F. Some algorithms of videosequences compression and their investigation // Proc. of the 15th Internat. Conf. on Computer Graphics and Applications (GraphiCon'05), Jun 20-24, 2005. - 2005. - P. 326-328.
  33. Васильева М.Б., Лобив И.В., Мурзин Ф.А. Автоматизация процесса морфометрииологического материала // Proc. of the 15th Internat. Conf. on Computer Graphics and Applications (GraphiCon'05), Jun 20-24, 2005. - 2005. - P. 326-328.