Acta Informatica is a peer-reviewed scientific journal publishing original research papers in computer science. 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.
Journal Home:  Journal Homepage
Editor-in-Chief:  Christel Baier
scope: 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.
Print ISSN:  0001-5903
Electronic ISSN:  1432-0525
Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2021:  0.871
Subject Area and Category:  Computer Science, Library and Information Science, Electronics and Telecommunications
Publication Frequency:  Bimonthly
H Index:  41
Q1:  
Q2:   Computer Networks and Communications,Information Systems,Software
Q3:  
Q4:  
Cite Score:  2.3
SNIP:  1.415
Journal Rank(SJR):  0.623
Latest Articles:   Latest Articles in Acta Informatica
Guidelines for Authors: Acta Informatica Author Guidelines
Paper Submissions: Paper Submissions in Acta Informatica
Publisher:  Springer Berlin Heidelberg
Country:  Germany