Acta Informatica
期刊全称
Acta Informatica (ACTA INFORM)
期刊别名
信息学报
ISSN
0001-5903
EISSN
1432-0525
最新影响因子
0.5
5年影响因子
0.8
是否OA
否
中科院分区大类
计算机科学4区
中科院分区小类
计算机：信息系统4区
JCR分区学科名称
COMPUTER SCIENCE, INFORMATION SYSTEMS
JCR分区 (排名)
Q4 (240/258)
期刊介绍
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.
出版周期
Bimonthly
出版年份
1971
期刊收录情况
Science Citation Index、Science Citation Index Expanded、Current Contents - Engineering, Computing & Technology
语言
Multi-Language
出版国家
Germany 德国
出版社名称
Springer New York
出版社缩写
---
出版社网址