Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Automatic Control and Computer Sciences
журнал
Индексирование: JCR (1 октября 2000 г.-31 декабря 2004 г.), Zentralblatt MATH (zbMATH) (1 января 1970 г.-), Emerging Sources Citation Index (1 января 2017 г.-), Scopus (1 января 1970 г.-)
Период активности журнала: не указан
Издательство:
Allerton Press Inc.
Местоположение издательства:
United States
ISSN:
0146-4116 (Print)
Редколлегия
Захаров Владимир Анатольевич
,
с 1 ноября 2017
Статьи, опубликованные в журнале
Страницы: << предыдущая
1
2
следующая >>
2022
A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
Mironov A.M.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 56, № 7, с. 762-777
DOI
2022
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic
Gnatenko A.R.
,
Zakharov V.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 56, № 7, с. 649-660
DOI
2022
Trust Evaluation Problems in Big Data Analytics
Grusho A.A.
,
Grusho N.A.
,
Zabezhailo M.I.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 56, № 8, с. 847-851
DOI
2021
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
Zakharov V.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 55, № 7, с. 670-701
DOI
2021
Localization of the Root Cause of the Anomaly
Grusho A.A.
,
Grusho N.A.
,
Zabezhailo M.I.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 55, № 8, с. 978-983
DOI
2021
On the Model Checking Problem for Some Extension of CTL*
Gnatenko A.R.
,
Zakharov V.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 55, № 7, с. 776-785
DOI
2021
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
Vinarskii E.R.
,
Zakharov V.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 55, № 7, с. 751-762
DOI
2021
Research and Development of an Algorithm for Response Time Estimation in Multiprocessor Systems under Interval Uncertainty of Task Execution Times
Gonopolskiy M.G.
,
Glonina A.B.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 55, № 7, с. 658-669
DOI
2021
Use of Contradictions in Data for Finding Implicit Failures in Computer Systems
Grusho A.A.
,
Grusho N.A.
,
Zabezhailo M.I.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 55, № 8, с. 1115-1120
DOI
2020
Formal Verification of Three-Valued Digital Waveforms
Kutsak N.Yu
,
Podymov V.V.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 54, № 7, с. 630-644
DOI
2020
Localizing Failures with Metadata
Grusho N.A.
,
Grusho A.A.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 54, № 8, с. 988-992
DOI
2019
Even simple pi-calculus processes are difficult to analyze
Abbas M.M.
,
Zakharov V.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 53, № 7, с. 589-606
DOI
2019
Method of Integration of Multiagent Information Search Using Security Analysis and Information Services in Digital Infrastructures
Grusho N.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 53, № 8, с. 922-931
DOI
2019
On Bikes in Smart Cities
Dmitry Namiot
,
Manfred Sneps-Sneppe
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 53, № 1, с. 63-71
DOI
2019
On the expressive power of some extensions of linear temporal logic
Gnatenko A.R.
,
Zakharov V.A.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 53, № 7, с. 506-524
DOI
2019
Spoofing attack on eigenfaces-based biometric identification system
Marshalko G.B.
,
Nikiforova L.O.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, № 8, с. 980-986
2018
On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
Glonina A.B.
,
Balashov V.V.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 52, № 7, с. 817-827
DOI
2018
Protection of Valuable Information in Information Technologies
Grusho A.A.
,
Grusho N.A.
,
Zabezhaylo M.I.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 52, № 8, с. 1076-1079
DOI
2017
Asymptotics, Stability, and Region of Attraction of Periodic Solution to a Singularly Perturbed Parabolic Problem with Double Root of a Degenerate Equation
Butuzov V.F.
,
Nefedov N.N.
,
Recke L.
,
Schneider K.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 51, № 7, с. 606-613
DOI
2017
Information Security Architecture Synthesis in Distributed Information Computation Systems
Grusho A.A.
,
Grusho N.A.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 51, № 8, с. 799-804
DOI
2017
Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems
Volkanov D.Yu
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 51, № 7, с. 539-550
2017
On the Minimization Problem for Sequential Programs
Zakharov V.A.
,
Jaylauova S.R.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 51, № 7, с. 689-700
DOI
2017
On the Minimization of Finite State Transducers over Semigroups
Zakharov V.A.
,
Temerbekova G.G.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 51, № 7, с. 523-530
DOI
2016
Data mining in ensuring information security
Grusho A.A.
,
Grusho N.A.
,
Zabezhailo M.I.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 50, № 8, с. 722-725
DOI
2016
Intelligent data analysis in information security
Grusho A.A.
,
Grusho N.A.
,
Zabezhailo M.I.
,
Timonina E.E.
в журнале
Automatic Control and Computer Sciences
, издательство
Allerton Press Inc.
(United States)
, том 50, № 8, с. 722-725
DOI
Страницы: << предыдущая
1
2
следующая >>