Journals and Publishers

Computer Science Publishers

• Springer-Verlag London
• Elsevier have a ComputerScience Web with free services such as The Computer Science Preprint Server.
• O'Reilly
• Morgan Kaufmann
• Macmillan Press.
• Formal Methods Europe: Home Page (not exactly a publisher!)

Computer Science Journals (Online and Printed)

• The Journal of Software Testing Verification & Reliability is published by John Wiley and Sons. It's editor also maintains a website for the journal.
• Formal Aspects of Computing is one of the main journals in the formal methods area, published by Springer.
• The ACM Transactions on Computational Logic started in 2000, published quarterly.
• J.UCS - Journal of Universal Computer Science is an online journal.
• The "Science of Computer Programming" Journal is published by Elsevier. It is about requirements analysis and the mathematics of programming.
• The Journal of Theoretical Computer Science (Elsevier) has two main sections:
  • Algorithms, automata, complexity and games;
  • The other section, `Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods.
• Kluwer Academic Press have lots of CS journals, including Formal Methods in System Design.
• Information Processing Letters publishes short, concise papers about theoretical and experimental work in algorithms, compiler theory, distributed systems, formal languages, performance, parallel algorithms, real-times systems, software design, and the theory of computation.
• Computer Languages covers programming systems, including: syntax, parsing, compilers, computability, semantics, automatic programming languages, special-purpose languages, memory management, microprogramming, real-time programming, interactivity, documentation, and the theory of algorithms.
• The Journal of Programming Languages is an electronic-only journal published by Chapman and Hall.
• The J. of Logic Programming includes theory and foundations, implementation issues, applications involving novel ideas, and relationships with other programming methodologies.
• Each year, the Journal of Systems and Software ranks scholars and institutions in the area of 'Systems and Software Engineering', based on publications counts in these journals:
  • Information and Software Technology, Elsevier Science (Formerly Butterworth-Heinemann)
  • Journal of Systems and Software, Elsevier Science;
  • Software Practice and Experience, John Wiley & Sons, UK;
  • Software, IEEE;
  • Transactions on Software Engineering and Methodologies, ACM;
  • Transactions on Software Engineering, IEEE
• The Journal of Research and Practice in Information Technology is a general-CS international journal covering innovative research and practice in Information Technology. Now in its 32rd edition, it was formerly the Australian Computer Journal and has been published by the Australian Computer Society since November 1967.

Some journals that cover practical programming issues and have online stuff:

• Linux Journal
• Dr Dobb's Journal
• C/C++ Coder Magazine
• C/C++ Users Journal
• Journal of Object-Oriented Programming
• The DoD Software Tech News provides cutting-edge, topical Software Technology information.
• Robert Glass (Editor of Elsevier's Journal of Systems and Software recommends these journals as being closer to the current industry practice: Communications, IEEE Software, Information Week and Software Development.

Other Journals

• Educational Technology & Society (ISSN 1436-4522) is a peer-reviewed online journal that is available in HTML and PDF format.

Meta-Sites about (mostly online) Journals

The DBLP server provides bibliographic information on major computer science journals and proceedings. Initially the server was focused on DataBase systems and Logic Programming (DBLP), now it is gradually being expanded toward other fields of computer science. You may now read "DBLP" as "Digital Bibliography & Library Project". The server indexes more than 182000 articles and contains several thousand links to home pages of computer scientists (November 2000).

Sites that list electronic journals include the Infomine Ejournal catalog, Ejournal site guide; Electronic journals by subject; UTexas Electronic Journal database; Journals and Newsletters on the Net; and UHouston Scholarly Journals distributed via Web. [Network News, 19May97.]

Some journals have been evaluated according to citation frequency (average number of citations of an article in that journal).