Acta Informatica

  • 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.

+ About
  • 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.

  • Christel Baier

+ Editor-in-Chief
  • Christel Baier

  • Print ISSN: 0001-5903

    Electronic ISSN: 1432-0525

+ ISSN
  • Print ISSN: 0001-5903

    Electronic ISSN: 1432-0525

  • Science Citation Index Expanded.

  • Scopus.

+ Abstracting and Indexing
  • Science Citation Index Expanded.

  • Scopus.

  • Impact Factor 2015: 0.722

+ Impact Factor
  • Impact Factor 2015: 0.722

  • Computer Sciences, Library and Information Science, Electronics and Telecommunications

+ Subject Area and Category
  • Computer Sciences, Library and Information Science, Electronics and Telecommunications

  • Publisher: Springer Berlin Heidelberg

    Country: Germany

+ Publisher & Country
  • Publisher: Springer Berlin Heidelberg

    Country: Germany