FUNDAMENTA INFORMATICAE
Scope & Guideline
Bridging Disciplines for a Deeper Understanding of Technology.
Introduction
Aims and Scopes
- Theoretical Computer Science:
The journal emphasizes fundamental theories and models in computer science, exploring topics such as automata theory, complexity theory, and formal languages. - Graph Theory and Combinatorics:
Contributions related to graph structures, algorithms, and their combinatorial properties are prevalent, addressing both theoretical aspects and practical applications. - Concurrency and Petri Nets:
A significant focus on concurrency theory, particularly Petri nets, their applications, and related verification techniques, highlighting methodologies for modeling and analyzing concurrent systems. - Coding Theory and Information Theory:
Research in coding theory, including identification codes and error correction techniques, is a core area, contributing to advancements in secure and efficient data transmission. - Logic and Formal Methods:
The journal covers logical frameworks and formal methods in computer science, exploring their implications for software development and verification. - Algorithm Design and Complexity:
Papers discussing algorithmic strategies, complexity assessments, and optimization problems are central to the journal's scope, reflecting the ongoing need for efficient computational methods.
Trending and Emerging
- Complexity and Verification of Systems:
There is a growing emphasis on the complexity of systems and verification methodologies, particularly in the context of concurrent and distributed systems, which is crucial for ensuring system reliability. - Interdisciplinary Approaches to Informatics:
Recent publications show an increasing trend towards interdisciplinary research, integrating concepts from mathematics, logic, and computer science to tackle complex problems. - Advanced Coding Techniques and Their Applications:
The journal is witnessing a rise in studies focusing on novel coding techniques, particularly identification and error-correcting codes, reflecting the ongoing need for secure communication methods. - Modeling and Analysis of Dynamic Systems:
Emerging themes include advanced methodologies for modeling dynamic systems, particularly in the context of Petri nets and other formal methods, showcasing a trend towards understanding complex behaviors in systems. - Graph Theory Innovations:
Innovative approaches and new findings in graph theory are increasingly prominent, suggesting a revitalization of interest in this area, particularly regarding its applications in network theory.
Declining or Waning
- Data Science and Machine Learning:
Although data science and machine learning were once prominent themes, recent publications indicate a decline in research focusing on these areas, suggesting a shift back to more foundational topics. - Traditional Software Engineering:
Research specifically targeting classical software engineering practices is less frequent, possibly overshadowed by more theoretical explorations of automated reasoning and formal methods. - Applications of Automata Theory in Natural Language Processing:
While automata theory remains vital, its application within natural language processing appears to be declining, possibly due to the rise of deep learning approaches that dominate the field. - Graph Algorithms for Real-World Applications:
There has been a noticeable decrease in research focusing on practical applications of graph algorithms, with a shift towards more theoretical explorations of graph properties.
Similar Journals
THEORY OF COMPUTING SYSTEMS
Unraveling the Mysteries of Computational TheoryTHEORY OF COMPUTING SYSTEMS, published by SPRINGER, is a renowned journal that has been a cornerstone in the fields of computational theory and theoretical computer science since its inception in 1996. With an ISSN of 1432-4350 and an E-ISSN of 1433-0490, this journal is committed to disseminating high-quality research that explores the underlying principles of computing systems and their theoretical foundations. Positioned in the Q2 category for both Computational Theory and Mathematics and Theoretical Computer Science, it plays a vital role in advancing scholarly dialogue and innovation within these disciplines, as evidenced by its rankings within the Scopus index. Researchers and professionals can access this journal in various formats, ensuring that cutting-edge research is readily available for a global audience. With a clear focus on fostering interdisciplinary collaboration and exploring emerging trends, THEORY OF COMPUTING SYSTEMS is essential reading for anyone interested in the evolution of computing theory and its applications.
International Journal of Computer Mathematics- Computer Systems Theory
Advancing the Frontiers of Computational KnowledgeInternational Journal of Computer Mathematics - Computer Systems Theory, published by Taylor & Francis Ltd, is a vital resource in the fields of computational mathematics and computer systems theory. With an ISSN of 2379-9927 and E-ISSN 2379-9935, this journal has established a prominent presence in academia since its inception in 2016. It is categorized in the Q3 quartile for both Computational Mathematics and Computational Theory in 2023, reflecting its impact and contribution to the scholarly discourse within these domains. The journal’s Scopus rankings further emphasize its academic relevance, placing it in the 38th and 33rd percentiles in their respective categories. International Journal of Computer Mathematics aims to disseminate innovative research findings, methodologies, and theoretical advancements, making it an essential publication for researchers, professionals, and students looking to deepen their understanding of computational methods and applications. Although it currently does not offer open access, the journal continues to provide insightful contributions to the scientific community, fostering the evolution of computational sciences.
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS
Illuminating Pathways in Theoretical Informatics.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.
ACM Transactions on Computation Theory
Driving Innovation in Computational Theory and Mathematics.ACM Transactions on Computation Theory, published by the Association for Computing Machinery, is a prestigious journal dedicated to advancing the field of computation theory and theoretical computer science. With an ISSN of 1942-3454 and an E-ISSN of 1942-3462, this journal serves as a vital resource for researchers and professionals seeking to explore groundbreaking developments in computational models, algorithms, and their mathematical foundations. The journal's rigorous standards have earned it a significant position within the academic community, as evidenced by its 2023 category quartiles, ranking in the Q1 category for Computational Theory and Mathematics and Q2 for Theoretical Computer Science. Although it operates through traditional subscription access, it maintains a critical role in disseminating cutting-edge research and fostering collaboration among experts in the United States and beyond. As an influential platform, ACM Transactions on Computation Theory is committed to contributing to the ongoing dialogue and advancement of computation theory, making it essential reading for anyone passionate about this dynamic field.
Bulletin of the European Association for Theoretical Computer Science
Fostering Innovation in Theoretical Computer Science ResearchBulletin of the European Association for Theoretical Computer Science is a distinguished journal dedicated to the field of theoretical computer science, published by the European Association for Theoretical Computer Science. With its focus on theoretical underpinnings, algorithmic framework, and the advancement of computational theories, this journal serves as a crucial platform for researchers, professionals, and students alike. While not an open access journal, it offers vital insights and findings that significantly contribute to the academic community in theoretical computer science. The journal is headquartered in Greece, at the Computer Technology Institute and Press-CTI in Rio, symbolizing a rich tradition of scholarly exchange within the European context. Researchers aiming to disseminate their work in this niche yet impactful area will find the Bulletin's blend of rigor and relevance invaluable as they seek to push the boundaries of knowledge in computational theory.
JOURNAL OF COMBINATORIAL THEORY SERIES B
Pioneering Innovations in Theoretical Computer ScienceJOURNAL OF COMBINATORIAL THEORY SERIES B, published by Academic Press Inc., Elsevier Science, is an esteemed journal within the discipline of combinatorial theory, discrete mathematics, and theoretical computer science. With a rich history since its inception in 1971 and ongoing publication through 2025, this journal has established itself as a pillar in its field, currently holding Q1 category rankings in multiple areas including Computational Theory and Mathematics, Discrete Mathematics and Combinatorics, and Theoretical Computer Science. The journal features cutting-edge research and developments, attracting contributions from both established professionals and emerging scholars. Despite the absence of an open access option, the journal's strong impact reflected in its Scopus ranks—such as being number 16 out of 92 in Discrete Mathematics and Combinatorics (83rd percentile)—signifies its influential role in advancing knowledge and innovation. Researchers seeking to share impactful findings and connect with a vibrant academic community will find the JOURNAL OF COMBINATORIAL THEORY SERIES B an essential resource.
Logical Methods in Computer Science
Exploring the synergy between theory and application.Logical Methods in Computer Science is a premier Open Access journal dedicated to fostering scholarly dialogue within the realms of Computer Science and Theoretical Computer Science. Established in 2004 and published by LOGICAL METHODS COMPUTER SCIENCE E V in Germany, this journal aims to bridge theoretical frameworks and practical applications, providing a platform for innovative research and discoveries. With an impressive HIndex reflecting its commitment to high-quality research, Logical Methods in Computer Science has achieved a Q2 ranking in both the miscellaneous and theoretical categories of computer science, indicating its growing influence in the academic community. Researchers, professionals, and students are encouraged to access and engage with the wealth of knowledge this journal offers, which is freely accessible to facilitate widespread dissemination of cutting-edge advancements in logical methods. With its convergence period extending from 2005 to 2024, Logical Methods in Computer Science continues to be a vital resource for those looking to explore the intersections of logic, computation, and mathematics.
DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
Unlocking the Potential of Mathematics in the Digital AgeDISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, published by DISCRETE MATHEMATICS THEORETICAL COMPUTER SCIENCE in France, stands as a significant open-access journal since 1997, publishing innovative research articles within the intersecting disciplines of discrete mathematics and theoretical computer science. With an ISSN of 1462-7264 and an E-ISSN of 1365-8050, this journal aims to provide a platform for scholarly discourse and dissemination of knowledge, making it accessible to a global audience. It is recognized for its contributions, achieving a Q2 ranking in both Computer Science (Miscellaneous) and Discrete Mathematics and Combinatorics, alongside a Q3 ranking in Theoretical Computer Science as of 2023. The journal’s rigorous selection process ensures that only high-quality research is published, promoting advancements in these critical areas of study. Researchers, professionals, and students alike can benefit from its comprehensive articles that not only enhance theoretical understanding but also foster practical applications in the ever-evolving landscape of computer science.
JOURNAL OF GRAPH THEORY
Pioneering Research in Discrete Mathematics and CombinatoricsJOURNAL OF GRAPH THEORY, published by WILEY, stands as a pivotal resource in the fields of Discrete Mathematics and Combinatorics, as well as Geometry and Topology. Since its inception in 1977, this esteemed journal has fostered the dissemination of influential research, currently categorized in the prestigious Q1 quartile according to the latest metrics for 2023. With an ISSN of 0364-9024 and an E-ISSN of 1097-0118, it caters to a global readership of researchers, professionals, and students dedicated to advancing their knowledge in graph theory. By maintaining a strong rank in Scopus—39th out of 106 in Geometry and Topology, and 38th out of 92 in Discrete Mathematics and Combinatorics—it reflects its significance and impact within the academic community. Although it does not offer open-access options, its rigorous peer-review process ensures that only high-quality original research is published, thus reinforcing its reputation as a leading journal in this mathematical domain.
Australasian Journal of Combinatorics
Empowering Scholars in Discrete MathematicsThe Australasian Journal of Combinatorics, published by the CENTRE DISCRETE MATHEMATICS & COMPUTING, serves as a vital platform for researchers and professionals engaged in the dynamic field of discrete mathematics and combinatorics. With an ISSN of 2202-3518 and an E-ISSN of the same, this journal has been committed to open access since 2014, ensuring that groundbreaking research is readily available to a global audience. Based in Australia, specifically at the Department of Mathematics, University of Queensland, this journal spans the years from 1996 to 2024, showcasing the evolution of combinatorial research over nearly three decades. Recognized in the 2023 category quartiles as Q3 in Discrete Mathematics and Combinatorics, it ranks 68th out of 92 in Scopus, reflecting its growing influence despite its current percentile of 26th. The Australasian Journal of Combinatorics is dedicated to fostering innovative research and theoretical development, making it a valuable resource for academics and students alike.