2016
33 references published this year.
Optical Communication: Its History and Recent Progress
Govind P. Agrawal (2016) · Optics in Our Time · Springer
Optics in Our Time
Mohammad D. Al-Amri and others (2016) · Springer
Completeness for recursive procedures in separation logic
Mahmudul Faisal Al Ameen and others (2016) · Theoretical Computer Science · Elsevier
Completeness of Verification System with Separation Logic for Recursive Procedures
Mahmudul Faisal Al Ameen (2016) · The Graduate University for Advanced Studies, SOKENDAI
Introduction to software testing
Paul Ammann and others (2016) · Cambridge University Press
Specification and Verification of Contract-Based Applications
Davide Basile (2016)
Constructive geometry and the parallel postulate
Michael Beeson (2016) · Bulletin of Symbolic Logic
Concurrent separation logic
Stephen Brookes and others (2016) · ACM SIGLOG News
Botornot: A system to evaluate social bots
Clayton Allen Davis and others (2016) · 25th International Conference Companion on World Wide Web · Association for Computing Machinery
The spreading of misinformation online
Michela Del Vicario and others (2016) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri and others (2016) · ACM Transactions on Computational Logic
Cyber Operations and Gray Zones: Challenges for NATO
Oliver Fitton (2016) · Connections: The Quarterly Journal
The Value of Science Is in the Foresight: New Challenges Demand Rethinking the Forms and Methods of Carrying out Combat Operations
Valery Gerasimov (2016) · Military Review
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Stijn de Gouw and others (2016) · Software and Systems Modeling
An Industrial-Scale Software Defined Internet Exchange Point
Arpit Gupta and others (2016) · 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16) · USENIX Association
Completeness for a first-order abstract separation logic
Zhé Hóu and others (2016) · 14th Asian Symposium on Programming Languages and Systems (APLAS) · Springer
Cybernetics, reflexivity and second-order science
Louis H. Kauffman (2016) · Constructivist Foundations
Proof automation for functional correctness in separation logic
Ewen Maclean and others (2016) · Journal of Logic and Computation
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Konstantinos Mamouras (2016) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Viper: A verification infrastructure for permission-based reasoning
Peter Müller and others (2016) · Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17 · Springer
Marine Corps Cyberspace Operations: The Need for Change
Jeffrey J. Patterson (2016) · Marine Corps University, Command and Staff College
Cybernetics: The Macy Conferences 1946-1953. The Complete Transactions
Unattributed (2016) · diaphanes
Survey of inter-satellite communication for small satellite systems: Physical layer to network layer view
Radhika Radhakrishnan and others (2016) · IEEE Communications Surveys & Tutorials
End-to-End Verification of ARM Processors with ISA-Formal
Alastair Reid and others (2016) · Computer Aided Verification (CAV 2016)
A Decision Procedure for Separation Logic in SMT
Andrew Reynolds and others (2016) · Automated Technology for Verification and Analysis · Springer
The effects of Internet usage and economic growth on CO2 emissions in OECD countries: A panel investigation
Mohammad Salahuddin and others (2016) · Renewable and Sustainable Energy Reviews · Elsevier
A survey of security in software defined networks
Sandra Scott-Hayward and others (2016) · IEEE Communications Surveys & Tutorials · IEEE
A Study of Security Isolation Techniques
Rui Shu and others (2016) · ACM Computing Surveys · Association for Computing Machinery (ACM)
Carbon nanotube FET‐based low‐delay and low‐power multi‐digit adder designs
B. Srinivasu and others (2016) · IET Circuits, Devices & Systems · Institution of Engineering and Technology (IET)
Tactical Data Link -- From Link 1 to Link 22
Stoica, Anca and others (2016) · Scientific Bulletin of Naval Academy
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
Increasing the Reliability of a Naval Tactical Data Link through the Design and Implementation of Automatic Mechanisms for Failure Recovery
Gustavo Pérez Valdés and others (2016) · Ship Science & Technology
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2016) · Perspectives on Science · MIT Press