ACTA INFORMATICA

Scope & Guideline

Pioneering Research for a Digital Future.

Introduction

Immerse yourself in the scholarly insights of ACTA INFORMATICA with our comprehensive guidelines detailing its aims and scope. This page is your resource for understanding the journal's thematic priorities. Stay abreast of trending topics currently drawing significant attention and explore declining topics for a full picture of evolving interests. Our selection of highly cited topics and recent high-impact papers is curated within these guidelines to enhance your research impact.
LanguageMulti-Language
ISSN0001-5903
PublisherSPRINGER
Support Open AccessNo
CountryGermany
TypeJournal
Convergefrom 1971 to 2024
AbbreviationACTA INFORM / Acta Inform.
Frequency8 issues/year
Time To First Decision-
Time To Acceptance-
Acceptance Rate-
Home Page-
AddressONE NEW YORK PLAZA, SUITE 4600 , NEW YORK, NY 10004, UNITED STATES

Aims and Scopes

ACTA INFORMATICA is dedicated to advancing the field of computer science, particularly in the areas of algorithms, automata theory, graph theory, and formal methods. The journal emphasizes both theoretical and practical aspects, striving to bridge the gap between abstract concepts and real-world applications.
  1. Algorithm Development:
    The journal publishes research on the design, analysis, and optimization of algorithms, including both serial and parallel approaches tailored for various computational problems.
  2. Automata Theory:
    A core focus is on automata theory, specifically exploring different classes of automata, their properties, and applications in computation and verification.
  3. Graph Theory and Network Analysis:
    Research on graph structures, properties, and algorithms for network analysis, including themes like Hamiltonicity and domination, is a significant area of interest.
  4. Formal Methods and Verification:
    The journal emphasizes formal methods for software verification and synthesis, including runtime verification, model checking, and the use of temporal logic.
  5. Computational Complexity:
    Papers often delve into computational complexity, exploring decidability, complexity classes, and the inherent limitations of computational models.
Recent publications in ACTA INFORMATICA reveal several emerging themes that have gained traction among researchers. These trends highlight the evolving nature of computer science and its interdisciplinary connections.
  1. Quantum Computing and Algorithms:
    There is an increasing focus on quantum computing, with publications exploring quantum algorithms and their implications for traditional computational problems, reflecting the growing interest in this paradigm.
  2. Distributed Systems and Self-Stabilization:
    Research on distributed systems, particularly self-stabilizing algorithms and decentralized verification techniques, is trending, emphasizing the importance of resilient systems in modern computing.
  3. Parameterized Complexity and Approximation Algorithms:
    An emerging theme is the exploration of parameterized complexity and approximation algorithms, indicating a shift towards nuanced computational problems that require sophisticated solutions.
  4. Graph Algorithms with Real-World Applications:
    There is a notable trend towards applying graph algorithms to real-world problems, such as network analysis and optimization, indicating a desire to connect theoretical research with practical applications.
  5. Formal Methods in AI and Machine Learning:
    The integration of formal methods in AI and machine learning research is gaining attention, suggesting a trend towards ensuring reliability and correctness in AI systems.

Declining or Waning

While ACTA INFORMATICA has consistently focused on certain themes, some areas have seen a decline in research activity or interest over the years. This may reflect shifts in the research landscape or a maturing of certain topics.
  1. Natural Language Processing (NLP):
    Research on natural language processing within the journal has decreased, suggesting a shift towards more foundational computer science topics rather than applied linguistics.
  2. Simple Algorithm Surveys:
    There appears to be a waning interest in survey papers that summarize existing algorithms without proposing new methodologies or improvements, as the focus shifts towards original contributions.
  3. Historical Perspectives on Computational Models:
    Papers that focus on historical analyses of computational models or algorithms have become less frequent, indicating a preference for cutting-edge advancements rather than retrospective studies.

Similar Journals

Natural Computing

Harnessing Nature's Power for Cutting-Edge Solutions
Publisher: SPRINGERISSN: 1567-7818Frequency: 4 issues/year

Natural Computing is a leading peer-reviewed journal published by Springer, focusing on the interdisciplinary study of natural computation methods and their applications across various domains. With an ISSN of 1567-7818 and an E-ISSN of 1572-9796, this journal has established itself as vital in the field of Computer Science Applications, as reflected in its esteemed Q2 quartile ranking and a Scopus rank of #358 among 817 journals, placing it in the 56th percentile. Based in the Netherlands, Natural Computing covers a diverse range of topics, including computational models inspired by natural systems, evolutionary algorithms, and swarm intelligence. Seeking to bridge the gap between theoretical research and practical applications, this journal serves researchers, professionals, and students by providing insights and advancements in the field. With a commitment to fostering innovation, Natural Computing aims to push the boundaries of understanding in computational methods inspired by nature, making it an essential resource for those looking to contribute to and stay updated within this dynamic area.

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE

