Logical Methods in Computer Science《计算机科学中的逻辑方法》（季刊）. Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Journal of Web Engineering《网络工程杂志》（一年8期）. The Journal of Web Engineering (JWE) aims to provide a forum for advancing the scientific state of knowledge in all areas of Web Engineering. Original articles, survey articles, reviews, tutorials, perspectives, and general correspondence are all welcome. Appropriate submissions should address significant issues and problems, and potential solutions, and will be reviewed in accordance with peer review conventions.

Journal of Universal Computer Science《通用计算机科学杂志》（月刊）. The Journal of Universal Computer Science (J.UCS) is a high-quality periodical and has been appearing in digital and printed form since 1995. The journal deals with all research areas of computer science, based on the ACM Computing Classification System categories including general literature, hardware, software, computer systems organization, theory of computation, information systems, mathematics of computing, data and data science, computing methodologies, computer applications, science and technology of learning, and knowledge management.

Journal of the ACM《美国计算机协会期刊》（双月刊）. The Journal of the ACM (JACM) provides coverage of the most significant work on principles of computer science, broadly construed. It is published six times per year. The scope of research we cover encompasses contributions of lasting value to any area of computer science. To be accepted, a paper must be judged to be truly outstanding in its field. JACM is interested in work in core computer science and at the boundaries, both the boundaries of subdisciplines of computer science and the boundaries between computer science and other fields.

Journal of Systems and Software《系统与软件杂志》（月刊）. For JSSs full CfP including information on Special Issues, Industry, Trends, and Journal First tracks please continue to read for further details. The Journal of Systems and Software publishes papers covering all aspects of software engineering. All articles should provide evidence to support their claims, e.g. through empirical studies, simulation, formal proofs or other types of validation.

Journal of Symbolic Computation《符号计算杂志》（双月刊）. An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. The journal provides a forum for research in the algorithmic treatment of all types of symbolic objects: objects in formal languages (terms, formulas, programs); algebraic objects (elements in basic number domains, polynomials, residue classes, etc.); and geometrical objects.

The Journal of Supercomputing《超级计算机杂志》（一年20期）. The Journal of Supercomputing publishes papers on the technology, architecture and systems, algorithms, languages and programs, performance measures and methods, and applications of all aspects of Supercomputing. Tutorial and survey papers are intended for workers and students in the fields associated with and employing advanced computer systems. The journal also publishes letters to the editor, especially in areas relating to policy, succinct statements of paradoxes, intuitively puzzling results, partial results, and real needs.

Journal of Parallel and Distributed Computing《并行与分布式计算杂志》（月刊）. This international journal is directed to researchers, engineers, educators, managers, programmers, and users of computers who have particular interests in parallel processing and/or distributed computing. The Journal of Parallel and Distributed Computing publishes original research papers and timely review articles on the theory, design, evaluation, and use of parallel and/or distributed computing systems. The journal also features special issues on these topics; again covering the full range from the design to the use of our targeted systems.

Journal of Logical and Algebraic Methods in Programming《编程中的逻辑与代数方法期刊》（双月刊）. The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

Journal of Cryptographic Engineering《密码工程杂志》（季刊）. The Journal of Cryptographic Engineering (JCEN) presents high-quality scientific research on architectures, algorithms, techniques, tools, implementations and applications in cryptographic engineering, including cryptographic hardware, cryptographic embedded systems, side-channel attacks and countermeasures, and embedded security. JCEN serves the academic and corporate R&D community interested in cryptographic hardware and embedded security.