Software and Systems Modeling
Software and Systems Modeling is a quarterly peer-reviewed scientific journal covering the development and application of software and systems modeling languages and techniques, including modeling fou...
TUGboat
TUGboat (ISSN 0896-3207) is a journal published three times per year by the TeX Users Group. It covers a wide range of topics in digital typography relevant to the TeX typesetting system. The editor...
TUGboat - Wikipedia
Collection of Computer Science Bibliographies
The Collection of Computer Science Bibliographies (founded 1993) is one of the oldest (if not the oldest) bibliography collections freely accessible on the Internet. It is a collection of bibliographi...
Computing Machinery and Intelligence
"Computing Machinery and Intelligence", written by Alan Turing and published in 1950 in Mind, is a seminal paper on the topic of artificial intelligence in which the concept of what is now known as th...
Computing Machinery and Intelligence - Wikipedia
List of important publications in theoretical computer science
This is a list of important publications in theoretical computer science, organized by field.Some reasons why a particular publication might be regarded as important:
The review of this early text...
MDL programming language
MDL (the MIT Design Language) is a descendant of the Lisp programming language. (It is different from the MicroStation Development Language.) Its initial purpose was to provide high level language sup...
Terry Shannon (IT)
Terry Shannon (August 16, 1952 – May 26, 2005) was an American information technology consultant, journalist and author. For over 30 years, he was involved in implementing PDP, VAX, and Alpha computer...
Terry Shannon (IT) - Wikipedia
Journal of Logic and Computation
The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press.
The Complexity of Songs
"The Complexity of Songs" was a journal article published by computer scientist Donald Knuth in 1977, as an in-joke about computational complexity theory. The article capitalizes on the tendency of po...
ACM Computing Classification System
The ACM Computing Classification System is a subject classification system for computing devised by the Association for Computing Machinery. The system is comparable to the Mathematics Subject Classif...
The Art of Computer Programming
The Art of Computer Programming (sometimes known by its initials TAOCP) is a comprehensive monograph written by Donald Knuth that covers many kinds of programming algorithms and their analysis.Knuth b...
The Art of Computer Programming - Wikipedia
MIL-STD-498
MIL-STD-498 (Military-Standard-498) was a United States military standard whose purpose was to "establish uniform requirements for software development and documentation." It was released Nov. 8, 199...
Peter G. Neumann
Peter Gabriel Neumann (born 1932) is a computer-science researcher who has worked on the Multics operating system in the 1960s. He edits the RISKS Digest columns for ACM Software Engineering Notes and...
Peter G. Neumann - Wikipedia
Unifying Theories of Programming
Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified...
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools is a computer science textbook by Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman about compiler construction. Although more than two decad...
Compilers: Principles, Techniques, and Tools - Wikipedia
Parallel Processing Letters
Parallel Processing Letters is a journal published by World Scientific since 1991. It covers the field of parallel processing, including topics such as design and analysis of parallel and distributed ...
Parallel Processing Letters - Wikipedia
Journal of Interconnection Networks
The Journal of Interconnection Networks was established in 2000 and is published by World Scientific. It covers the field of interconnection networks from theory and analysis to design and implementat...
Journal of Interconnection Networks - Wikipedia
Philip Wadler
Philip Lee "Phil" Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the the...
Philip Wadler - Wikipedia
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming is a textbook published in 2004 about general computer programming concepts from MIT Press written by Université catholique de Louvain professo...
The Journal of Logic and Algebraic Programming
The Journal of Logical and Algebraic Methods in Programming (ISSN 2352-2208) is a peer-reviewed scientific journal which was established in 1984 as The Journal of Logic Programming. It was rename...
Formal Aspects of Computing
Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The...
Formal Aspects of Computing - Wikipedia
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering: A NASA Journal is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is pub...
Innovations in Systems and Software Engineering - Wikipedia