ИСТИНА

Кончаков Роман Владимирович

Соавторы: Захаров В.А., Смелянский Р.Л., Царьков Д.В., Захарьящев М.В., Чистолинов М.В., Epatko I.V., Gottlob G., Grote J.F., Peshko A.S., Schwentick T., Usenko Y.S., Winter K., Wolter F. показать полностью..., Бахмуров А.Г., Кикоть С.П., Конев Б.Ю., Подольский В.В.

5 статей, 2 тезисов докладов

Количество цитирований статей в журналах по данным Web of Science: 38, Scopus: 65

IstinaResearcherID (IRID): 19656057

Деятельность

• Статьи в журналах

  • 
    • 2014 The price of query rewriting in ontology-based data access
    • Gottlob Georg, Kikot Stanislav, Kontchakov Roman, Podolskii Vladimir, Schwentick Thomas, Zakharyaschev Michael
    • в журнале Artificial Intelligence, издательство Elsevier BV (Netherlands), том 213, с. 42-59 DOI

• Статьи в сборниках

  • • 2006 Dynamic topological logics over spaces with continuous functions
    • Konev Boris, Kontchakov Roman, Wolter Frank, Zakharyaschev Michael
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 299-318
  • • 2001 Теоретико-автоматный подход к определению формальных семантик языков программирования
    • Захаров В.А., Кончаков Р.В.
    • в сборнике , Труды Международной конференции "Параллельные вычисления и задачи управления" Москва, 2-4 октября 2001 г. Институт проблем управления им. В.А.Трапезникова РАН, место издания Изд-во Института проблем управления им. В.А.Трапезникова Москва, с. 107-114
  • • 2000 On the logical and timed analysis of an airborne navigation system by means of DYANA
    • Smeliansky R.L., Bahmurov A., Chistolinov M., Konchakov R., Tsarkov D., Zakharov V.
    • в сборнике 4th World Multiconference of Systemics, Cybernetics and Informatics (SCI2000), место издания Zakharov Orlando, USA
  • • 2000 Формализация языка описания моделей распределенных систем программ при помощи временных автоматов
    • Захаров В.А., Кончаков Р.В.
    • в сборнике Труды Всероссийской научной конференции "Высокопроизводительные вычисления и их приложения", 30 октября - 2 ноября, Черноголовка, место издания МГУ, с. 151-157

• Тезисы докладов

  • • 2001 Верификация распределенных программ в системе имитационного моделирования DYANA
    • Захаров В.А., Кончаков Р.В., Смелянский Р.Л., Царьков Д.В.
    • в сборнике Интеллектуальные и многопроцессорные системы. Тезисы докладов Международной научной конференции, место издания Таганрог, тезисы, с. 152-156
  • • 2000 The development and verification of distributed real time embedded computer systems for avionics (Project DrTesy)
    • Smeliansky R.L., Chistolinov M.V., Epatko I.V., Grote J.F., Konchakov R.V., Peshko A.S., Tsarkov D.V., Usenko Y.S., Winter K., Zakharov V.A.
    • в сборнике Тезисы докладов четвертого сибирского конгресса по прикладной и индустриальной математике, том 2, тезисы, с. 128-129