• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

德国
投稿预审
Acta Informatica 中科院4区 JCR:Q4 SCIE EI CA PubMed JST
发文量 1,994
被引量 44,560
影响因子(2025版) 0.432

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

  • 主办单位： SPRINGER
  • 出版地区： NEW YORK
  • 出版周期： 双月刊
  • 别名： ACTA INFORM;Acta Inform.;信息学报;ACTA INFORMATICA
  • 国际标准连续出版物号/电子版： ISSN 0001-5903 / EISSN 1432-0525
  • 创刊时间： 1971年
热门主题：

Model CheckingFinite AutomataProgramming LanguagesTemporal LogicData StructuresConcurrent SystemsDistributed SystemsLower BoundProcess AlgebraReactive SystemsTime ComplexityRegular ExpressionsTransition SystemBinary SearchData StructureRegular LanguageTime AlgorithmLinear Temporal LogicTimed AutomataPushdown Automata

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
  • 4
  • 8
目录
封面
2025年4期

2025年4期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号