Aims and Scope of Acta Informatica
Acta Informatica is a peer-reviewed scientific journal publishing original research papers in computer science. The journal is known mostly for publications in theoretical computer science. One of the two 1988 papers awarded the Gödel Prize in 1995 has appeared in this journal. Less
Key Metrics
CiteScore 

2.3
Impact Factor 

< 5
SJR 

Q2Software

SNIP 

1.42
Recommended pre-submission checks
Powered by 

Topics Covered on Acta Informatica
Acta Informatica Journal Specifications
| Overview | |
| Publisher | SPRINGER |
| Language | Multi-Language |
| Frequency | Bi-monthly |
| General Details | |
| Language | Multi-Language |
| Frequency | Bi-monthly |
| Publication Start Year | 1971 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Acta Informatica ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Acta Informatica
A lazy and modular approach to int-blasting
- 10 Apr 2026
- Acta Informatica
Space separating special geffert normal form for succinct representation of star-controlled insertion-deletion systems
- 1 Mar 2026
- Acta Informatica
Fast algorithms for window accumulated subsequence matching problem
- 25 Feb 2026
- Acta Informatica
Deterministic tree-walking-storage automata
- 24 Feb 2026
- Acta Informatica
Reconstruction of SMT proofs with Lambdapi
- 23 Feb 2026
- Acta Informatica
Ramsey achievement games on graphs : algorithms and bounds
- 9 Feb 2026
- Acta Informatica
A lazy and modular approach to int-blasting
- 10 Apr 2026
- Acta Informatica
Space separating special geffert normal form for succinct representation of star-controlled insertion-deletion systems
- 1 Mar 2026
- Acta Informatica
Fast algorithms for window accumulated subsequence matching problem
- 25 Feb 2026
- Acta Informatica
Deterministic tree-walking-storage automata
- 24 Feb 2026
- Acta Informatica
Reconstruction of SMT proofs with Lambdapi
- 23 Feb 2026
- Acta Informatica
Ramsey achievement games on graphs : algorithms and bounds
- 9 Feb 2026
- Acta Informatica