Seminal Papers in Computer Science In this group: 65 papers · 28 members Invite people to joinAsk to join this groupJoin this groupFollow this groupAccept InvitationInvite people by emailAsk to join this groupDecline invitationFollow this groupStop following Share Short URL Share on Facebook Share on Twitter Embed on other sites Mendeley Computer and Information Science Groups AArts and LiteratureAstronomy / Astrophysics / Space ScienceBBiological SciencesBusiness AdministrationCChemistryComputer and Information ScienceDDesignEEarth SciencesEconomicsEducationElectrical and Electronic EngineeringEngineeringEnvironmental SciencesHHumanitiesLLawLinguisticsMManagement Science / Operations ResearchMaterials ScienceMathematicsMedicinePPhilosophyPhysicsPsychologySSocial SciencesSports and Recreation Overview Papers65 Members28 A-ZRecently added Papers in this group 1 - 20 of 65 Prev 1 2 3 4 Next The UNIX time-sharing system Dennis M. Ritchie, Ken Thompson in Communications of the ACM (1974) End-to-end arguments in system design J. H. Saltzer, D. P. Reed, D. D. Clark in ACM Transactions on Computer Systems (1984) Turing Award lecture on computational complexity and the nature of computer science J Hartmanis in Communications of the ACM (1994) Three models for the description of language N. Chomsky in IEEE Transactions on Information Theory (1956) The unreasonable effectiveness of mathematics in the natural sciences. Eugene P. Wigner in Communications on Pure and Applied Mathematics (1960) Outside the closed world: On using machine learning for network intrusion detection Robin Sommer, Vern Paxson in 2010 IEEE Symposium on Security and Privacy (2010) MapReduce: Simplified Data Processing on Large Clusters Jeffrey Dean, Sanjay Ghemawat in Communications of the ACM (2010) The Unreasonable Effectiveness of Data Alon Halevy, Peter Norvig, Fernando Pereira in IEEE Intelligent Systems (2009) A theory of the learnable L. G. Valiant in Communications of the ACM (1984) Logical versus analogical or symbolic versus connectionist or neat versus scruffy Marvin Minsky in AI Mag. (1991) MapReduce: Simplified Data Processing on Large Clusters Jeffrey Dean, Sanjay Ghemawat in Communications of the ACM (2010) Design for Multics Security Enhancements J Whitmore, A Bensoussan, P Green, D Hunt (1973) Security Controls for Computer Systems(U) Wills Ware (1970) The Design and Specification of a Security Kernel for the PDP-11/45 W. L. Schiller (1975) Preliminary Notes on the Design of the Secure Military Computer Systems Roger R Schell, Peter Downey, Gerald Popek (1973) Jobstream Separator System Design J.M Schacht (1975) Proposed Technical Evaluation Criteria for Trusted Computer Systems G Nibaldi (1979) A provably secure operating system Peter G Neumann, L Robinson, Karl N. Levitt, Boyer R, A Saxena (1975) Subversion: The Neglected Aspect of Computer Security. PA Myers (1980) Operating System Structures to Support Security and Reliable Software Theodore Linden (1976) Prev 1 2 3 4 Next Top tags in this group Computer SecurityMathematicsLogicOperating SystemsDNA ComputingArtificial IntelligenceseminalPhilosophicalProgramming ModelComputer ScienceCryptographyMachine LearningCluster ComputingAlgorithmsDistributed SystemsNetworkingData Driven ApproachesAnomaly DetectionDesignSecurity PatternsNetwork SecurityPhysical SciencesInformation TheorySystemsStatistical Relational LearningIntrusion Detection
End-to-end arguments in system design J. H. Saltzer, D. P. Reed, D. D. Clark in ACM Transactions on Computer Systems (1984)
Turing Award lecture on computational complexity and the nature of computer science J Hartmanis in Communications of the ACM (1994)
Three models for the description of language N. Chomsky in IEEE Transactions on Information Theory (1956)
The unreasonable effectiveness of mathematics in the natural sciences. Eugene P. Wigner in Communications on Pure and Applied Mathematics (1960)
Outside the closed world: On using machine learning for network intrusion detection Robin Sommer, Vern Paxson in 2010 IEEE Symposium on Security and Privacy (2010)
MapReduce: Simplified Data Processing on Large Clusters Jeffrey Dean, Sanjay Ghemawat in Communications of the ACM (2010)
The Unreasonable Effectiveness of Data Alon Halevy, Peter Norvig, Fernando Pereira in IEEE Intelligent Systems (2009)
Logical versus analogical or symbolic versus connectionist or neat versus scruffy Marvin Minsky in AI Mag. (1991)
MapReduce: Simplified Data Processing on Large Clusters Jeffrey Dean, Sanjay Ghemawat in Communications of the ACM (2010)
Preliminary Notes on the Design of the Secure Military Computer Systems Roger R Schell, Peter Downey, Gerald Popek (1973)
A provably secure operating system Peter G Neumann, L Robinson, Karl N. Levitt, Boyer R, A Saxena (1975)
