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

Journal information

Editor-in-Chief
  • Christel Baier
Publishing model
Hybrid (Transformative Journal). How to publish with us, including Open Access

Journal metrics

0.871 (2021)
Impact factor
1.154 (2021)
Five year impact factor
4 days
Submission to first decision (Median)
37,607 (2021)
Downloads

Latest articles

  1. Reoptimization of parameterized problems

    Authors (first, second and last of 4)

    • Hans-Joachim Böckenhauer
    • Elisabet Burjons
    • Peter Rossmanith
    • Content type: Original Article
    • Open Access
    • Published: 25 July 2022
This journal has 54 open access articles

About this journal

Electronic ISSN
1432-0525
Print ISSN
0001-5903
Abstracted and indexed in
  1. ACM Digital Library
  2. BFI List
  3. Baidu
  4. CLOCKSS
  5. CNKI
  6. CNPIEC
  7. Current Contents/Engineering, Computing and Technology
  8. DBLP
  9. Dimensions
  10. EBSCO Academic Search
  11. EBSCO Advanced Placement Source
  12. EBSCO Applied Science & Technology Source
  13. EBSCO Computer Science Index
  14. EBSCO Computer Source: Consumer Edition
  15. EBSCO Computers & Applied Sciences Complete
  16. EBSCO Discovery Service
  17. EBSCO STM Source
  18. EBSCO Science & Technology Collection
  19. EI Compendex
  20. Google Scholar
  21. INSPEC
  22. Japanese Science and Technology Agency (JST)
  23. Journal Citation Reports/Science Edition
  24. Mathematical Reviews
  25. Naver
  26. Norwegian Register for Scientific Journals and Series
  27. OCLC WorldCat Discovery Service
  28. Portico
  29. ProQuest ABI/INFORM
  30. ProQuest Advanced Technologies & Aerospace Database
  31. ProQuest-ExLibris Primo
  32. ProQuest-ExLibris Summon
  33. SCImago
  34. SCOPUS
  35. Science Citation Index
  36. Science Citation Index Expanded (SCIE)
  37. TD Net Discovery Service
  38. UGC-CARE List (India)
  39. WTI AG
  40. Wanfang
  41. zbMATH
Copyright information

Rights and permissions

Springer policies

© Springer-Verlag GmbH Germany, part of Springer Nature