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.

The International Journal of Reliability Quality and Safety Engineering, published by World Scientific Publishing Co Pte Ltd, is a leading platform for disseminating cutting-edge research in the fields of reliability, quality, and safety engineering. With an impressive scope that spans across aerospace, electrical engineering, nuclear energy, and industrial manufacturing, this journal serves as a critical resource for researchers and professionals aiming to enhance system dependability and operational excellence. Indexed in Scopus, it holds a respectable Q3 ranking across various categories in 2023, reflecting its growing influence in the academic community. Although currently not open access, it provides ample opportunities for scholars to publish impactful studies from its extensive database, which has evolved since 1996. The journal's commitment to advancing knowledge in reliability and safety engineering makes it a pivotal resource for those dedicated to improving engineering practices and protocols worldwide.

Empirical Software Engineering is a leading journal published by Springer, dedicated to advancing the science and practice of software engineering through empirical research. With an impressive impact factor in the Q1 quartile of the Software category and a Scopus ranking of #76 out of 407 journals, it occupies a prominent position within the field, attracting high-quality submissions from around the globe. Since its inception in 1996, the journal has provided a vital platform for disseminating critical findings that drive the evolution of software development methodologies and practices. While it is not an open-access journal, its rigorous peer-review process ensures that only the most impactful research reaches its readership, making it an essential resource for researchers, professionals, and students looking to stay at the forefront of software engineering innovations. Based in the Netherlands at Van Godewijckstraat 30, 3311 GZ Dordrecht, Empirical Software Engineering continues to set the standard for quality and significance in empirical studies of software systems and processes.

International Journal of Software Science and Computational Intelligence (IJSSCI) is a prominent academic journal published by IGI Global, dedicated to advancing the fields of software science and computational intelligence. With its ISSN 1942-9045 and E-ISSN 1942-9037, IJSSCI offers a platform for researchers, practitioners, and students to disseminate innovative research findings, theoretical advancements, and practical applications in areas such as algorithm development, machine learning, and software engineering. Although the journal currently does not operate under an open access model, its rigorous peer-review process ensures high-quality publications that contribute significantly to the academic discourse. Based in Hershey, PA, IJSSCI is recognized for its commitment to fostering collaboration among professionals in the technology and computer science fields, making it an essential resource for those looking to stay at the forefront of software science advancements.

PROGRAMMING AND COMPUTER SOFTWARE is a distinguished journal committed to advancing the field of software development and programming methodologies. Published by PLEIADES PUBLISHING INC, this journal has been a valuable resource since its inception in 1978, reaching out to researchers, professionals, and students alike. With an emphasis on rigorous peer-reviewed articles, the journal holds a Q3 ranking in the realm of Software according to the latest 2023 Category Quartiles. Though it does not offer open access, the journal ensures that high-quality research is disseminated to its audience, providing insights into evolving programming techniques, software engineering challenges, and innovative solutions. With its convergence of years extending to 2024, PROGRAMMING AND COMPUTER SOFTWARE remains a pivotal publication, fostering a deeper understanding of the complexities in computer programming while supporting the broader software community.

Welcome to the ACM Transactions on Mathematical Software, a prestigious journal published by the Association for Computing Machinery (ACM). With an ISSN of 0098-3500 and an E-ISSN of 1557-7295, this journal has been at the forefront of innovation in the field since its inception in 1975. It serves as a critical platform for researchers, professionals, and students, facilitating the dissemination of advanced mathematical techniques and software developments. The journal is recognized for its outstanding impact, evidenced by its Q1 classification in Applied Mathematics and Q2 in Software for 2023, along with an impressive Scopus ranking placing it in the 85th percentile for Applied Mathematics and the 58th percentile for Computer Science. Our objective is to publish high-quality research that explores new methodologies in mathematical software and their applications, driving the field forward. Although not an open access journal, the relevance and rigor of the content ensure that it remains a valuable resource in mathematical and computational sciences. Join us in exploring the latest in mathematical software and contribute to shaping future advancements.

SoftwareX is an innovative open-access journal published by Elsevier that has been championing advancements in the fields of Computer Science and Software since its inception in 2015. With a focus on presenting high-quality research, SoftwareX aims to foster collaboration and knowledge exchange among researchers and practitioners, advancing the way software and tools are developed and disseminated within the community. This journal operates under a flexible access model, allowing broad visibility and accessibility to its diverse readership. Positioned in the Q2 and Q3 quartiles of the Scopus ranking system within the domains of Computer Science Applications and Software respectively, SoftwareX stands as an influential platform for sharing cutting-edge methodologies and innovations. The journal's aim is not only to serve as a repository of knowledge but also to embolden practitioners and scholars alike to engage with and implement findings that can accelerate progress within the realms of software engineering and application. Situated in Amsterdam, Netherlands, SoftwareX has embraced an international reach, welcoming submissions that address complex challenges through novel software solutions.

JOURNAL OF SYSTEMS AND SOFTWARE, published by Elsevier Science Inc, is a premier academic journal that serves as a vital platform for the dissemination of cutting-edge research in the fields of software engineering, information systems, and hardware architecture. With an impressive impact factor and consistently ranking in the Q1 category across several relevant sectors, including hardware and architecture (ranked 33rd out of 177), information systems (ranked 72nd out of 394), and software (ranked 75th out of 407) as of 2023, this journal is recognized for its rigorous peer-review process and high-quality publications. Established in 1979, the journal has become an essential resource for researchers, professionals, and students looking to stay abreast of the latest advancements and emerging trends in systems and software. While the journal does not currently operate under an open-access model, it ensures wide visibility through its indexed publications and is dedicated to advancing scholarly discourse in computer science. With contributions from leading experts in the field, JOURNAL OF SYSTEMS AND SOFTWARE continues to shape the landscape of software and systems research.

ACM Transactions on Programming Languages and Systems (ISSN: 0164-0925, E-ISSN: 1558-4593) is a prestigious journal published by the Association for Computing Machinery, focusing on advancing the field of programming languages and systems. Established in 1979, this enduring publication has become a significant resource for researchers and practitioners alike, with a convergence extending to 2024. The journal maintains a strong presence in the academic community, currently placed in the Q2 category for Software in 2023, demonstrating its commitment to high-quality research. With a Scopus ranking of #260 out of 407 in Computer Science Software, it highlights a unique niche that bridges theoretical foundations and practical implementations. Although it does not offer open access, the journal ensures quality dissemination of tools, methodologies, and innovations that cater to both seasoned professionals and emerging scholars. The ACM Transactions on Programming Languages and Systems thus plays a crucial role in shaping the future of programming languages and their applications, making it an essential read for anyone vested in the field.

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.