| 2013 | CHI | Screenfinity: Extending the Perception Area of Content on Very Large Public Displays |
| 2013 | CHI | Reasons to Question Seven Segment Displays |
| 2013 | CHI | Improving Navigation-Based File Retrieval |
| 2013 | CHI | At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures |
| 2013 | CHI | Job Opportunities through Entertainment: Virally Spread Speech-Based Services for Low-Literate Users |
| 2013 | CHI | IllumiRoom: Peripheral Projected Illusions for Interactive Experiences |
| 2013 | CHI | The Efficacy of Human Post-Editing for Language Translation |
| 2013 | CHI | Turkopticon: Interrupting Worker Invisibility in Amazon Mechanical Turk |
| 2013 | CHI | Webzeitgeist: Design Mining the Web |
| 2013 | CHI | Weighted Graph Comparison Techniques for Brain Connectivity Analysis |
| 2013 | CHI | The Dubuque Electricity Portal: Evaluation of a City-Scale Residential Electricity Consumption Feedback System |
| 2013 | CHI | Analyzing User-Generated YouTube Videos to Understand Touchscreen Use by People with Motor Impairments |
| 2013 | CHI | The Many Faces of Facebook: Experiencing Social Media as Performance, Exhibition, and Personal Archive |
| 2013 | CHI | Labor Dynamics in a Mobile Micro-Task Market |
| 2013 | CHI | What is "Critical" About Critical Design? |
| 2013 | CHI | SPRWeb: Preserving Subjective Responses to Website Colour Schemes through Automatic Recolouring |
| 2013 | CHI | LaserOrigami: Laser-Cutting 3D Objects |
| 2013 | CHI | Mind the Theoretical Gap: Interpreting, Using, and Developing Behavioral Theory in HCI Research |
| 2013 | CIKM | Penguins in Sweaters, or Serendipitous Entity Search on User-generated Content |
| 2013 | CODES+ISSS | Improving Polyhedral Code Generation for High-Level Synthesis |
| 2013 | CRYPTO | On the Function Field Sieve and the Impact of Higher Splitting Probabilities |
| 2013 | CRYPTO | Counter-cryptanalysis: reconstructing Flame's new variant collision attack |
| 2013 | CVPR | Fast, Accurate Detection of 100,000 Object Classes on a Single Machine |
| 2013 | EMNLP | Breaking Out of Local Optima with Count Transforms and Model Recombination: A Study in Grammar Induction |
| 2013 | EMSOFT | Safety Verification for Linear Systems |
| 2013 | ESEM | Benchmarking Usability and Performance of Multicore Languages |
| 2013 | ESEM | Evaluating software product metrics with synthetic defect data |
| 2013 | ESEM | Towards a Metric Suite Proposal to Quantify Confirmation Biases of Developers |
| 2013 | Eurocrypt | Candidate Multilinear Maps from Ideal Lattices |
| 2013 | FAST | Unioning of the Buffer Cache and Journaling Layers with Non-volatile Memory |