Acta Informatica《信息学报》（季刊）. Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.

ACM Transactions on the Web《美国计算机协会网络会报》（季刊）. Transactions on the Web (TWEB) is an ACM journal publishing refereed articles reporting the results of research on Web content, applications, use, and related enabling technologies.

ACM Transactions on Storage《美国计算机协会存储会报》（季刊）. ACM Transactions on Storage (TOS) is the premier journal for publishing advancements in storage research and practice. The field of storage is one of the cornerstones for data availability. Storage is a broad and multidisciplinary area that comprises network protocols, resource management, data backup, replication, recovery, devices, security, theory of data coding, densities, and energy-efficiency. Designing and developing storage systems continues to be a challenge due to both software and hardware heterogeneity in enterprise environments and data centers. ACM TOS seeks to fill an important void as a peer-reviewed comprehensive journal focused on storage.

ACM Transactions on Software Engineering and Methodology《美国计算机协会软件工程和方法论会报》（一年8期）. The Transactions on Software Engineering and Methodology (TOSEM) is part of the family of journals produced by the ACM, the Association for Computing Machinery. TOSEM publishes one volume yearly. Each volume is comprised of four issues, which appear in January, April, July and October.

ACM Transactions on Sensor Networks《美国计算机协会传感网络会报》（双月刊）. ACM Transactions on Sensor Networks (TOSN) publishes high-quality papers reporting significant results in the research and applications of distributed, wireless or wireline sensor and actuator networks. As an interdisciplinary field, sensor networks draw upon many disciplines including signal processing, networking and protocols, embedded systems, information management, AI-augmentation, edge/mobile adaptation, and distributed algorithms. Potential synergies among these fields are expected to open up new research directions.

ACM Transactions on Reconfigurable Technology and Systems《美国计算机协会可重构技术和系统会报》（季刊）. ACM Transactions on Reconfigurable Technology and Systems (TRETS) is a peer-reviewed and archival journal covering technology, systems, and applications on reconfigurable computers or devices.

ACM Transactions on Programming Languages and Systems《美国计算机协会编程语言和系统通讯》（季刊）. ACM Transactions on Programming Languages and Systems (TOPLAS) is the premier journal for reporting recent research advances in the areas of programming languages, and systems to assist the task of programming.

ACM Transactions on Privacy and Security《美国计算机协会隐私与安全会报》（季刊）. ACM Transactions on Transactions on Privacy and Security (TOPS) is devoted to the study, analysis, and application of information security and privacy. The journal takes a wide view of this topic and its mission is to publish the best original research in this area.

ACM Transactions on Multimedia Computing, Communications, and Applications《美国计算机协会多媒体计算、通信和应用会报》（双月刊）. The ACM Transactions on Multimedia Computing, Communications, and Applications (TOMM) focuses on multimedia computing (I/O devices, OS, storage systems, streaming media middleware, continuous media representations, media coding, media processing, etc.), multimedia communications (real-time protocols, end-to-end streaming media, resource allocation, multicast protocols, etc.), and multimedia applications (databases, distributed collaboration, video conferencing, 3D virtual environments, etc.).

ACM Transactions on Modeling and Computer Simulation《美国计算机协会模型和计算机仿真会报》（季刊）. ACM Transactions on Modeling and Computer Simulation (TOMACS) provides a single archival source for the publication of high-quality research and developmental results referring to all phases of the modeling and simulation life cycle. The subjects of emphasis are discrete event simulation, combined discrete and continuous simulation, as well as Monte Carlo methods.