Frontiers of Computer Science is a leading peer-reviewed journal dedicated to advancing the field of computer science through the publication of high-quality research articles, reviews, and theoretical discussions. Published by HIGHER EDUCATION PRESS, this journal has gained significant recognition, currently boasting a prestigious impact factor and ranking in the Q1 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories in 2023. With a focus on the intersection of computational theory and practical applications, it serves as a vital platform for researchers, professionals, and students alike who are eager to contribute to and stay updated with groundbreaking developments. The journal’s scope encompasses a wide range of topics, reflecting the diverse nature of computer science today. Operating from Beijing, China, it emphasizes Open Access, ensuring that vital research is readily available to the global academic community. With its convergence period spanning from 2013 to 2024, Frontiers of Computer Science remains committed to fostering innovation and scholarly dialogue that drives the future of technology.

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.

International Journal on Software Tools for Technology Transfer (ISSN: 1433-2779; E-ISSN: 1433-2787), published by SPRINGER HEIDELBERG, stands as a pivotal platform for advancing the intersection of software engineering and technology transfer. Operating out of Germany, this esteemed journal has contributed significantly to the field since its inception in 1997 and continues to disseminate cutting-edge research through 2024. With a current impact footprint reflected in its Q2 status in Information Systems and Q3 in Software categories, it holds an impressive Scopus rank in the top 60th and 52nd percentiles respectively. Researchers, professionals, and students alike will find its commitment to exploring innovative software tools and techniques essential for enhancing technology transfer processes invaluable. Although the journal does not offer open access, its rigorously peer-reviewed articles are crucial for those seeking high-quality research insights.

RAIRO-Operations Research is a distinguished journal published by EDP Sciences S A, focusing on the intricate fields of operations research, management science, and computer science applications. Established in 1977, this French-based journal encompasses a rich legacy of contributing to theoretical advancements and practical applications that equip researchers, professionals, and students with the insights necessary to navigate complex decision-making environments. With a notable Scopus ranking in various categories, including a Q3 position in Computer Science Applications, Management Science and Operations Research, and Theoretical Computer Science, the journal aims to foster innovation and share impactful research findings. As an insightful platform, RAIRO-Operations Research is essential for those seeking to deepen their understanding and enhance their expertise in operational methodologies, while also offering a range of access options for its wide readership. Delve into the journal to explore transformative research that pushes the boundaries of operations research.

Science of Computer Programming, published by Elsevier, is a leading journal dedicated to advancing knowledge in the fields of computer programming, computational theory, and software development. With a focus on interdisciplinary research that spans computational methodologies, information systems, and simulation modeling, this journal plays a vital role in disseminating innovative findings and fostering collaboration among experts in these dynamic areas. With a respectable impact factor and ranked in various Scopus Categories such as computational theory (Q3) and information systems (Q2), it provides a platform for high-quality scholarly articles that push the boundaries of programming science. Although currently not open access, the journal offers invaluable insights for researchers, professionals, and students alike, ensuring they are equipped with the latest advancements and methodologies to thrive in an ever-evolving technological landscape. The journal covers research from its convergence starting in 1981 and continues to welcome groundbreaking contributions as it looks forward to an exciting future through 2025 and beyond.

Genetic Programming and Evolvable Machines, published by SPRINGER, is a leading journal dedicated to the fields of genetic algorithms, evolutionary computation, and machine learning. With an ISSN of 1389-2576 and an E-ISSN of 1573-7632, this esteemed journal encompasses original research articles, reviews, and applications that explore the intricate relationships between intelligent systems and evolutionary processes. As of 2023, it holds a notable Q2 ranking in various categories including Computer Science Applications and Hardware and Architecture, reflecting its significant impact in advancing knowledge and methodologies within these domains. The journal's metrics, including a top rank of #31/130 in Theoretical Computer Science, signify its relevance and contribution to the broader academic community. Though not open access, papers published in the journal continue to serve as critical resources for both researchers and practitioners, promoting innovative methodologies and solutions. Covering a broad scope with a convergence extending from 2003 to 2024, this journal remains a pivotal platform for sharing cutting-edge research that shapes the future of artificial intelligence and computational theory.

Software and Systems Modeling is a premier journal published by Springer Heidelberg, dedicated to advancing the fields of software engineering, modeling, and systematic design. With an ISSN of 1619-1366 and an E-ISSN of 1619-1374, this journal has established itself as a critical resource for researchers and practitioners alike since its inception in 2005. The journal currently holds a Q1 quartile ranking in the Modeling and Simulation category and a Q2 ranking in Software, reflecting its influential contributions to the field. Its Scopus rankings further underscore its relevance, positioned at #55 in Modeling and Simulation and #139 in Software, with impressive percentiles of 83rd and 65th respectively. Although it does not currently offer open access, it remains an essential platform for disseminating innovative research and fostering dialogue among professionals in Germany and beyond. The journal’s objective is to publish high-quality articles that contribute to the understanding and development of software and systems modeling, ensuring ongoing advancements in this dynamic arena.

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.

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.

Fuzzy Optimization and Decision Making, published by Springer, is a prestigious academic journal that has made significant contributions to the fields of Artificial Intelligence, Logic, and Software. With an impressive impact factor and a consistent ranking in the top Q1 quartile across its categories, this journal stands at the forefront of research dissemination in its domain. Established in 2002 and continuing through 2024, the journal focuses on the theoretical and practical aspects of fuzzy optimization methods and their applications in decision-making scenarios. The journal is highly regarded for its rigorous peer-review process and aims to present innovative research findings that inspire advancements in optimization techniques using fuzzy logic. Aimed at researchers, professionals, and students alike, Fuzzy Optimization and Decision Making serves as an essential resource for those looking to stay at the cutting edge of technology and methodology in mathematics and computer science.