FUNDAMENTA INFORMATICAE
Scope & Guideline
Championing Innovative Studies in Mathematics and Computer Science.
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
Innovating Ideas for Tomorrow's Computing ChallengesTheory of Computing, published by the University of Chicago, Department of Computer Science, is a prestigious journal that has established itself as a leading platform in the fields of Computational Theory and Theoretical Computer Science. With its ISSN 1557-2862, the journal has earned a reputation for high-quality, peer-reviewed research, positioning itself in the Q1 quartile for both Computational Theory and Mathematics, as well as Theoretical Computer Science as of 2023. Despite its limited open access options, the journal remains a vital resource for researchers and academics, providing insights that push the boundaries of theoretical frameworks and methodologies in computer science. The journal's commitment to rigorous scholarship serves to foster innovation and deepen understanding in a rapidly evolving field, making it an essential reference for professionals, students, and practitioners alike.
DISCRETE MATHEMATICS
Unraveling the complexities of mathematical structures.DISCRETE MATHEMATICS, published by Elsevier, is a leading journal dedicated to the field of discrete mathematics and combinatorics, with a distinguished presence in the academic community since its inception in 1971. With an ISSN of 0012-365X and an E-ISSN of 1872-681X, this esteemed journal has firmly established itself within the Q1 category for Discrete Mathematics and Combinatorics, and Q2 for Theoretical Computer Science as per the 2023 metrics, underscoring its pivotal role in advancing research in these vital areas. DISCRETE MATHEMATICS is highly regarded, reflected in its Scopus rankings, where it stands at #44 out of 92 in its primary category, contributing significantly to the global discourse on complex mathematical theories and applications. Published from the Netherlands, the journal serves as a crucial resource for researchers, professionals, and students looking to stay informed about the latest innovations and methodologies in discrete mathematics. Though currently not an open-access journal, DISCRETE MATHEMATICS continues to foster a vibrant scholarly community through rigorous peer-reviewed research, promoting a deeper understanding of the mathematical structures that underpin both theoretical and applied science.
Discussiones Mathematicae Graph Theory
Advancing the Frontiers of Graph TheoryDiscussiones Mathematicae Graph Theory is a prestigious peer-reviewed journal published by UNIV ZIELONA GORA, specializing in the dynamic fields of Graph Theory, Discrete Mathematics, and Applied Mathematics. With an ISSN of 1234-3099 and an E-ISSN of 2083-5892, this Open Access journal has been providing unrestricted access to its content since 2013, promoting widespread dissemination and engagement in academic research. Established in 2009 and continuing its influential publication through 2024, Discussiones Mathematicae Graph Theory is committed to fostering collaborations and innovations among researchers, professionals, and students alike. Its impressive category quartiles for 2023 show it ranks within the Q3 range for both Applied Mathematics and Discrete Mathematics and Combinatorics, as well as good positions within the Scopus rankings, ensuring its critical relevance in the mathematical community. By continuously highlighting groundbreaking research in graph theory, this journal stands as a vital resource for anyone looking to advance their knowledge and contribute to the evolving landscape of mathematics.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Elevating research standards in computer and system sciences.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.
Advances in Mathematics of Communications
Championing Excellence in Applied Mathematics and AlgebraAdvances 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.
International Journal of Computer Mathematics- Computer Systems Theory
Transforming Ideas into Mathematical SolutionsInternational 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.
JOURNAL OF COMBINATORIAL THEORY SERIES A
Championing Excellence in Combinatorial Research.JOURNAL OF COMBINATORIAL THEORY SERIES A, published by Academic Press Inc. Elsevier Science, stands as a pivotal platform for researchers in the realm of combinatorial mathematics and theoretical computer science. With an impact factor that underscores its influence and a well-respected reputation reflected in its rapid ascent to Q1 rankings in discrete mathematics and computational theory, this journal serves as a critical resource for academics seeking to advance their understanding of complex combinatorial structures and algorithms.
Founded in 1971, the journal covers a wide spectrum of topics within combinatorial theory, providing a robust forum for innovative research and theoretical advancements until 2025. Including a strong position in the Scopus rankings—notably, it ranks #10 out of 92 in discrete mathematics—the journal is essential for both emerging scholars and established professionals committed to pushing the boundaries of mathematical and computational inquiry. Researchers are encouraged to submit their findings to this esteemed publication, as it offers a non-open-access model that ensures rigorous peer review and high visibility within the academic community.
ACTA INFORMATICA
Connecting Ideas in Networks and Communications.ACTA INFORMATICA is a prestigious academic journal published by Springer, dedicated to advancing the fields of computer networks and communications, information systems, and software engineering. With an ISSN of 0001-5903 and an E-ISSN of 1432-0525, the journal has continued to thrive since its inception in 1971 and is set to cover research up until 2024. Although it currently operates within a Q3 category in its respective fields, it is recognized for providing a platform for high-quality, peer-reviewed research, which is essential for fostering innovation and knowledge dissemination in computer science. While it does not offer an open access option, scholars benefit from its rigorous editorial standards and comprehensive coverage of significant trends and methodologies. The journal is conveniently based in New York, NY, USA, further enhancing its accessibility to a global audience. Researchers, professionals, and students alike will find ACTA INFORMATICA a valuable resource for staying abreast of the latest developments and breakthroughs in this vital area of study.
JOURNAL OF COMBINATORIAL THEORY SERIES B
Fostering Collaboration in Combinatorial TheoryJOURNAL 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
Fostering groundbreaking research in logical methodologies.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.