Find free lists

List of important publications in computer science


All of the important publications in computer science - the topic, the title and the author(content from Wikipedia).


Title Category Authors/Year/Journal
An Inductive Inference Machine Machine learning (A longer version of this, a privately circulated report, 1956, is http://world.std.com/~rjs/indinf56.pdf).
A Discipline of Programming Formal verification 1976
Denotational Semantics Formal verification 1977
Communicating Sequential Processes (1978) Formal verification 1978
Software Development: A Rigorous Approach Formal verification 1980
The Science of Programming Formal verification 1981
Communicating Sequential Processes (1985) Formal verification 1985
The Z Notation: A Reference Manual Formal verification 1989
EFF DES cracker Cryptography 1998
Letter from Gֳ¶del to von Neumann Computational complexity theory A Letter from Gֳ¶del to John von Neumann, March 20, 1956
Learnability and the Vapnik-Chervonenkis dimension Machine learning A. Blumer
Learnability and the Vapnik-Chervonenkis dimension Machine learning A. Ehrenfeucht
A Universal Algorithm for Sequential Data Compression Information theory Abraham Lempel
A History of Computing in the Twentieth Century History of computation Academic Press, 1980, ISBN 0-12-491650-3
Principles of Transaction-Oriented Database Recovery Databases ACM Computing Surveys 15(4), May 1983
Realization of Natural-Language Interfaces Using Lazy Functional Programming Computational Linguistics ACM Computing Surveys Volume 38 Issue 4 Article 11, December 2006
How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority Cryptography ACM Symposium on Theory of Computing, pgs. 218-229, 1987
Soft Updates: A Solution to the Metadata Update problem in File Systems Operating systems ACM Transactions on Computer Systems 18, 2. pp 127-153, May 2000
A Dynamic Network Architecture Computer networks ACM Transactions on Computer Systems, 10(2), May 1992
Implementing Remote Procedure Calls Computer networks ACM Transactions on Computer Systems, Vol. 2, No. 1, February 1984, pp. 39-59.

1 >> 2 >> 3 >> Next >>


 

Related Lists  Related Lists



No results were found

 

Similar categories lists 




 

More lists from this publisher 



No results were found
Tweet