?
學術咨詢服務,正當時...... 期刊天空網是可靠的職稱論文發表專業學術咨詢服務平臺!!!

大類學科: 不限 醫學 生物 物理 化學 農林科學 數學 地學天文 地學 環境科學與生態學 綜合性期刊 管理科學 社會科學 查看全部熱門領域

中科院分區: 不限 1區 2區 3區 4區

期刊收錄: 不限 SCI SCIE

Acta Informatica

Acta Informatica
期刊全稱:Acta Informatica
簡稱:ACTA INFORM
ISSN:0001-5903
ESSN:0001-5903
研究方向:工程技術 - 計算機:信息系統
投稿咨詢

免費咨詢 2023最新分區

Acta Informatica英文簡介

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中文簡介

《Acta Informatica》是一本由SPRINGER出版商出版的專業工程技術期刊,該刊創刊于1971年,刊期Monthly,該刊已被國際權威數據庫SCI、SCIE收錄。在中科院最新升級版分區表中,該刊分區信息為大類學科:工程技術 4區,小類學科:計算機:信息系統 4區;在JCR(Journal Citation Reports)分區等級為Q4。該刊發文范圍涵蓋計算機:信息系統等領域,旨在及時、準確、全面地報道國內外計算機:信息系統工作者在該領域取得的最新研究成果、工作進展及學術動態、技術革新等,促進學術交流,鼓勵學術創新。2021年影響因子為0.871,平均審稿速度>12周,或約稿。

中科院分區最新升級版(當前數據版本:2021年12月最新升級版)

大類學科 分區 小類學科 分區 Top期刊 綜述期刊
計算機科學 4區 COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統 4區

JCR分區(當前數據版本:2021-2022年最新版)

JCR分區等級 JCR所屬學科 分區 影響因子
Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Q4 0.871

期刊指數

影響因子 h-index Gold OA文章占比 研究類文章占比 OA開放訪問 平均審稿速度
0.871 34 36.47% 100.00% 未開放 >12周,或約稿

IF值(影響因子)趨勢圖

?
專家解答 課題、SCI/EI/SSCI怎么寫?

對接專家,全程指導

免費咨詢 >
?
? 7799精品视频