投稿《Acta Informatica》杂志需要准备哪些文件？

《Acta Informatica》中文名称：《信息法》，创刊于1971年，由Springer Berlin Heidelberg出版商出版，出版周期Monthly。

Acta Informatica 提供关于程序、计算系统和信息结构的设计与分析的形式化方法文章的国际传播，以及理论计算机科学的相关领域，如自动机理论、计算机科学中的逻辑和算法。

感兴趣的主题包括：

• 编程语言的语义

• 并发、分布式、反应式和移动系统的模型和建模语言

• 定时、混合和概率系统的模型和建模语言

• 规范、程序分析和验证

• 模型检查和定理证明

• 模态、时间、一阶和高阶逻辑及其变体

• 约束逻辑、SAT/SMT 求解技术

• 数据库、半结构化数据和有限模型理论的理论方面

• 人工智能的理论方面，知识表示、描述逻辑

• 自动机理论、形式语言、术语和图形重写

• 基于游戏的模型、综合

• 类型理论、类型演算

• 代数、余代数和分类方法

• 性能、可靠性和可靠性分析的形式化方面

• 信息和网络安全基础

• 并行、分布式和随机算法

• 算法的设计和分析

• 网络和通信协议基础。

投稿《Acta Informatica》需要准备的文件可详细阅读以下要求：

文章要求：

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检索，稿件信息安全保密，合乎学术规范不成功不收费，详情请咨询客服。

声明：该作品系作者结合互联网公开知识整合。如有错漏请联系我们，我们将及时更正。