Acta Informatica SCIE
國際簡稱：ACTA INFORM 參考譯名：信息法
主要研究方向：工程技術-計算機：信息系統 非預警期刊 審稿周期： 12周，或約稿
《信息法》(Acta Informatica)是一本由Springer Berlin Heidelberg出版的以工程技術-計算機：信息系統為研究特色的國際期刊，發表該領域相關的原創研究文章、評論文章和綜述文章，及時報道該領域相關理論、實踐和應用學科的最新發現，旨在促進該學科領域科學信息的快速交流。該期刊是一本未開放期刊，近三年沒有被列入預警名單。
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期刊信息
- ISSN：0001-5903
- 出版語言：Multi-Language
- 是否OA：未開放
- E-ISSN：1432-0525
- 出版地區：GERMANY
- 是否預警：否
- 出版商：Springer Berlin Heidelberg
- 出版周期：Monthly
- 創刊時間：1971
- 開源占比：0.4432
- Gold OA文章占比：45.00%
- OA被引用占比：0.12
- 出版國人文章占比：0.08
- 出版撤稿占比：0
- 研究類文章占比：92.31%
Acta Informatica CiteScore評價數據（2024年最新版）
| CiteScore | SJR | SNIP | CiteScore 指數 | ||||||||||||||||
| 2.4 | 0.407 | 1.118 |
|
名詞解釋：CiteScore 是衡量期刊所發表文獻的平均受引用次數，是在 Scopus 中衡量期刊影響力的另一個指標。當年CiteScore 的計算依據是期刊最近4年（含計算年度）的被引次數除以該期刊近四年發表的文獻數。例如，2022年的 CiteScore 計算方法為：2022年的 CiteScore =2019-2022年收到的對2019-2022年發表的文件的引用數量÷2019-2022年發布的文獻數量 注：文獻類型包括：文章、評論、會議論文、書籍章節和數據論文。
Acta Informatica中科院評價數據
中科院 2023年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 |
中科院 2022年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 |
中科院 2021年12月舊的升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 |
中科院 2021年12月基礎版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 工程技術 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 |
中科院 2021年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 4區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 4區 |
中科院 2020年12月舊的升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 3區 | COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機：信息系統 | 3區 |
Acta Informatica JCR評價數據（2023-2024年最新版）
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 249 |
5% |
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 251 |
5.78% |
Acta Informatica歷年數據統計
影響因子
中科院分區
Acta Informatica中國學者發文選摘
-
1、Preface for the special issue for ATVA 2015
Author: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Journal: ACTA INFORMATICA, 2018, Vol.55, 625-626, DOI:10.1007/s00236-018-0330-0
-
2、Some kinds of primitive and non-primitive words
Author: Cao Chunhua, Yang Shuang, Yang Di
Journal: ACTA INFORMATICA, 2014, Vol.51, 339-346, DOI:10.1007/s00236-014-0200-3
-
3、Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks
Author: Suo Ping Li, Yong Qiang Zhou, Yong Zhou
Journal: ACTA INFORMATICA, 2014, Vol.51, 51-60, DOI:10.1007/s00236-013-0192-4
-
4、Termination of nondeterministic quantum programs
Author: Yangjia Li, Nengkun Yu, Mingsheng Ying
Journal: ACTA INFORMATICA, 2013, Vol.51, 1-24, DOI:10.1007/s00236-013-0185-3
-
5、Characterizations of $$$$-comma codes and $$$$-comma intercodes
Author: Chunhua Cao, Haiyan Liu, Di Yang
Journal: ACTA INFORMATICA, 2015, Vol.53, 23-33, DOI:10.1007/s00236-015-0233-2
-
6、Optimal covers in the relational database model
Author: Xiaoning Peng, Zhijun Xiao
Journal: ACTA INFORMATICA, 2015, Vol.53, 459-468, DOI:10.1007/s00236-015-0247-9
-
7、Analysis of dual-hop and multiple relays cooperative truncated ARQ with relay selection in WSNs
Author: Suoping Li, Yongqiang Zhou, Duo Peng, Zufang Dou, Yong Zhou
Journal: ACTA INFORMATICA, 2015, Vol.53, 1-22, DOI:10.1007/s00236-015-0232-3
-
8、Efficient and secure attribute-based signature for monotone predicates
Author: Ke Gu, Weijia Jia, Guojun Wang, Sheng Wen
Journal: ACTA INFORMATICA, 2016, Vol.54, 521-541, DOI:10.1007/s00236-016-0270-5
Acta Informatica同類期刊
-
人工智能的工程應用
Engineering Applications Of Artificial Intelligence
中科院 2區 JCR Q1
-
智能與模糊系統雜志
Journal Of Intelligent & Fuzzy Systems
中科院 4區 JCR Q3
-
大數據雜志
Journal Of Big Data
中科院 2區 JCR Q1
-
網絡安全
Cybersecurity
中科院 4區 JCR Q1
-
物聯網
Internet Of Things
中科院 3區 JCR Q1
-
大數據挖掘與分析
Big Data Mining And Analytics
中科院 1區 JCR Q1
-
信息技術與控制
Information Technology And Control
中科院 4區 JCR Q3
-
數字通信和網絡
Digital Communications And Networks
中科院 2區 JCR Q1
免責聲明
若用戶需要出版服務，請聯系出版商：SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。