来源：学术之家整理 2025-03-18 15:37:14
《Acta Informatica》中文名称：《信息法》，创刊于1971年，由Springer Berlin Heidelberg出版商出版，出版周期Monthly。
Acta Informatica 提供关于程序、计算系统和信息结构的设计与分析的形式化方法文章的国际传播，以及理论计算机科学的相关领域，如自动机理论、计算机科学中的逻辑和算法。
感兴趣的主题包括：
• 编程语言的语义
• 并发、分布式、反应式和移动系统的模型和建模语言
• 定时、混合和概率系统的模型和建模语言
• 规范、程序分析和验证
• 模型检查和定理证明
• 模态、时间、一阶和高阶逻辑及其变体
• 约束逻辑、SAT/SMT 求解技术
• 数据库、半结构化数据和有限模型理论的理论方面
• 人工智能的理论方面，知识表示、描述逻辑
• 自动机理论、形式语言、术语和图形重写
• 基于游戏的模型、综合
• 类型理论、类型演算
• 代数、余代数和分类方法
• 性能、可靠性和可靠性分析的形式化方面
• 信息和网络安全基础
• 并行、分布式和随机算法
• 算法的设计和分析
• 网络和通信协议基础。
旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, INFORMATION SYSTEMS工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。
| 机构名称 | 发文量 |
| UNIVERSITATSKLINIKUM DE... | 8 |
| CENTRE NATIONAL DE LA R... | 7 |
| CHINESE ACADEMY OF SCIE... | 4 |
| TECHNICAL UNIVERSITY OF... | 4 |
| UNIVERSITE LIBRE DE BRU... | 4 |
| AALBORG UNIVERSITY | 3 |
| CARL VON OSSIETZKY UNIV... | 3 |
| EAST CHINA NORMAL UNIVE... | 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 |
声明：该作品系作者结合互联网公开知识整合。如有错漏请联系我们，我们将及时更正。
