期刊信息
Acta Informatica (ACTA)
http://www.springer.com/computer/theoretical+computer+science/journal/236
影响因子:
0.375
出版商:
Springer
ISSN:
0001-5903
浏览:
11418
关注:
0
征稿
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
最后更新 Dou Sun 在 2022-01-30
相关期刊
CCF全称影响因子出版商ISSN
InformaticaIOS Press0868-4952
bGeoInformatica2.684Springer1384-6175
Brain InformaticsSpringer2198-4018
Scalable Computing Springer2194-6876
cFundamenta Informaticae IOS Press0169-2968
Personalized Medicine Universe Elsevier2186-4950
cJournal of Biomedical Informatics6.317Elsevier1532-0464
Ecological Informatics3.142Elsevier1574-9541
cIEEE Transactions on Industrial Informatics10.21IEEE1551-3203
International Journal of Game Theory and TechnologyAIRCC2455-0892
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
ICAICAIEEE International Conference on Artificial Intelligence and Computer Applications2020-03-312020-04-152020-06-27
BIInternational Conference on Brain Informatics2023-04-152023-05-302023-08-01
Iranian-RadarIranian Conference on Radar and Surveillance Systems2019-07-222019-09-222019-11-20
CNIoT'International Conference on Green Communication, Network and Internet of Things2022-09-10 2022-09-16
b4IHIInternational Health Informatics Symposium2011-06-232011-09-012012-01-28
SE'International Conference on Software Engineering & Trends2023-01-292023-02-182023-05-27
ab3ICMCSInternational Conference on Multimedia Computing and Systems2018-03-182018-03-312018-05-10
b3INDINInternational Conference on Industrial Informatics2022-05-312022-06-212022-07-25
AEAHSSInternational Conference on Advanced Education, Arts, Humanity and Social Science2020-06-16 2020-06-20
APCRASAsia-Pacific Conference on Robotics and Autonomous Systems2020-02-152020-02-202021-03-12
推荐