中文簡(jiǎn)介

信息學(xué)報(bào)提供有關(guān)程序、計(jì)算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計(jì)和分析的正式方法以及理論計(jì)算機(jī)科學(xué)的相關(guān)領(lǐng)域（如自動(dòng)機(jī)理論、計(jì)算機(jī)科學(xué)中的邏輯和算法）的文章的國(guó)際傳播。感興趣的主題包括：?編程語(yǔ)言的語(yǔ)義?并行、分布式、反應(yīng)式和移動(dòng)系統(tǒng)的模型和建模語(yǔ)言?時(shí)間、混合和概率系統(tǒng)的模型和建模語(yǔ)言?規(guī)范、程序分析和驗(yàn)證?模型檢查和定理證明?模態(tài)邏輯、時(shí)態(tài)邏輯、一階和高階邏輯及其變體?約束邏輯、SAT/SMT求解技術(shù)?數(shù)據(jù)庫(kù)、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面?人工智能、知識(shí)表示、描述邏輯的理論方面?自動(dòng)控制理論、形式語(yǔ)言、術(shù)語(yǔ)和圖形重寫(xiě)?基于游戲的模型，綜合?類(lèi)型理論，類(lèi)型計(jì)算?代數(shù)、代數(shù)和分類(lèi)方法?性能、可靠性和可靠性分析的正式方面?信息和網(wǎng)絡(luò)安全基礎(chǔ)?并行、分布式和隨機(jī)算法?算法的設(shè)計(jì)和分析?網(wǎng)絡(luò)和通信協(xié)議的基礎(chǔ)

　　英文簡(jiǎn)介

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

　　近年期刊自引率趨勢(shì)圖

　　JCR分區(qū)

JCR分區(qū)等級(jí)	JCR所屬學(xué)科	分區(qū)	影響因子
Q4	COMPUTER SCIENCE, INFORMATION SYSTEMS	Q4	0.871

　　近年期刊影響因子趨勢(shì)圖

　　CiteScore數(shù)值

CiteScore	SJR	SNIP	學(xué)科類(lèi)別	分區(qū)	排名	百分位
2.30	0.623	1.415	大類(lèi)：Computer Science 小類(lèi)：Computer Networks and Communications	Q3	202 / 359	43%
			大類(lèi)：Computer Science 小類(lèi)：Information Systems	Q3	201 / 353	43%
			大類(lèi)：Computer Science 小類(lèi)：Software	Q3	266 / 398	33%

　　相關(guān)工程技術(shù)SCI期刊推薦

• SemimonthlyADVANCED MATERIALS
• Journal of Materials Chemistry A
• MonthlyADVANCED FUNCTIONAL MATERIALS
• SemimonthlyAPPLIED CATALYSIS B-ENVIRONMENTAL
• SemimonthlyJOURNAL OF HAZARDOUS MATERIALS
• SemimonthlyJOURNAL OF ALLOYS AND COMPOUNDS
• MonthlyBiotechnology for Biofuels
• Materials Science & Engineering C-Materials for Biological Applications
• MonthlySmall
• MonthlyJOURNAL OF THE ELECTROCHEMICAL SOCIETY