2013
22 references published this year.
Mathematical wit and mathematical cognition
Andrew Aberdein (2013) · Topics in Cognitive Science
Measuring the evolving Internet ecosystem with exchange points
Mohammad Zubair Ahmad (2013)
Reactive Turing machines
J. C. M. Baeten and others (2013) · Information and Computation · Elsevier BV
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert and others (2013) · Springer
Swarm robotics: a review from the swarm engineering perspective
Manuele Brambilla and others (2013) · Swarm Intelligence
The history of the internet: the missing narratives
Martin Campbell-Kelly and others (2013) · Journal of Information Technology · SAGE Publications
Model Theory: Third Edition
C. C. Chang and others (2013) · Dover Publications
On Unsettleable Arithmetical Problems
John H. Conway (2013) · The American Mathematical Monthly · Informa UK Limited
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young and others (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
Application of Formal Methods in Development of Information Systems
Željko Dobrović and others (2013) · Central European Conference on Information and Intelligent Systems · Faculty of Organization and Informatics Varazdin
The language of mathematics
Mohan Ganesalingam (2013) · Springer
A Simple Separation Logic
Andreas Herzig (2013) · Logic, Language, Information, and Computation · Springer
The Tree Width of Separation Logic with Recursive Definitions
Radu Iosif and others (2013) · Automated Deduction – CADE-24 · Springer
Programming in the λ-Calculus: From Church to Scott and back
Jan Martin Jansen (2013) · The Beauty of Functional Code · Springer
MOSFET: Basics, Characteristics, and Characterization
S. Kar (2013) · High Permittivity Gate Dielectric Materials · Springer
JML Reference Manual
Gary T. Leavens and others (2013)
Awaiting Cyber 9/11
Clifford S. Magee (2013) · Joint Force Quarterly · National Defense University Press
ARPA-E is Here to Stay: Looking Forward by Comparing the New Energy Agency's Approach to 20th Century Federal Technology Programs
Varun Mehra (2013) · Science Progress
Automating Separation Logic Using SMT
Ruzica Piskac and others (2013) · Computer Aided Verification · Springer
Space Division Multiplexing in Optical Fibres
D. J. Richardson and others (2013)
Structured Computer Organization
Andrew S. Tanenbaum and others (2013) · Pearson
Non-monotonic set theory as a pragmatic foundation of mathematics
Peter Verdée (2013) · Foundations of science