Acta Informatica

Aims & 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.

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.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	0.5
2024	0.40

SJR (SCImago Journal Rank)

Year	Value
2024	0.280

Quartile

Year	Value
2024	Q3

Journal Rank

Year	Value
2024	17321

Journal Citation Indicator

Year	Value
2024	57

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Quad trees a data structure for retrieval on composite keys

  Citation: 1393

  Authors: R. A., J. L.

• The log-structured merge-tree (LSM-tree)

  Citation: 941

  Authors: Patrick, Edward, Dieter, Elizabeth

• Organization and maintenance of large ordered indexes

  Citation: 936

  Authors: R., E. M.

• A fast algorithm for Steiner trees

  Citation: 872

  Authors: L., G., L.

• Proof of correctness of data representations

  Citation: 797

  Authors: C. A. R.

• An axiomatic proof technique for parallel programs I

  Citation: 703

  Authors: Susan, David

• The programming language pascal

  Citation: 499

  Authors: N.

• Hierarchical ordering of sequential processes

  Citation: 467

  Authors: E. W.

• Optimal scheduling for two-processor systems

  Citation: 436

  Authors: E. G., R. L.

• The algebraic specification of abstract data types

  Citation: 334

  Authors: J.V., J.J.

---