ИСТИНА

Царьков Дмитрий Викторович

Соавторы: Privezentsev A., Захаров В.А., Смелянский Р.Л., Фазлиев А.З., Tennyson J., Кончаков Р.В., Чистолинов М.В., Бахмуров А.Г., Epatko I.V., Grote J.F., Peshko A.S., Usenko Y.S., Voronina S.S. показать полностью..., Winter K., Захарьящев М.В., Золин Е.Е., Кикоть С.П.

7 статей, 3 тезисов докладов, 1 диссертация

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

IstinaResearcherID (IRID): 1761893

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

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

  • 
    • 2013 Ontology-based content trust support of expert information resources in quantitative spectroscopy
    • Fazliev A., Privezentsev A., Tsarkov D., Tennyson J.
    • в журнале Communications in Computer and Information Science, том 394, с. 15-28 DOI
  • • 1998 Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ
    • Захаров В.А., Царьков Д.В.
    • в журнале Программирование, № 4, с. 43-47

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

  • • 2014 An ontological description of states and transitions in quantitative spectroscopy
    • Voronina S.S., Privezentsev A., Tsarkov D.V., Fazliev A.Z.
    • в сборнике Proceedings of SPIE - The International Society for Optical Engineering, том 9292 DOI
  • 
    • 2013 Query Answering via Modal Definability with FaCT++: First Blood
    • Kikot Stanislav, Tsarkov Dmitry, Zakharyaschev Michael, Zolin Evgeny
    • в сборнике Proceedings of the 26th International Workshop on Description Logics (DL 2013), серия CEUR Workshop Proceedings (CEUR-WS.org), место издания CEUR-WS.org, том 1014, с. 328-340
  • • 2010 Computed knowledge base for description of information resources of water spectroscopy
    • Fazliev A., Privezentsev A., Tsarkov D., Tennyson J.
    • в сборнике CEUR Workshop Proceedings, том 614
  • 
    • 2010 Ontology for water spectroscopy information resources
    • Privesetsev A., Fazliev A., Tsarkov D., Tennyson J.
    • в сборнике RPC 2010 - 1st Russia and Pacific Conference on Computer Technology and Applications, с. 28-33
  • • 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

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

  • • 2001 Верификация распределенных программ в системе имитационного моделирования DYANA
    • Захаров В.А., Кончаков Р.В., Смелянский Р.Л., Царьков Д.В.
    • в сборнике Интеллектуальные и многопроцессорные системы. Тезисы докладов Международной научной конференции, место издания Таганрог, тезисы, с. 152-156
  • • 2000 On the logical and timed analysis of an airborne navigation system by means of DYANA
    • Bahmurov A., Chistolinov M., Konchakov R., Tsarkov D., Smelyanskij R., Zakharov V.A.
    • в сборнике 4-th Multiconference of Systematic, Cybernetics and Informatics (SCI-2000), место издания Orlando, USA, тезисы
  • • 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

• Диссертация

  • • 2002 Верификация распределенных программ методом проверки на модели
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Царьков Дмитрий Викторович
    • Научные руководители: Смелянский Р.Л., д.ф.-м.н., проф., член-корр. РАН, МГУ имени М.В. Ломоносова, Захаров В.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики