Trudy Instituta sistemnogo programmirovaniia RAN

查看最新文献

1870

历年发表同类期刊

ISSN：

print: 2079-8156
on-line: 2220-6426

Gold OA文章占比：

0.00%

原创研究文献占比：

0.00%

SCI收录类型：

Directory of Open Access Journals (DOAJ)

期刊官网：

https://ispranproceedings.elpub.ru/jour/index

发文信息

历年影响因子

历年发表

2012年	58
2013年	37
2014年	87
2015年	105
2016年	105
2017年	103
2018年	109
2019年	116
2020年	96
2021年	101
2022年	18

投稿信息

出版语言：

English, Russian

出版国家(地区)：

Russian Federation

审稿时长：

4 weeks

出版商：

Ivannikov Institute for System Programming of the Russian Academy of Sciences

PubMed链接：

http://www.ncbi.nlm.nih.gov/nlmcatalog?term=2079-8156%5BISSN%5D

Trudy Instituta sistemnogo programmirovaniia RAN - 最新文献

Blockchain and Satisfiability Modulo Theories for Tender Systems

Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-8 René Dávila, Rocío Aldeco-Pérez, E. Bárcenas

REDoS Detection in “Domino” Regular Expressions by Ambiguity Analysis

Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-8 Antonina Nikolaevna Nepeivoda, Yulia Andreevna Belikova, Kirill Konstantinovich Shevchenko, Mikhail Romanovich Teriukha, Danila Pavlovich Knyazihin, Aleksandr Dmitrievich Delman, Anna Sergeevna Terentyeva

Predicate Abstraction Refinement in Thread-Modular Analysis

Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-14 Veronika Pavlovna Rudenchik, Pavel Sergeevich Andrianov

查看全部

免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。