REAL-TIME SYSTEMS is a pivotal journal published by SPRINGER, specializing in the field of computer science and engineering with a focus on real-time systems and their applications. Since its inception in 1989, this journal has become an essential resource for researchers and professionals dedicated to advancing the understanding of real-time computing, control systems, and optimization techniques. With a notable Impact Factor reflective of its rigorous peer-review process, REAL-TIME SYSTEMS is positioned in the Q2 and Q3 categories across multiple relevant disciplines, including Electrical and Electronic Engineering and Computer Networks and Communications. The journal features a wide range of original research articles, case studies, and reviews, aiming to disseminate high-quality findings that fuel innovation and development in real-time systems. Though it operates under a conventional access model, the comprehensive insights it offers are invaluable for academics, industry professionals, and students alike, nurturing a deeper appreciation for the intricacies and evolving nature of real-time systems.

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.

IT-Information Technology, published by WALTER DE GRUYTER GMBH, is a prestigious academic journal based in Germany that focuses on the multifaceted developments in the field of information technology. With an impressive Q2 ranking in Computer Science (Miscellaneous) and a Scopus ranking of #87 out of 232, this journal serves as a vital resource for researchers, professionals, and students interested in the latest advancements and research across various aspects of IT. Although currently operating under traditional access options, its rich repository of knowledge spans significant periods, notably from 1987 to 1988 and 1996 to 2024, making it essential reading for those seeking to deepen their understanding of computational innovations and methodologies. The journal's commitment to publishing high-quality research ensures that it remains a key player in shaping the discourse within the IT community.

Scientific Annals of Computer Science, published by Alexandru Ioan Cuza University of Iasi, Romania, is an esteemed open access journal that has been disseminating knowledge since 2007. With the ISSN 1843-8121 and a focus on the fields of applied mathematics and computer science, this journal supports researchers and practitioners by providing a platform for innovative ideas and substantial advancements in computational methodologies. Despite its current Q4 ranking in both Applied Mathematics and General Computer Science categories, the journal is dedicated to expanding the horizons of scientific inquiry through the convergence of theoretical and practical perspectives. Covering research from 2009 to 2024, the journal aims to elevate scholarly communication and ensure accessibility by presenting its articles free of charge, inviting contributions that can shape the future of technology and mathematics. By embracing an open access model, Scientific Annals of Computer Science aligns with the global movement towards making scientific knowledge universally accessible, thereby fostering collaboration and knowledge-sharing among researchers, professionals, and students alike.

DISCRETE EVENT DYNAMIC SYSTEMS – THEORY AND APPLICATIONS, published by SPRINGER, is a premier journal dedicated to advancing the field of discrete event systems and their applications across various domains. With a distinguished Q1 ranking in Control and Systems Engineering, Electrical and Electronic Engineering, and Modeling and Simulation, this journal is at the forefront of research dissemination, offering a vital platform for scholars and practitioners alike. Covering a broad spectrum from theoretical foundations to practical implementations, the journal aims to foster innovative solutions, promote cutting-edge methodologies, and enhance understanding of dynamic systems. The journal encompasses a wide array of scholarly contributions, including original research articles, reviews, and case studies, while leveraging its prestigious standing to cater to its diverse readership of researchers, professionals, and students. Established in 1991, and continuing through 2024, DISCRETE EVENT DYNAMIC SYSTEMS remains a cornerstone for those interested in the complex interplay of systems dynamics, ensuring a significant impact in both academic and industrial sectors.

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.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, published by Cambridge University Press, is a premier academic journal that delves into the evolving field of logic programming, offering insights and advancements from 2001 to 2024. With an ISSN of 1471-0684 and an E-ISSN of 1475-3081, this journal serves as a vital resource for researchers, professionals, and students interested in areas such as artificial intelligence, computational theory, and software development. In 2023, the journal was recognized for its excellence, achieving Q1 status in Computational Theory and Mathematics and Q2 in several other categories, underscoring its significant impact within the academic community. Despite not being open access, its robust content, curated by esteemed scholars, guarantees high-quality research and innovative methodologies that are crucial for advancing the field. The journal's rigorous peer-review process and its standings in Scopus rankings further emphasize its relevance and authority, making it a quintessential platform for disseminating key findings and fostering scholarly dialogue.

SOFTWARE QUALITY JOURNAL, published by Springer, is a preeminent platform dedicated to advancing the field of software engineering and quality assurance. With an ISSN of 0963-9314 and an E-ISSN of 1573-1367, this journal serves as a vital resource for academics and practitioners alike, bridging the gap between theoretical frameworks and practical applications. The journal is recognized for its impactful contributions, holding a remarkable Q1 ranking in Media Technology and demonstrating strong performance with Q2 placements in Safety, Risk, Reliability and Quality, as well as Software, solidifying its reputation in the academic community. As of 2023, the journal is ranked 64th in Safety, Risk, Reliability and Quality and 176th in Computer Science Software on Scopus, showcasing its relevance and influence. Covering a broad range of topics from software quality metrics to risk management strategies, SOFTWARE QUALITY JOURNAL aims to foster innovation and best practices in software development. Join a community of leading researchers and professionals committed to enhancing the quality and reliability of software systems.

ACM Transactions on Embedded Computing Systems (ISSN: 1539-9087, E-ISSN: 1558-3465), published by the Association for Computing Machinery, is a premier academic journal dedicated to advancing the study and application of embedded computing systems. With a focus on both hardware and software aspects, this journal holds a distinguished Q2 ranking in its field (2023) and has achieved notable recognition within Scopus rankings, particularly in Hardware and Architecture (Rank #97/177) and Software (Rank #231/407). Encompassing research from 2002 to 2024, it serves as a crucial platform for disseminating cutting-edge findings that drive innovation and foster scholarly dialogue among researchers, professionals, and students alike. Although it does not offer open access options, the journal remains essential for those seeking to deepen their understanding of the complexities of embedded systems, contributing significantly to the growth of knowledge across disciplines.

IEEE Design & Test is a leading academic journal published by the IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, dedicated to advancing the fields of Electrical and Electronic Engineering, Hardware and Architecture, and Software. With an ISSN of 2168-2356 and an E-ISSN of 2168-2364, the journal spans from 2013 to 2024, offering valuable insights and peer-reviewed research that addresses critical challenges in the design, verification, and testing of electronic systems. Recognized for its quality, the journal holds a Q2 designation in Electrical and Electronic Engineering and ranks within the top quartiles of its category, making it a notable resource for professionals and scholars alike. Its Scopus rankings, particularly a rank of #354 in Electrical and Electronic Engineering, underscores its significance and relevance in the rapidly evolving technological landscape. Although not currently open access, the journal remains committed to disseminating innovative research that shapes the future of technology, ensuring that researchers and practitioners stay at the forefront of their disciplines. IEEE Design & Test serves as an essential platform for exchanging ideas, fostering collaboration, and driving advancements in engineering and computer science.