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.

Advances 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 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.

Discrete Mathematics Algorithms and Applications, published by World Scientific Publishing Co Pte Ltd, stands as a pivotal resource in the field of discrete mathematics and combinatorics since its inception in 2009, with a convergence period extending to 2024. The journal holds an esteemed position within its category, ranked in the Q3 quartile according to latest metrics, recognized for its qualitative contributions to the academic community. With an ISSN of 1793-8309 and an E-ISSN of 1793-8317, it serves as a vital conduit for disseminating innovative research focused on algorithms and their applications within discrete mathematics. Although currently not an open access journal, it provides access to valuable insights and findings that are crucial for researchers, professionals, and students seeking to advance their understanding and application of discrete mathematical concepts. Based in Singapore, the journal continues to promote rigorous scholarly discourse and is a key publication for those involved in advancing the discipline.

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.

Welcome to the SIAM Journal on Computing, a premier publication of SIAM Publications dedicated to advancing the field of computational science. Established in 1984, this journal provides a platform for groundbreaking research and theoretical advancements that shape the landscape of both Computer Science and Mathematics. With an impressive impact factor and consistently ranking in Q1 quartiles for its categories, the journal remains an essential resource for scholars looking to contribute to innovative computational theories and methodologies. Although not currently an open-access journal, the SIAM Journal on Computing offers rigorous peer-reviewed articles, ensuring high-quality contributions that appeal to researchers, professionals, and students alike. As we converge towards 2024, this journal continues to play a vital role in influencing future research directions and fostering an academic community devoted to the exploration of computational challenges. Join us in exploring the forefront of computing research!

Theoretical Computer Science, published by Elsevier, serves as a pivotal platform in the field of computational theory, exploring the foundational aspects of computer science and mathematical logic since its inception in 1975. With both a print ISSN of 0304-3975 and an E-ISSN of 1879-2294, this journal is esteemed for its rigorous peer-review process and commitment to advancing knowledge in theoretical frameworks and algorithms. Positioned in the Q2 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories, it ranks #124 out of 232 in general computer science and #73 out of 130 in theoretical computer science according to Scopus metrics, reflecting its significant influence and reach within the academic community. Researchers and professionals can access this journal through institutional subscriptions, providing a plethora of high-quality articles that contribute to ongoing debates and developments in the discipline. The journal's scope encompasses a wide array of topics, ensuring relevance across various subfields, thus making it an essential resource for anyone dedicated to furthering their understanding of theoretical computer science.

Theory 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 SCIENCES, published by Elsevier Science Inc, is a premier peer-reviewed journal that has become instrumental in advancing the field of information science since its inception in 1968. With an impressive array of quartile rankings in 2023, including Q1 in Artificial Intelligence, Computer Science Applications, Control and Systems Engineering, Information Systems and Management, Software, and Theoretical Computer Science, this journal serves as a vital resource for researchers and professionals looking to explore cutting-edge theories and practical applications within these domains. The journal is indexed extensively, with notable Scopus rankings, reflecting its significance and influence in the academic community—ranked 6th in Theoretical Computer Science and 10th in Information Systems and Management, among others. Although it does not currently offer an open-access option, the depth of research published within INFORMATION SCIENCES ensures that it remains a key reference point for advancing academic inquiry and addressing complex challenges in the information landscape.

Computer Science Journal of Moldova, published by the Institute of Mathematics and Computer Science Academy, serves as a pivotal platform for disseminating research in the field of computer science since its inception in 1993. With a focus on a diverse range of subjects, including Artificial Intelligence, Computational Mathematics, and Software Engineering, this open access journal aims to foster innovation and collaboration among researchers, students, and industry professionals. Despite its current positioning in the lower quartiles as per the latest Scopus rankings, the journal remains committed to enhancing the visibility of regional research and addressing contemporary challenges through scholarly contributions. The journal’s open access model ensures that knowledge is freely available, promoting broader readership and impact within the international academic community. As it moves through the converged years from 2019 to 2024, the Computer Science Journal of Moldova continues to aspire toward empowering the next generation of computer scientists while enriching the global dialogue in this rapidly evolving field.