Advancing the Foundations of Computer Science
Publisher: WORLD SCIENTIFIC PUBL CO PTE LTDISSN: 0129-0541Frequency: 6 issues/year

The International Journal of Foundations of Computer Science, published by World Scientific Publishing Co Pte Ltd, is a premier repository for cutting-edge research in the field of computer science, emphasizing foundational theories and methodologies. With an ISSN of 0129-0541 and an E-ISSN of 1793-6373, this journal has established itself as a valuable resource since its inception in 2000, continuously contributing to scholarly discourse up to the present year, 2024. It is ranked in the Q2 quartile of computer science categories, indicating its notable impact and relevance within the academic community, particularly in miscellaneous subsections of the field. While it does not currently offer open access options, it remains a crucial platform for researchers, professionals, and students seeking to deepen their understanding of computational foundations, algorithms, and theoretical frameworks. The journal encourages submissions that push the boundaries of knowledge and invites innovative approaches that address contemporary challenges in computer science.

Advances in Mathematics of Communications

Empowering Research through Innovative Mathematical Insights
Publisher: AMER INST MATHEMATICAL SCIENCES-AIMSISSN: 1930-5346Frequency: 4 issues/year

Advances in Mathematics of Communications, published by the American Institute of Mathematical Sciences (AIMS), is a leading journal dedicated to the dissemination of high-quality research in the fields of algebra, number theory, applied mathematics, discrete mathematics, combinatorics, and computer networks. Established in 2008, this journal has quickly established itself as a significant contributor to mathematical communications, holding a reputable position in the Scopus rankings, with impressive category quartiles, including Q2 rankings in key areas such as Algebra and Number Theory and Applied Mathematics. Besides its rigorous peer-review process, the journal facilitates the growth of innovative ideas and methodologies that bridge the gap between theory and application. With no open access restrictions, Advances in Mathematics of Communications aims to provide an inclusive platform for researchers, professionals, and students to share their findings and insights, fostering collaboration and advancing the global knowledge base in the mathematical sciences. The journal's commitment to excellence ensures its role as an essential resource in the ever-evolving landscape of mathematics.

INFORMATION AND COMPUTATION

Unveiling Insights in Computational Research
Publisher: ACADEMIC PRESS INC ELSEVIER SCIENCEISSN: 0890-5401Frequency: 6 issues/year

INFORMATION AND COMPUTATION is a peer-reviewed academic journal published by Academic Press Inc., Elsevier Science, dedicated to advancing the fields of computational theory and mathematics, computer science applications, and information systems. With an ISSN of 0890-5401 and an E-ISSN of 1090-2651, the journal provides a platform for innovative research that spans theoretical and applied perspectives. Acknowledged for its impact in the community, it holds a Q2 quartile ranking in several categories, including Computational Theory and Mathematics and Computer Science Applications, as of 2023. These rankings place it among the leading journals in its field, making it an essential resource for researchers, professionals, and students aiming to stay abreast of cutting-edge developments. While it does not currently offer Open Access options, the journal intends to foster scholarly communication and knowledge sharing from its inception in 1987 to its future issues expected through 2024. Located in the United States, at 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495, INFORMATION AND COMPUTATION is committed to publishing high-quality research that influences the theoretical foundations and practical applications of its diverse disciplines.

FORMAL ASPECTS OF COMPUTING

Pioneering Insights in Theoretical Computer Science
Publisher: ASSOC COMPUTING MACHINERYISSN: 0934-5043Frequency: 4 issues/year

FORMAL ASPECTS OF COMPUTING is a distinguished journal published by the ASSOCIATION FOR COMPUTING MACHINERY, dedicated to the fields of Software Engineering and Theoretical Computer Science. With the ISSN 0934-5043 and E-ISSN 1433-299X, this journal has made a significant impact in its categories, achieving a Q3 ranking in both Software and Theoretical Computer Science as of 2023. The journal spans over three decades since its inception in 1989, providing a platform for high-quality research that addresses critical formal methods and their applications in computing. While it currently does not offer open access, it remains an essential resource for researchers and practitioners in the field. The journal's credibility is bolstered by its Scopus rankings, placing it in the top half of both theoretical and software-related fields. By engaging with current trends and fostering innovative approaches, FORMAL ASPECTS OF COMPUTING stands as a vital repository of knowledge and a catalyst for future advancements in the discipline.

FORMAL METHODS IN SYSTEM DESIGN

Enhancing system performance through formal methodologies.
Publisher: SPRINGERISSN: 0925-9856Frequency: 6 issues/year

