Acta Informatica
Last updated ISSN 0001-5903
Acta Informatica is published by Springer Science+Business Media in computer science. It is a subscription journal. The article processing charge is $3,290.
Is your paper a fit?
The surest way to know is to compare your own abstract against what this journal has actually been publishing, rather than against its aims-and-scope page. Paste your abstract and Journal Hunt will tell you how close Acta Informatica is — and show you journals like it.
What it publishes
Recent work in Acta Informatica concentrates on these topics, taken from its published record rather than from its own description:
- Formal Methods in Verification
- Logic, programming, and type systems
- semigroups and automata theory
- Algorithms and Data Compression
- DNA and Biological Computing
- Logic, Reasoning, and Knowledge
- Distributed systems and fault tolerance
- Advanced Database Systems and Queries
- Petri Nets in System Modeling
- Natural Language Processing Techniques
Key facts
| Publisher | Springer Science+Business Media |
|---|---|
| ISSN | 0001-5903, 1432-0525 |
| Subject area | Computer Science |
| Access | Subscription |
| Article processing charge | $3,290 |
| Indexed in | Web of Science — Science Citation Index Expanded · Scopus |
| Articles published | 1,952 |
| Publishing since | 1962 |
| Journal website | www.springer.com/computer/theoretical+computer+scien |
Facts come from OpenAlex, DOAJ and Wikidata and may lag the journal’s own pages. Check the publisher’s site before submitting. Indexing shown here is what is recorded, not a complete picture — about a third of journals have no indexing recorded anywhere we can read, so “not recorded” does not mean a journal is absent from Scopus or Web of Science.
Journals like Acta Informatica
Other established journals in computer science, if this one is not the right home for your paper: