
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). Learn about publishing Open Access with us
Journal metrics
- 0.900 (2019)
- Impact factor
- 0.876 (2019)
- Five year impact factor
- 95 days
- Submission to first decision
- 312 days
- Submission to acceptance
- 29,656 (2019)
- Downloads
Latest issue

Latest articles
-
-
-
-
Equilibria for games with combined qualitative and quantitative objectives
Authors (first, second and last of 6)
-
About this journal
- Electronic ISSN
- 1432-0525
- Print ISSN
- 0001-5903
- Abstracted and indexed in
-
- ACM Digital Library
- CNKI
- Current Contents/Engineering, Computing and Technology
- DBLP
- Dimensions
- EBSCO Academic Search
- EBSCO Advanced Placement Source
- EBSCO Applied Science & Technology Source
- EBSCO Computer Science Index
- EBSCO Computer Source: Consumer Edition
- EBSCO Computers & Applied Sciences Complete
- EBSCO Discovery Service
- EBSCO STM Source
- EBSCO Science & Technology Collection
- EI Compendex
- Google Scholar
- INSPEC
- Institute of Scientific and Technical Information of China
- Japanese Science and Technology Agency (JST)
- Journal Citation Reports/Science Edition
- Mathematical Reviews
- Naver
- OCLC WorldCat Discovery Service
- ProQuest ABI/INFORM
- ProQuest Advanced Technologies & Aerospace Database
- ProQuest Business Premium Collection
- ProQuest Central
- ProQuest Computer Science
- ProQuest Computer and Information Systems Abstracts
- ProQuest Pharma Collection
- ProQuest SciTech Premium Collection
- ProQuest Technology Collection
- ProQuest-ExLibris Primo
- ProQuest-ExLibris Summon
- SCImago
- SCOPUS
- Science Citation Index
- Science Citation Index Expanded (SciSearch)
- TD Net Discovery Service
- UGC-CARE List (India)
- zbMATH
- Copyright information