FORMAL METHODS IN SYSTEM DESIGN, published by Springer, is a pivotal journal in the fields of Hardware and Architecture, Software, and Theoretical Computer Science. With an ISSN of 0925-9856 and an E-ISSN of 1572-8102, it has been at the forefront of advancing the understanding and implementation of formal methods since its inception in 1992, with a convergence slated through 2024. Given its ranking in the Q3 category across multiple computer science disciplines, it serves as a critical resource for researchers and practitioners looking to enhance the reliability and performance of complex systems. The journal offers an excellent platform for disseminating high-quality research that addresses the rigorous analytical techniques required for system design, making it invaluable for academics, professionals, and students alike. Notably, FORMAL METHODS IN SYSTEM DESIGN is based in the Netherlands, with its offices located at VAN GODEWIJCKSTRAAT 30, 3311 GZ DORDRECHT, NETHERLANDS, and although it does not currently offer open access, the journal's comprehensive archive remains accessible for deeper research into the formal methodologies that shape contemporary computing paradigms.

JOURNAL OF COMPUTER AND SYSTEM SCIENCES

Championing cutting-edge research in computational theory.
Publisher: ACADEMIC PRESS INC ELSEVIER SCIENCEISSN: 0022-0000Frequency: 8 issues/year

The Journal of Computer and System Sciences is a distinguished publication founded in 1967 and continually striving to push the boundaries of knowledge in computer science and applied mathematics. Published by Academic Press Inc, Elsevier Science, this journal boasts impressive credentials, holding a Q1 quartile ranking across multiple categories including Applied Mathematics, Computational Theory and Mathematics, Computer Networks and Communications, and Theoretical Computer Science as of 2023. With a focus on innovative research and comprehensive theoretical developments, this journal serves as a pivotal forum for authors and readers alike, facilitating cutting-edge contributions to the field. The journal is not currently open access, providing a curated selection of high-quality articles for its subscription residents. By engaging with this journal, researchers, professionals, and students can gain insight into the latest trends, prominent methodologies, and significant findings that shape the modern landscape of computing and systems analysis.

Scientific Annals of Computer Science

Connecting Theoretical Insights with Practical Applications
Publisher: UNIV ALEXANDRU IOAN CUZA IASI-ALEXANDRU IOAN CUZA UNIV IASIISSN: 1843-8121Frequency: 2 issues/year

Scientific Annals of Computer Science, published by Alexandru Ioan Cuza University of Iasi, Romania, is an esteemed open access journal that has been disseminating knowledge since 2007. With the ISSN 1843-8121 and a focus on the fields of applied mathematics and computer science, this journal supports researchers and practitioners by providing a platform for innovative ideas and substantial advancements in computational methodologies. Despite its current Q4 ranking in both Applied Mathematics and General Computer Science categories, the journal is dedicated to expanding the horizons of scientific inquiry through the convergence of theoretical and practical perspectives. Covering research from 2009 to 2024, the journal aims to elevate scholarly communication and ensure accessibility by presenting its articles free of charge, inviting contributions that can shape the future of technology and mathematics. By embracing an open access model, Scientific Annals of Computer Science aligns with the global movement towards making scientific knowledge universally accessible, thereby fostering collaboration and knowledge-sharing among researchers, professionals, and students alike.

RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

Innovating Insights for the Future of Informatics.
Publisher: EDP SCIENCES S AISSN: 0988-3754Frequency: 1 issue/year

RAIRO - Theoretical Informatics and Applications is a renowned academic journal published by EDP Sciences S A that has been at the forefront of disseminating innovative research and applications in the fields of computer science and mathematics since its inception in 1995. With a focus on theoretical and applied aspects of informatics, the journal serves as a vital resource for researchers and professionals seeking to explore the intricacies of computational theories and their practical applications. Although currently lacking an Open Access model, it provides invaluable insights from distinguished researchers within its Q4 category rankings across its pertinent fields. As reflected in its Scopus rankings, including a position in the 24th percentile for General Mathematics and the 9th percentile for Computer Science Applications, RAIRO is pivotal in contributing to the ongoing discourse and advancements in theoretical informatics. Researchers, professionals, and students will find this journal critical in understanding emerging trends and challenges in the rapidly evolving domains of computer science and mathematics.

Theoretical Computer Science

Exploring the Foundations of Algorithms and Logic
Publisher: ELSEVIERISSN: 0304-3975Frequency: 48 issues/year

Theoretical Computer Science, published by Elsevier, serves as a pivotal platform in the field of computational theory, exploring the foundational aspects of computer science and mathematical logic since its inception in 1975. With both a print ISSN of 0304-3975 and an E-ISSN of 1879-2294, this journal is esteemed for its rigorous peer-review process and commitment to advancing knowledge in theoretical frameworks and algorithms. Positioned in the Q2 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories, it ranks #124 out of 232 in general computer science and #73 out of 130 in theoretical computer science according to Scopus metrics, reflecting its significant influence and reach within the academic community. Researchers and professionals can access this journal through institutional subscriptions, providing a plethora of high-quality articles that contribute to ongoing debates and developments in the discipline. The journal's scope encompasses a wide array of topics, ensuring relevance across various subfields, thus making it an essential resource for anyone dedicated to furthering their understanding of theoretical computer science.