2017
32 references published this year.
Estimation of shipping emissions using vessel Long Range Identification and Tracking data
Alfredo Alessandrini and others (2017) · Journal of Maps
Social Media and Fake News in the 2016 Election
Hunt Allcott and others (2017) · National Bureau of Economic Research · National Bureau of Economic Research
Social Media and Fake News in the 2016 Election
Hunt Allcott and others (2017) · Journal of Economic Perspectives · American Economic Association
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom and others (2017) · Integrated Formal Methods · Springer
CMOS Scaling Trends and Beyond
M. Bohr and others (2017) · IEEE Micro · Institute of Electrical and Electronics Engineers
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston and others (2017) · Automated Deduction – CADE 26 · Springer
Bringing order to the separation logic jungle
Qinxiang Cao and others (2017) · 15th Asian Symposium on Programming Languages and Systems (APLAS) · Springer
Predicativity and Feferman
Laura Crosilla (2017) · Feferman on Foundations: Logic, mathematics, philosophy · Springer
The Cyber Domain
Glenn Alexander Crowther (2017) · The Cyber Defense Review · Army Cyber Institute
A revolution too far? US defence innovation, Europe and NATO's military-technological gap
Daniel Fiott (2017) · Journal of Strategic Studies
The HACMS program: using formal methods to eliminate exploitable bugs
Kathleen Fisher and others (2017) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences · The Royal Society
A Brief History of the Semiconductor Industry
Paolo A. Gargini (2017) · Nanoelectronics: Materials, Devices, Applications · Wiley-VCH
Metamathematics of First-Order Arithmetic
Petr Hájek and others (2017) · Cambridge University Press
In-Datacenter Performance Analysis of a Tensor Processing Unit
Norman P. Jouppi and others (2017) · Proceedings of the 44th Annual International Symposium on Computer Architecture (ISCA '17) · Association for Computing Machinery
The insider threat to cybersecurity: How group process and ignorance affect analyst accuracy and promptitude
Ryan F. Kelly (2017) · Naval Postgraduate School
Interactive proofs in higher-order concurrent separation logic
Robbert Krebbers and others (2017) · 44th ACM Symposium on Principles of Programming Languages (POPL)
Programming languages: A survey
Krishan Kumar and others (2017) · International Journal on Recent and Innovation Trends in Computing and Communication
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer
Cyberspace in Multi-Domain Battle
Paul M. Nakasone and others (2017) · The Cyber Defense Review
A mathematical framework to optimize critical infrastructure resilience against intentional attacks
Min Ouyang and others (2017) · Computer-Aided Civil and Infrastructure Engineering
Crazyswarm: A large nano-quadcopter swarm
James A. Preiss and others (2017) · 2017 IEEE International Conference on Robotics and Automation (ICRA) · IEEE
Crosstalk dynamics in multi-core fibers
Rademacher, Georg and others (2017) · Optics Express
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic
Andrew Reynolds and others (2017) · 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds and others (2017) · Formal Methods in System Design
Strategic A2/AD in Cyberspace
Alison Lawlor Russell (2017) · Cambridge University Press
The coming software apocalypse
James Somers (2017) · The Atlantic
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Thomas Ströder and others (2017) · Journal of Automated Reasoning · Springer
On the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Shahin Tajik and others (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17) · Association for Computing Machinery
The End of Moore’s Law: A New Beginning for Information Technology
Thomas N. Theis and others (2017) · Computing in Science & Engineering
Silicon Photonics: Electromagnetic theory
Wouter J. Westerveld and others (2017) · IOP Publishing
Ukraine cyber-induced power outage: Analysis and practical mitigation strategies
David E. Whitehead and others (2017) · 2017 70th Annual Conference for Protective Relay Engineers (CPRE) · IEEE
From Control to Influence: Cognition in the Grey Zone
Nicholas D. Wright (2017) · Strategic Multilayer Assessment Group, Pentagon Joint Staff