2001
15 references published this year.
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno and others (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer
A Mathematical Introduction to Logic
H. B. Enderton (2001) · Elsevier
On the unusual effectiveness of logic in computer science
Joseph Y. Halpern and others (2001) · Bulletin of Symbolic Logic
The future of wires
R. Ho and others (2001) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
BI as an assertion language for mutable data structures
Samin S. Ishtiaq and others (2001) · 28th ACM Symposium on Principles of Programming Languages (POPL)
War.com: The internet and psychological operations
Angela M. Lungu (2001) · Naval War College
Demonic, angelic and unbounded probabilistic choices in sequential programs
Annabelle McIver and others (2001) · Acta Informatica · Springer Science+Business Media
Nonlinear limits to the information capacity of optical fibre communications
Partha P. Mitra and others (2001) · Nature · Springer Science and Business Media LLC
Optimal cost stacked uni-directional path switched SONET/SDH ring design
Ramesh Nagarajan and others (2001) · Telecommunication Systems
Calculating sharp adaptation rules
David A. Naumann (2001) · Information Processing Letters · Elsevier
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer
Ideological and Policy Origins of the Internet, 1957-1969
Andrew L. Russell (2001) · arXiv (Cornell University) · Cornell University
NATO Enlargement 2000-2015. Determinants and Implications for Defense Planning and Shaping
Thomas S. Szayna (2001) · RAND Corporation
Second-order logic and foundations of mathematics
Jouko Väänänen (2001) · Bulletin of Symbolic Logic
Local reasoning for stateful programs
Hongseok Yang (2001) · University of Illinois