Костюкова Н.И., Калинина Н.А. Язык Си и особенности работы с ним // Интернет-
Университет информационных технологий-Интуит.ру. Серия: Основы информационных
технологий. - 2005. - 208 С.
Центральные издания
Непомнящий В.А. Символический метод верификации финитных итераций
над изменяемыми структурами данных // Программирование. - 2005.- №1. - С. 3-14.
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.
Селиванов В.Л. Вариации на тему сводимости Вэджа //
Математические труды. - Новосибирск: Институт математики СО РАН, 2005. - Т.8,
№ 1. - C. 135-175.
Селиванов В.Л. О классификации счетных булевых термов // Алгебра
и логика. -2005. - Т.44, № 2. - С. 173-197.
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.
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.
Вирбицкайте И.Б. Информационное сообщение: Шестая международная
конференция памяти А.П. Ершова «Перспективы систем информатики» //
Программирование. - 2005. - № 6. - С. 77 - 80.
Касьянов В.Н, Касьянова Е.В. Адаптивные системы и методы
дистанционного обучения // Информационные технологии в высшем образовании. - 2004.
- Т.1, N 4. - С. 40-60.
Пономарев Д.К. Применение языков описания онтологий для
построения Web-ориентированных информационных систем // Вестник НГУ. Серия:
«Информационные технологии в образовании». - Новосибирск: НГУ, 2004. - Т. 1,
вып. 2. - С. 5-20.
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.
Petrov E., Monfroy E. Constraint-based analysis
of composite solvers // Bull.of NCC and IIS. Ser. Comput. Sci. - 2005. - Vol.
23. - P. 101-111.
Мурзина В.Ф. Модальные логики α-пространств // Вестник НГУ.
Серия: "Математика и механика". - 2005. -
Т. 5, вып. 1. - С.31-54.
Мурзина В.Ф. Модальная логика, полная относительно строго линейно
упорядоченных A-моделей // Алгебра и логика. - 2005. - Т. 44, № 5. - С.
560-582.
Зарубежные издания
Selivanov V.L. Wagner K.W. A reducibility for
the dot-depth hierarchy // Theoretical Computer Science. - 2005. - Vol. 345, №
2-3. - P. 448-472.
Selivanov V.L. Hierarchies in φ-spaces and applications // Math. Logic Quarterly. - 2005. - Vol.
51, № 1. - P. 45-61.
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.
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.
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.
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.
Мельников Л.С. Хроматическое число гиперферзя // Доклады
Одесского Семинара по дискретной математике. - 2005. - N 2. - P. 42-50.
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)
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.
V.F. Murzina A modal logic that is complete with
respect to strictly linearly ordered
A-models // Algebra and Logic. - 2005. - Vol.
44. - P. 313-325.
Материалы международных конференций
Kasyanov V. The SVM - Siberian virtual museum of
informatics history // Proc. of EVA 2005 London Conf. - London: ECI Press,
2005. - P. 231-242.
Kasyanova E.V. WAPE: an adaptive environment for
Web-based education of programming // Proc. of the 17th IMACS World Congress. - Paris, 2005. - P. 7.
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.
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.
Kasyanov V. The SVM - Siberian virtual museum of
informatics history // Abstracts of EVA 2005 London Conf. - London, ECI Press,
2005. - P.10.
Мельников Л.С., Петренко И.В. Существование путевых ядер и
разбиений в неориентированных графах // Проблемы теоретической кибернетики /
Тезисы докладов XIV Международной конф., посвященной 80-летию С.В. Яблонского.
- М.: Изд-во механико-математического факультета МГУ, 2005. - С. 95.
Selivanov V.L. Some reducibilities on regular
sets // Lect. Notes Comput. Sci. - 2005. - Vol. 3526. - P. 430-440.
Korovina M. Kudinov O. Towards Computability of
Higher Type Continuous Data // Lect. Notes Comput. Sci. - 2005. - Vol. 3526. -
P. 235-241.
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.
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.
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.
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.
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.
Dubtsov R.S. Real-Time Event Structures and
Scott Domains // Lect. Notes Comput. Sci. - 2005. - Vol. 3606. - P. 33-39.
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.
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.
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.
Марчук
А.Г., Тихонова Т.И. Мастерская как форма обучения программированию // Сб.
материалов XV Междунар. конф. «Информационные технологии в образовании»,
Москва - 2005.
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.
Malukh V.N., Nickitin A.G. Modern Architecture
of light - weight CAD // Сб. докладов Междунар. конф. Graphicon
- 2005, июнь 2005, Новосибирск. - 2005. - С. 111-113.
Полоз Т.Л., Демин А.В., Опыт применения нейросетевых технологий
для цитологической диагностики некоторых заболеваний щитовидной железы // ZEISS Сегодня. - 2004. - № 24. - С.4.
Боровикова О.И., Загорулько Ю.А., Сидорова Е.А. Автоматизация
сбора онтологической информации в Интернет-портале знаний // V междунар. конф.
«Интеллектуальный анализ информации ИАИ-2005», Киев, 17-20 мая 2005 г. / Сб.
тр. под ред. Т.А. Таран. - Киев: Просвита, 2005. - С. 82-91.
Боровикова О.И., Загорулько Ю.А., Сидорова Е.А. Подход к
автоматизации сбора онтологической информации для интернет-портала знаний //
Тр. междунар. конф. Диалог'2005 "Компьютерная лингвистика и
интеллектуальные технологии", Звенигород, 1-5 июня 2005. - М.: Наука,
2005. - С. 65-70.
Сидорова Е.А. Технология разработки тематических словарей на
основе сочетания лингвистических и статистических методов // Труды междунар.
конф. Диалог'2005 "Компьютерная лингвистика и интеллектуальные
технологии", Звенигород, 1-5 июня 2005. - М.: Наука, 2005. - С.443-449.
Загорулько Ю.А., Пискунов С.В., Булгаков С.В., Остапкевич М.Б.
Интеллектуализация сетевой системы поддержки инновационной деятельности в
регионе *// Тр. VII междунар. конф. "Проблемы управления и моделирования в
сложных системах". - Самара: Самарский Научный Центр РАН, 2005. - С.
349-356.
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.
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.
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.
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.
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.
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.
Васильева М.Б., Лобив И.В., Мурзин Ф.А. Автоматизация процесса
морфометрииологического материала // Proc. of the 15th Internat. Conf. on Computer Graphics and Applications (GraphiCon'05), Jun 20-24,
2005. - 2005. - P. 326-328.