Gold OA文章占比：45.00%
OA被引用占比：0.12
开源占比：0.4432
研究类文章占比：92.31%
国际标准简称：ACTA INFORM
人气 1092
《Acta Informatica》是一本专注于COMPUTER SCIENCE, INFORMATION SYSTEMS领域的Multi-Language学术期刊，创刊于1971年，由Springer Berlin Heidelberg出版商出版，出版周期Monthly。该刊发文范围涵盖COMPUTER SCIENCE, INFORMATION SYSTEMS等领域，旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, INFORMATION SYSTEMS工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。该刊已被SCIE数据库收录，在中科院JCR最新升级版分区表中，该刊分区信息为大类学科计算机科学4区，2023年影响因子为0.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.
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机：信息系统 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机：信息系统 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机：信息系统 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机：信息系统 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机：信息系统 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, INFORMATION SYSTEMS 计算机：信息系统 | 3区 | 否 | 否 |
中科院分区：中科院分区是SCI期刊分区的一种，是由中国科学院国家科学图书馆制定出来的分区。主要有两个版本，即基础版和升级版。2019年中国科学院文献情报中心期刊分区表推出了升级版，实现了基础版和升级版的并存过渡；升级版是对基础版的延续和改进，将期刊由基础版的13个学科扩展至18个，科研评价将更加明确。
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 249 |
5%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, INFORMATION SYSTEMS | SCIE | Q4 | 237 / 251 |
5.78%
|
JCR分区：JCR（Journal Citation Reports）由科睿唯安公司（前身为汤森路透）开发。JCR没有设置大类,只将期刊分为176个具体学科，也就是中科院分区中的小类学科。基于不同学科的当年影响因子高低进行排序，将期刊的数量均匀分为四个部分，Q1区代表学科分类中影响因子排名前25%的期刊，以此类推，Q2区为前25%-50%期刊，Q3区为前50%-75%期刊，Q4区为75%以后期刊。
CiteScore排名：
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Computer Science 小类：Computer Networks and Communications | Q3 | 247 / 395 |
37%
|
| 大类：Computer Science 小类：Information Systems | Q3 | 250 / 394 |
36%
|
| 大类：Computer Science 小类：Software | Q3 | 288 / 407 |
29%
|
CiteScore值计算方式：例如2024公布的CiteScore是将统计在 2020年-2023年间年所发表文章的引用次数除以在 2020年-2023年间所发表的发文总数。
CiteScore数据来源：是由全球著名学术出版商Elsevier（爱思唯尔）基于其Scopus数据库推出的期刊评价指标。CiteScore指数以四年区间为基准来计算每本期刊的平均被引用次数，并提供期刊领域排名、期刊分区的相关信息，它的作用是测量期刊的篇均影响力。
近年中科院分区趋势图
近年IF值(影响因子)趋势图
影响因子：是美国科学信息研究所(ISI)的期刊引证报告(JCR)中的一项数据。指的是某一期刊的文章在特定年份或时期被引用的频率，是衡量学术期刊影响力的一个重要指标。自1975年以来，每年定期发布于“期刊引证报告”(JCR)。
| 机构名称 | 发文量 |
| UNIVERSITATSKLINIKUM DES SAA... | 8 |
| CENTRE NATIONAL DE LA RECHER... | 7 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| TECHNICAL UNIVERSITY OF MUNI... | 4 |
| UNIVERSITE LIBRE DE BRUXELLE... | 4 |
| AALBORG UNIVERSITY | 3 |
| CARL VON OSSIETZKY UNIVERSIT... | 3 |
| EAST CHINA NORMAL UNIVERSITY | 3 |
| INRIA | 3 |
| INRIA LILLE NORD EUROPE | 3 |
| 国家/地区 | 发文量 |
| GERMANY (FED REP GER) | 30 |
| Italy | 12 |
| CHINA MAINLAND | 11 |
| France | 10 |
| England | 9 |
| Netherlands | 9 |
| USA | 7 |
| Belgium | 6 |
| Denmark | 6 |
| India | 6 |
| 文章引用名称 | 引用次数 |
| Bounded choice-free Petri ne... | 3 |
| Parikh matrices for powers o... | 2 |
| Generalized contexts for rea... | 2 |
| Fast deterministic parsers f... | 1 |
| Associative composition of c... | 1 |
| A core calculus for dynamic ... | 1 |
| Algorithms for monitoring re... | 1 |
| Looking at mean payoff throu... | 1 |
| Petri nets are dioids: a new... | 1 |
| On the decidability of the e... | 1 |
| 被引用期刊名称 | 数量 |
| 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 |
| 引用期刊名称 | 数量 |
| 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 |
1、建议稿件控制10页以上，文章撰写语言为英语；（单栏格式，单倍行距，内容10号字体，文稿类型包含：原创研究(Original Research)、案例报告(Case Report)、文献综述(Literature Review)等；文件格式包含word、PDF、LaTeX等。
2、稿件重复率控制10%以内，论文务必保证原创性、图标、公式、引文等要素齐备，保证附属资料的完整。已发表或引用过度的文章将不会被出版和检索，禁止一稿多投，拒绝抄袭、机械性的稿件。
3、稿件必须有较好的英语表达水平，有图，有表，有公式，有数据或设计，有算法（方案，模型），实验，仿真等；参考文献控制25条以上，参考文献引用一半以上控制在近5年以内。
图片和图表要求：1、建议使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW压缩。
2、文件大小最大不超过20MB，不要以单个文件的形式上传数据。
3、彩色图片的分辨率≥300dpi；黑白图片的分辨率在≥500dpi；line art图片类型的分辨率≥1000dpi；色彩模式建议采用RGB，除非期刊注明要CMYK。
4、线条不要细于0.25pt,也不能太粗，超过1.5pt,过细或过粗都影响美观。
5、表格一般和manuscrript放置在一个word文档里部分期刊 需要单独上传表格。
作者信息：1、包括作者姓名、最高学位，作者单位（精确到部门），邮箱，地址，邮编，关键词，内容，总结，项目基金，参考文献，作者相片+简介（一定要确保作者信息准确无误，提交稿件之后这部分不能再作改动）。
更多征稿细则请查阅杂志社征稿要求。本站专注期刊投稿服务十年，确保SCI检索，稿件信息安全保密，合乎学术规范不成功不收费，详情请咨询客服。
SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013
若用户需要出版服务，请联系出版商：SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区