ACTA INFORMATICA
Note: The following journal information is for reference only. Please check the journal website for updated information prior to submission.
Journal Title
ACTA INFORMATICA
ACTA INFORM
ISSN / eISSN
0001-5903 / 1432-0525
Aims and 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.
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.
Subject Area
COMPUTER SCIENCE, INFORMATION SYSTEMS
CiteScore
2.10
View Trend
CiteScore Ranking
Category | Quartile | Rank |
---|---|---|
Computer Science - Information Systems | Q3 | #245/379 |
Computer Science - Computer Networks and Communications | Q3 | #250/379 |
Computer Science - Software | Q3 | #302/404 |
Web of Science Core Collection
Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
---|---|
Indexed | - |
Category (Journal Citation Reports 2023) | Quartile |
---|---|
COMPUTER SCIENCE, INFORMATION SYSTEMS - SCIE | Q4 |
H-index
34
Country/Area of Publication
GERMANY
Publisher
Springer Berlin Heidelberg
Publication Frequency
Monthly
Year Publication Started
1971
Annual Article Volume
24
Open Access
NO
Contact
SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationFind the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
Search