首頁(yè) > SCI期刊 > SCIE期刊 > 計(jì)算機(jī)科學(xué) > 中科院4區(qū) > JCRQ4 > 期刊介紹
評(píng)價(jià)信息：
影響因子：0.4
年發(fā)文量：13
《信息法》(Acta Informatica)是一本以工程技術(shù)-計(jì)算機(jī)：信息系統(tǒng)綜合研究為特色的國(guó)際期刊。該刊由Springer Berlin Heidelberg出版商創(chuàng)刊于1971年，刊期Monthly。該刊已被國(guó)際重要權(quán)威數(shù)據(jù)庫(kù)SCIE收錄。期刊聚焦工程技術(shù)-計(jì)算機(jī)：信息系統(tǒng)領(lǐng)域的重點(diǎn)研究和前沿進(jìn)展，及時(shí)刊載和報(bào)道該領(lǐng)域的研究成果，致力于成為該領(lǐng)域同行進(jìn)行快速學(xué)術(shù)交流的信息窗口與平臺(tái)。該刊2023年影響因子為0.4。CiteScore指數(shù)值為2.4。
Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.
Topics of interest include:
? semantics of programming languages
? models and modeling languages for concurrent, distributed, reactive and mobile systems
? models and modeling languages for timed, hybrid and probabilistic systems
? specification, program analysis and verification
? model checking and theorem proving
? modal, temporal, first- and higher-order logics, and their variants
? constraint logic, SAT/SMT-solving techniques
? theoretical aspects of databases, semi-structured data and finite model theory
? theoretical aspects of artificial intelligence, knowledge representation, description logic
? automata theory, formal languages, term and graph rewriting
? game-based models, synthesis
? type theory, typed calculi
? algebraic, coalgebraic and categorical methods
? formal aspects of performance, dependability and reliability analysis
? foundations of information and network security
? parallel, distributed and randomized algorithms
? design and analysis of algorithms
? foundations of network and communication protocols.
Acta Informatica 提供關(guān)于程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)與分析的形式化方法文章的國(guó)際傳播，以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域，如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法。
感興趣的主題包括：
? 編程語(yǔ)言的語(yǔ)義
? 并發(fā)、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語(yǔ)言
? 定時(shí)、混合和概率系統(tǒng)的模型和建模語(yǔ)言
? 規(guī)范、程序分析和驗(yàn)證
? 模型檢查和定理證明
? 模態(tài)、時(shí)間、一階和高階邏輯及其變體
? 約束邏輯、SAT/SMT 求解技術(shù)
? 數(shù)據(jù)庫(kù)、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面
? 人工智能的理論方面，知識(shí)表示、描述邏輯
? 自動(dòng)機(jī)理論、形式語(yǔ)言、術(shù)語(yǔ)和圖形重寫(xiě)
? 基于游戲的模型、綜合
? 類型理論、類型演算
? 代數(shù)、余代數(shù)和分類方法
? 性能、可靠性和可靠性分析的形式化方面
? 信息和網(wǎng)絡(luò)安全基礎(chǔ)
? 并行、分布式和隨機(jī)算法
? 算法的設(shè)計(jì)和分析
? 網(wǎng)絡(luò)和通信協(xié)議基礎(chǔ)。
《Acta Informatica》(信息法)編輯部通訊方式為SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。如果您需要協(xié)助投稿或潤(rùn)稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對(duì)一投稿指導(dǎo)，避免您在投稿時(shí)頻繁碰壁，節(jié)省您的寶貴時(shí)間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會(huì)泄露您的個(gè)人信息或稿件內(nèi)容。
2023年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
2022年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
2021年12月舊的升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
2021年12月基礎(chǔ)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
2021年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
2020年12月舊的升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 3區(qū) | 否 | 否 |
基礎(chǔ)版：即2019年12月17日，正式發(fā)布的《2019年中國(guó)科學(xué)院文獻(xiàn)情報(bào)中心期刊分區(qū)表》；將JCR中所有期刊分為13個(gè)大類,期刊范圍只有SCI期刊。
升級(jí)版：即2020年1月13日，正式發(fā)布的《2019年中國(guó)科學(xué)院文獻(xiàn)情報(bào)中心期刊分區(qū)表升級(jí)版（試行）》,升級(jí)版采用了改進(jìn)后的指標(biāo)方法體系對(duì)基礎(chǔ)版的延續(xù)和改進(jìn)，影響因子不再是分區(qū)的唯一或者決定性因素，也沒(méi)有了分區(qū)的IF閾值期刊由基礎(chǔ)版的13個(gè)學(xué)科擴(kuò)展至18個(gè)，科研評(píng)價(jià)將更加明確。期刊范圍有SCI期刊、SSCI期刊。從2022年開(kāi)始，分區(qū)表將只發(fā)布升級(jí)版結(jié)果，不再有基礎(chǔ)版和升級(jí)版之分,基礎(chǔ)版和升級(jí)版（試行）將過(guò)渡共存三年時(shí)間。
JCR分區(qū)等級(jí)：Q4
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 249 |
5% |
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 251 |
5.78% |
| Gold OA文章占比 | 研究類文章占比 | 文章自引率 |
| 45.00% | 92.31% | 0.16... |
| 開(kāi)源占比 | 出版國(guó)人文章占比 | OA被引用占比 |
| 0.44... | 0.08 | 0.12 |
名詞解釋：JCR分區(qū)在學(xué)術(shù)期刊評(píng)價(jià)、科研成果展示、科研方向引導(dǎo)以及學(xué)術(shù)交流與合作等方面都具有重要的價(jià)值。通過(guò)對(duì)期刊影響因子的精確計(jì)算和細(xì)致劃分，JCR分區(qū)能夠清晰地反映出不同期刊在同一學(xué)科領(lǐng)域內(nèi)的相對(duì)位置，從而幫助科研人員準(zhǔn)確識(shí)別出高質(zhì)量的學(xué)術(shù)期刊。
| CiteScore | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||||||
| 2.4 | 0.407 | 1.118 |
|
名詞解釋：CiteScore是基于Scopus數(shù)據(jù)庫(kù)的全新期刊評(píng)價(jià)體系。CiteScore 2021 的計(jì)算方式是期刊最近4年（含計(jì)算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻(xiàn)數(shù)。CiteScore基于全球最廣泛的摘要和引文數(shù)據(jù)庫(kù)Scopus，適用于所有連續(xù)出版物，而不僅僅是期刊。目前CiteScore 收錄了超過(guò) 26000 種期刊，比獲得影響因子的期刊多13000種。被各界人士認(rèn)為是影響因子最有力的競(jìng)爭(zhēng)對(duì)手。
歷年中科院分區(qū)趨勢(shì)圖
歷年IF值(影響因子)
歷年引文指標(biāo)和發(fā)文量
歷年自引數(shù)據(jù)
2019-2021年國(guó)家/地區(qū)發(fā)文量統(tǒng)計(jì)
| 國(guó)家/地區(qū) | 數(shù)量 |
| GERMANY (FED REP GER) | 30 |
| Italy | 12 |
| CHINA MAINLAND | 11 |
| France | 10 |
| England | 9 |
| Netherlands | 9 |
| USA | 7 |
| Belgium | 6 |
| Denmark | 6 |
| India | 6 |
2019-2021年機(jī)構(gòu)發(fā)文量統(tǒng)計(jì)
| 機(jī)構(gòu) | 數(shù)量 |
| UNIVERSITATSKLINIKUM DES SAARLANDES | 8 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIF... | 7 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| TECHNICAL UNIVERSITY OF MUNICH | 4 |
| UNIVERSITE LIBRE DE BRUXELLES | 4 |
| AALBORG UNIVERSITY | 3 |
| CARL VON OSSIETZKY UNIVERSITAT OLDENBURG | 3 |
| EAST CHINA NORMAL UNIVERSITY | 3 |
| INRIA | 3 |
| INRIA LILLE NORD EUROPE | 3 |
2019-2021年文章引用數(shù)據(jù)
| 文章引用名稱 | 引用次數(shù) |
| Bounded choice-free Petri net synthesis:... | 3 |
| Parikh matrices for powers of words | 2 |
| Generalized contexts for reaction system... | 2 |
| Fast deterministic parsers for transitio... | 1 |
| Associative composition of components wi... | 1 |
| A core calculus for dynamic delta-orient... | 1 |
| Algorithms for monitoring real-time prop... | 1 |
| Looking at mean payoff through foggy win... | 1 |
| Petri nets are dioids: a new algebraic f... | 1 |
| On the decidability of the existence of ... | 1 |
2019-2021年文章被引用數(shù)據(jù)
| 被引用期刊名稱 | 數(shù)量 |
| FUND INFORM | 27 |
| IEEE ACCESS | 24 |
| THEOR COMPUT SCI | 24 |
| J LOG ALGEBR METHODS | 23 |
| FORM ASP COMPUT | 18 |
| SCI COMPUT PROGRAM | 17 |
| ACTA INFORM | 14 |
| INFORM COMPUT | 11 |
| PROC VLDB ENDOW | 11 |
| J SYMB COMPUT | 10 |
2019-2021年引用數(shù)據(jù)
| 引用期刊名稱 | 數(shù)量 |
| THEOR COMPUT SCI | 41 |
| INT J FOUND COMPUT S | 16 |
| J COMPUT SYST SCI | 16 |
| ACTA INFORM | 14 |
| J ACM | 12 |
| INFORM COMPUT | 11 |
| FUND INFORM | 9 |
| LOG METH COMPUT SCI | 8 |
| SIAM J COMPUT | 7 |
| J CRYPTOL | 6 |
中科院分區(qū)：1區(qū)
影響因子：7.7
審稿周期：約Time to first decision: 9 days; Review time: 64 days; Submission to acceptance: 82 days; 約2.7個(gè)月 約7.8周
中科院分區(qū)：1區(qū)
影響因子：8.1
審稿周期：約Time to first decision: 6 days; Review time: 44 days; Submission to acceptance: 54 days; 約4.1個(gè)月 約6.8周
中科院分區(qū)：3區(qū)
影響因子：3.3
審稿周期：約17.72天 11 Weeks
中科院分區(qū)：1區(qū)
影響因子：98.4
審稿周期： 約3月
中科院分區(qū)：2區(qū)
影響因子：5.8
審稿周期： 約2.4個(gè)月 約7.6周
中科院分區(qū)：2區(qū)
影響因子：5.1
審稿周期： 約1.9個(gè)月 約2.7周
若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。
