Acta Informatica
簡(jiǎn)稱(chēng)：ACTA INFORM
ISSN：0001-5903
ESSN：0001-5903
研究方向：工程技術(shù) - 計(jì)算機(jī)：信息系統(tǒng)
所屬分區(qū)：4區(qū)
出版地：GERMANY
出版周期：Monthly
創(chuàng)刊時(shí)間：1971
Acta Informatica英文簡(jiǎn)介
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中文簡(jiǎn)介
《Acta Informatica》是一本由SPRINGER出版商出版的專(zhuān)業(yè)工程技術(shù)期刊，該刊創(chuàng)刊于1971年，刊期Monthly，該刊已被國(guó)際權(quán)威數(shù)據(jù)庫(kù)SCI、SCIE收錄。在中科院最新升級(jí)版分區(qū)表中，該刊分區(qū)信息為大類(lèi)學(xué)科：工程技術(shù) 4區(qū)，小類(lèi)學(xué)科：計(jì)算機(jī)：信息系統(tǒng) 4區(qū)；在JCR（Journal Citation Reports）分區(qū)等級(jí)為Q4。該刊發(fā)文范圍涵蓋計(jì)算機(jī)：信息系統(tǒng)等領(lǐng)域，旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國(guó)內(nèi)外計(jì)算機(jī)：信息系統(tǒng)工作者在該領(lǐng)域取得的最新研究成果、工作進(jìn)展及學(xué)術(shù)動(dòng)態(tài)、技術(shù)革新等，促進(jìn)學(xué)術(shù)交流，鼓勵(lì)學(xué)術(shù)創(chuàng)新。2021年影響因子為0.871，平均審稿速度>12周，或約稿。
中科院分區(qū)最新升級(jí)版（當(dāng)前數(shù)據(jù)版本：2021年12月最新升級(jí)版）
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
中科院分區(qū)最新基礎(chǔ)版（當(dāng)前數(shù)據(jù)版本：2021年12月最新基礎(chǔ)版）
| 大類(lèi)學(xué)科 | 分區(qū) | 小類(lèi)學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) | 4區(qū) | 否 | 否 |
中科院JCR分區(qū)歷年趨勢(shì)圖
JCR分區(qū)（當(dāng)前數(shù)據(jù)版本：2021-2022年最新版）
| JCR分區(qū)等級(jí) | JCR所屬學(xué)科 | 分區(qū) | 影響因子 |
| Q4 | COMPUTER SCIENCE, INFORMATION SYSTEMS | Q4 | 0.871 |
期刊指數(shù)
| 影響因子 | h-index | Gold OA文章占比 | 研究類(lèi)文章占比 | OA開(kāi)放訪(fǎng)問(wèn) | 平均審稿速度 |
| 0.871 | 34 | 36.47% | 100.00% | 未開(kāi)放 | >12周，或約稿 |