Acta Informatica
| 短名 | Acta Inform. |
| Journal Impact | 0.20 |
| 国际分区 | COMPUTER SCIENCE, INFORMATION SYSTEMS(Q4) |
| 期刊索引 | SCI Q4中科院 4 区 |
| ISSN | 0001-5903, 1432-0525 |
| h-index | 43 |
| 国内分区 | 计算机科学(4区)计算机科学计算机信息系统(4区) |
《Acta Informatica》期刊致力于国际传播程序、计算系统和信息结构设计与分析的形式化方法的研究文章。它涵盖了理论计算机科学的相关领域，包括自动机理论、计算机科学中的逻辑与算法等。感兴趣的主题包括：编程语言的语义、并发、分布式、反应式和移动系统的模型与建模语言、定时、混合和概率系统的模型与建模语言、规范、程序分析与验证、模型检查与定理证明、模态逻辑、时间逻辑、一阶和高阶逻辑及其变体、约束逻辑、SAT/SMT求解技术、数据库、半结构化数据和有限模型理论的理论方面、人工智能的理论方面、知识表示、描述逻辑、自动机理论、形式语言、术语和图形重写、基于游戏的模型与综合、类型理论、类型演算、代数、代数和分类方法、性能、可靠性和可靠性分析的形式方面、信息和网络安全的基础、并行、分布式和随机算法、算法的设计与分析、网络和通信协议的基础。
期刊主页投稿网址| 涉及主题 | 计算机科学数学程序设计语言算法计算理论理论计算机科学哲学离散数学组合数学人工智能操作系统物理语言学数学分析工程类生物 |
| 出版信息 | 出版商: Springer New York，出版周期: Monthly，期刊类型: journal，开源期刊: 否 |
| 基本数据 | 创刊年份: 1971，原创研究文献占比: 100.00%，自引率:0.00%， Gold OA占比: 45.00% |
| 平均审稿周期 | 网友分享经验：>12周，或约稿 |
| 平均录用比例 | 网友分享经验：容易 |
期刊引文格式
这些示例是对学术期刊文章的引用，以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章，因此这些字段是可选的。有些电子期刊不提供页面范围，而是列出文章标识符。在这种情况下，使用文章标识符而不是页面范围是安全的。
有 1 位以上作者的期刊
有 2 位作者的期刊
有 3 位作者的期刊
有 5 位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用，以及它们应该如何出现在您的参考文献中。
专利引用格式
手工熬夜修改参考文献？研飞自动匹配期刊，一键轻松成稿，支持 Word/WPS
点击下方按钮，免费开启试用！
A decision procedure for propositional projection temporal logic with infinite models
命题投影时态逻辑无限模型判定程序
2007-11-19
Editorial 2024: moving forwards in the electronic age
2024年社论：电子时代的进步
2024-10-26
Minimum status of trees with a given degree sequence
给定度序列的树的最小状态
2022-2-17
$$\mathcal {L}$$-reduction computation revisited
$$\mathcal {L}$$-归约计算再探
2022-3-24
From regular expression matching to parsing
从正则表达式匹配到解析
2022-3-30
Editorial 2024: moving forwards in the electronic age
2024年社论：电子时代的进步
2024-10-26
Serial and parallel algorithms for order-preserving pattern matching based on the duel-and-sweep paradigm
基于决斗与扫描范式的保序模式匹配的串行与并行算法
2024-8-31
Linear-size suffix tries and linear-size CDAWGs simplified and improved
线性大小后缀尝试与线性大小CDAWGs的简化与改进
2024-8-23
Parameterized aspects of distinct kemeny rank aggregation
参数化视角下的不同Kemeny排名聚合
2024-8-15
Word-representable graphs from a word’s perspective
从单词角度看可单词表示图
2024-8-10