Extended Failed-Literal Preprocessing for Quantified Boolean Formulas. - Allen Van Gelder; Samuel B. Wood; Florian Lonsing (SAT, 2012)

ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge. - Samuel B. Wood; James Mathewson; Joshua Joy; Mark-Oliver Stehr; Minyoung Kim 002; Ashish Gehani; Mario Gerla; Hamid R. Sadjadpour; J. J. Garcia-Luna-Aceves (MILCOM, 2013)

Network coding for content-based intermittently connected emergency networks. - Joshua Joy; Yu-Ting Yu; Mario Gerla; Samuel B. Wood; James Mathewson; Mark-Oliver Stehr (MobiCom, 2013)

SOCRATIC: A social approach to network coding rate control. - Samuel B. Wood; Hamid R. Sadjadpour; J. J. Garcia-Luna-Aceves (GLOBECOM, 2014)

Adaptive Interest Modeling Improves Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (MILCOM, 2014)

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (UMAP Workshops, 2014)

ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. - Samuel B. Wood; James Mathewson; Joshua Joy; Mark-Oliver Stehr; Minyoung Kim 002; Ashish Gehani; Mario Gerla; Hamid R. Sadjadpour; J. J. Garcia-Luna-Aceves (Logic, Rewriting, and Concurrency, 2015)

Evaluation of a delay-tolerant ICN architecture. - Hasnain Lakhani; Timothy McCarthy; Minyoung Kim 002; David E. Wilkins; Samuel B. Wood (ICUFN, 2015)