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
Bulletin of the European Association for Theoretical Computer Science
Bridging Theory and Application in Computer ScienceBulletin 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.
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS
Exploring the Frontiers of 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.
Journal of Logical and Algebraic Methods in Programming
Exploring the Intersection of Logic, Mathematics, and Programming.The Journal of Logical and Algebraic Methods in Programming (ISSN: 2352-2208, E-ISSN: 2352-2216) is a prestigious publication by Elsevier Science Inc, dedicated to advancing the fields of computational theory, programming logic, and mathematical methodologies. Esteemed in its commitment to high-quality research, this journal holds a Q2 ranking in 2023 for Computational Theory and Mathematics, and is recognized in various other disciplines including Logic and Software Studies. The journal’s open access policy enhances its visibility and accessibility, ensuring that cutting-edge research reaches a wider audience of researchers, professionals, and students. With an impressive convergence timeline from 2014 to 2025, it is a vital resource for those seeking to explore innovative algorithms and their applications in diverse areas of informatics. The Journal of Logical and Algebraic Methods in Programming represents a unique intersection of logic, mathematics, and software, carving a significant place in the scholarly discourse of theoretical computer science.
ELECTRONIC JOURNAL OF COMBINATORICS
Exploring Innovative Solutions in Discrete MathematicsELECTRONIC JOURNAL OF COMBINATORICS, an esteemed publication in the field of combinatorial mathematics, has been a significant platform for innovative research since its inception in 1996. Published by the ELECTRONIC JOURNAL OF COMBINATORICS, this open-access journal has made its complete repository freely available since 2014, encouraging broad international collaboration and dissemination of knowledge. The journal maintains a robust reputation, boasting various category quartiles including Q1 rankings in Applied Mathematics and Discrete Mathematics, highlighting its importance in advancing research and applications in these critical fields. With a clear commitment to showcasing high-impact work and contributing to the ongoing discourse in computational theories, the journal appeals to researchers, professionals, and students alike. Scholars can access a wide array of rigorous articles that explore the latest trends and developments in combinatorial techniques, geometry, and topology, making this journal an essential resource for anyone vested in mathematical sciences. For more information, please refer to their office based at the University of Delaware, Department of Mathematical Sciences.
Theory of Computing
Exploring the Depths of Theoretical FrameworksTheory 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.
INFORMATION PROCESSING LETTERS
Connecting Scholars through Rigorous ResearchINFORMATION PROCESSING LETTERS, published by ELSEVIER and with an ISSN of 0020-0190, is a prominent academic journal that serves as a vital resource in the fields of Computer Science, Information Systems, and Signal Processing, among others. As evidenced by its Q3 ranking across various categories in 2023, including Computer Science Applications and Theoretical Computer Science, it provides a rigorous platform for the dissemination of innovative research and theoretical developments. Researchers and professionals can delve into a wide array of subjects pertinent to information processing, contributing to advancements in technology and data management. Although it does not offer Open Access options, the journal maintains an influential presence in scholarly discourse, making it a crucial reference for those engaged in computational innovations and system optimizations. With coverage from 1971 to 2025, it continues to be integral for both seasoned academics and emerging scholars.
International Journal of Computer Mathematics- Computer Systems Theory
Shaping the Future of Computational MathematicsInternational 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 B
Unveiling Insights in Combinatorial ResearchJOURNAL 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.
JOURNAL OF GRAPH THEORY
Charting New Paths in Mathematical ResearchJOURNAL 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.
JOURNAL OF COMBINATORIAL OPTIMIZATION
Unlocking the potential of applied mathematics and computational theory.JOURNAL OF COMBINATORIAL OPTIMIZATION, published by Springer, stands at the forefront of research in the fields of applied mathematics, computational theory, and combinatorial optimization. With an ISSN of 1382-6905 and E-ISSN of 1573-2886, this esteemed journal serves as a vital platform for groundbreaking studies and methodologies from 1997 to 2024. Notably positioned in the Q3 quartile across several categories, including applied mathematics and discrete mathematics, it reflects a commitment to high-quality research that pushes the boundaries of knowledge in quantitative analysis and algorithm development. Although it does not offer open access, its visibility and impact are underscored by impressive Scopus rankings, such as the 67th percentile in discrete mathematics and combinatorics. The journal aims to foster a comprehensive understanding of combinatorial optimization and its applications, making it an indispensable resource for researchers, professionals, and students eager to stay abreast of the latest trends and advancements in these dynamic disciplines.