2002
22 references published this year.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews (2002) · Springer Nature (Netherlands)
The telephone network of the 1960s
Frederick T. Andrews (2002) · IEEE Communications Magazine
Computability and logic
George S. Boolos and others (2002) · Cambridge University Press
Semantic and Logical Properties of Stateful Programming
Cristiano Calcagno (2002) · Universita di Genova
Growth of the Internet
Kerry G. Coffman and others (2002) · Optical Fiber Telecommunications IVB: Systems and Impairments · Academic Press
The DHCP Handbook
Ralph Droms and others (2002) · Sams Publishing
Silicon physical random functions
Blaise Gassend and others (2002) · Proceedings of the 9th ACM conference on Computer and communications security · ACM
A Taxonomy of Reactive Systems
Adriaan de Groot and others (2002) · University of Nijmegen
Trust and vulnerability in open source software
Scott A. Hissam and others (2002) · IEE Proceedings - Software · Institution of Engineering and Technology
Formal Verification of a Fully IEEE Compliant Floating Point Unit
Christian Jacobi (2002) · Universität des Saarlandes
Optical Fiber Telecommunications IVB: Systems and Impairments
Ivan P. Kaminow and others (2002) · Academic Press
Multics security evaluation: vulnerability analysis
Paul A. Karger and others (2002) · 18th Annual Computer Security Applications Conference (ACSAC 2002)
Thirty years later: lessons from the Multics security evaluation
P.A. Karger and others (2002) · 18th Annual Computer Security Applications Conference (ACSAC 2002) · IEEE Comput. Soc
Computer Security
Richard A. Kemmerer (2002) · Encyclopedia of Software Engineering · Wiley
Understanding BGP misconfiguration
Ratul Mahajan and others (2002) · ACM SIGCOMM Computer Communication Review
Physical One-Way Functions
Ravikanth Pappu and others (2002) · Science · American Association for the Advancement of Science
Types and Programming Languages
Benjamin C. Pierce (2002) · MIT Press
The Semantics and Proof Theory of the Logic of Bunched Implications
David J. Pym (2002) · Springer
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · IEEE
Advanced Semiconductor Memories: Architectures, Designs, and Applications
Ashok K. Sharma (2002) · Wiley-IEEE Press
TCP/IP Unleashed
Karanjit S. Siyan and others (2002) · Sams Publishing
A Semantic Basis for Local Reasoning
Hongseok Yang and others (2002) · Foundations of Software Science and Computation Structures · Springer