2010
21 references published this year.
The first worldwide public packet switching network
Luis Arroyo (2010) · 2010 Second IEEE HISTELCON: History of Electro-technology Conference · IEEE
Programming with angelic nondeterminism
Shaon Barman and others (2010) · Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages · ACM
Peano Arithmetic
Guram Bezhanishvili (2010) · Learning Discrete Mathematics and Computer Science via Primary Historical Sources, New Mexico State University (NMSU), Old Dominion University (ODU), Colorado State University at Pueblo (CSU-P)
A survey of challenges in attribution
W. Earl Boebert (2010) · Proceedings of a workshop on Deterring CyberAttacks
Hybrid Logic and its Proof-Theory
Torben Braüner (2010) · Springer
Undecidability of propositional separation logic and its neighbours
James Brotherston and others (2010) · 25th IEEE Symposium on Logic in Computer Science (LICS) · IEEE
A Survey of BGP Security Issues and Solutions
K. Butler and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Pandemics in the Age of Twitter: Content Analysis of Tweets during the 2009 H1N1 Outbreak
Cynthia Chew and others (2010) · PLoS ONE · Public Library of Science (PLoS)
A gentle introduction to formal verification of computer systems by abstract interpretation
Patrick Cousot and others (2010) · Logics and Languages for Reliability and Security · IOS Press
The cyber kill chain: A foundation for a new cyber security strategy
Charles Croom (2010) · High Frontier
Tableaux and resource graphs for separation logic
Didier Galmiche and others (2010) · Journal of Logic and Computation
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010) · Technical University of Denmark
Growing Cells Atop Microelectronic Chips: Interfacing Electrogenic Cells In Vitro With CMOS-Based Microelectrode Arrays
Andreas Hierlemann and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
A Formal Verification Study on the Rotterdam Storm Surge Barrier
Ken Madlener and others (2010) · 12th International Conference on Formal Engineering Methods (ICFEM 2010) · Springer
Really rethinking ‘formal methods’
David Lorge Parnas (2010) · Computer
Quantum Communications in Reconfigurable Optical Networks: DWDM QKD through a ROADM
N. A. Peters and others (2010) · Optical Fiber Communication Conference · OSA
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard and others (2010) · Proceedings of the 17th ACM conference on Computer and communications security
Formal verification of demand paging
Artem Starostin (2010) · Universität des Saarlandes
In Quest of the “Next Switch”: Prospects for Greatly Reduced Power Dissipation in a Successor to the Silicon Field-Effect Transistor
Thomas Theis and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Supporting Search and Rescue Operations with UAVs
Sonia Waharte and others (2010) · 2010 International Conference on Emerging Security Technologies · IEEE
Formal Verification of an Arbiter Circuit
Chao Yan and others (2010) · 2010 IEEE Symposium on Asynchronous Circuits and Systems · IEEE