Acta Informatica : Impact Factor & More
eISSN: 1432-0525pISSN: 0001-5903
Share this on:
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 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
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
Symbolic execution for refuting ∀∃ hyperproperties
- 27 Oct 2025
- Acta Informatica
Explainability requirements as hyperproperties
- 13 Oct 2025
- Acta Informatica
On integer linear programs for treewidth based on perfect elimination orderings (extended version)
- 26 Aug 2025
- Acta Informatica
Gray-box runtime enforcement of hyperproperties
- 9 Aug 2025
- Acta Informatica
Preserving hyperproperties of programs using primitives with consensus number 2
- 6 Aug 2025
- Acta Informatica
Novel tree-search method for synthesizing SMT strategies
- 4 Aug 2025
- Acta Informatica
Symbolic execution for refuting ∀∃ hyperproperties
- 27 Oct 2025
- Acta Informatica
Explainability requirements as hyperproperties
- 13 Oct 2025
- Acta Informatica
On integer linear programs for treewidth based on perfect elimination orderings (extended version)
- 26 Aug 2025
- Acta Informatica
Gray-box runtime enforcement of hyperproperties
- 9 Aug 2025
- Acta Informatica
Preserving hyperproperties of programs using primitives with consensus number 2
- 6 Aug 2025
- Acta Informatica
Novel tree-search method for synthesizing SMT strategies
- 4 Aug 2025
- Acta Informatica
FAQs on Acta Informatica
How long has Acta Informatica been actively publishing? 
What is the publishing frequency of Acta Informatica?
How many articles did Acta Informatica publish last year?
What is the eISSN & pISSN for Acta Informatica?
What is Citescore for Acta Informatica?
What is SNIP score for Acta Informatica?
What is the SJR for Acta Informatica?
Who is the publisher of Acta Informatica?
Check if your manuscript is a good match for
undefined
Upload your manuscript to get recommendations of journals
that have published papers similar to your manuscript
Drag and drop your file here
We accept manuscripts in English. File format: .doc and .docx | Maximum size: 10 MB | Word count: 200-300,000 words | File length: less than 100 pages
Do not have a manuscript right now? Use an abstract or summary
Your document is 100% secure & confidential We use 256-bit encryption for total security and
ISO/IEC 27001:2013 Certified
What all does the report include
01. Degree of Match
02. Common Topics
03. Additional
Recommendations
Recommendations