Journal Article Symmetry in Gardens of Eden 2013 • Electronic Journal of Combinatorics • 20(3): Hartman C, Heule MJH, Kwekkeboom K, Noels A
Chapter Guided Merging of Sequence Diagrams 2013 • Lecture Notes in Computer Science • 7745:164-183 Widl M, Biere A, Brosch P, Egly U, Heule M, Kappel G, Seidl M, Tompits H
Chapter Revisiting Hyper Binary Resolution 2013 • Lecture Notes in Computer Science • 7874:77-93 Heule MJH, Järvisalo M, Biere A
Conference A logical correspondence between natural semantics and abstract machines 2013 109-119 Simmons RJ, Zerny I
Preprint DELTACON: A Principled Massive-Graph Similarity Function 2013 Koutra D, Vogelstein JT, Faloutsos C
Journal Article Approximate counting of regular hypergraphs 2013 • Information Processing Letters • 113(19-21):785-788 Dudek A, Frieze A, Rucinski A, Sileikis M
Conference Locally Self-Adjusting Tree Networks 2013 • Proceedings of the International Parallel and Distributed Processing Symposium, IPDPS • 395-406 Avin C, Haeupler B, Lotker Z, Scheideler C, Schmid S
Journal Article <i>M</i>/<i>G</i>/<i>k</i> with staggered setup 2013 • Operations Research Letters • 41(4):317-320 Gandhi A, Harchol-Balter M
Conference Improving Inference of Rate Parameters for Viral Capsid Assembly Systems 2013 • Biophysical Journal • 104(2):413A-413A Xie L, Smith GR, Schwartz R
Conference The Approximability of the Binary Paintshop Problem 2013 • Lecture Notes in Computer Science • 8096:205-217 Gupta A, Kale S, Nagarajan V, Saket R, Schieber B
Conference Characterizing Progress Properties of Concurrent Objects via Contextual Refinements 2013 • Lecture Notes in Computer Science • 8052:227-241 Liang H, Hoffmann J, Feng X, Shao Z
Journal Article How Programmers Debug, Revisited: An Information Foraging Theory Perspective 2013 • IEEE Transactions on Software Engineering • 39(2):197-215 Lawrance J, Bogart C, Burnett M, Bellamy R, Rector K, Fleming SD
Journal Article Explicit MBR All-Symbol Locality Codes 2013 • IEEE International Symposium on Information Theory - Proceedings • 504-508 Kamath GM, Silberstein N, Prakash N, Rawat AS, Lalitha V, Koyluoglu OO, Kumar PV, Vishwanath S
Conference Fast Private Data Release Algorithms for Sparse Queries 2013 • Lecture Notes in Computer Science • 8096:395-410 Blum A, Roth A
Conference Scalable crowd-sourcing of video from mobile devices 2013 139-152 Simoens P, Xiao Y, Pillai P, Chen Z, Ha K, Satyanarayanan M
Journal Article Toward a theory of self-explaining computation 2013 • Lecture Notes in Computer Science • 8000:193-216 Cheney J, Acar UA, Perera R
Journal Article Linear-Algebraic List Decoding for Variants of Reed-Solomon Codes 2013 • IEEE Transactions on Information Theory • 59(6):3257-3268 Guruswami V, Wang C
Journal Article Rounding Lasserre SDPs using column selection and spectrum-based approximation schemes for graph partitioning and Quadratic IPs 2013 Guruswami V, Sinop AK
Journal Article A Formalism and Method for Representing and Reasoning with Process Models Authored by Subject Matter Experts 2013 • IEEE Transactions on Knowledge and Data Engineering • 25(9):1933-1945 Manuel Gomez-Perez J, Erdmann M, Greaves M, Corcho O
Journal Article Islands and Bridges: Making Sense of Marked Nodes in Large Graphs 2013 Akoglu L, Tong H, Tatti N, Vreeken J, Chau DH, Faloutsos C
Conference Improving learning and inference in a large knowledge-base using latent syntactic cues 2013 • Emnlp 2013 2013 Conference on Empirical Methods in Natural Language Processing Proceedings of the Conference • 833-838 Gardner M, Talukdar PP, Kisiel B, Mitchell T
Conference Documents and dependencies: An exploration of vector space models for semantic composition 2013 • Conll 2013 17th Conference on Computational Natural Language Learning Proceedings • 84-93 Fyshe A, Talukdar P, Murphy B, Mitchell T
Journal Article Vector Space Semantic Parsing: A Framework for Compositional Vector Space Models 2013 • Proceedings of the conference. Association for Computational Linguistics. Meeting • 1-10 Krishnamurthy J, Mitchell TM
Journal Article GINI: From ISH Images to Gene Interaction Networks 2013 • PLoS Computational Biology • 9(10):e1003227 Puniyani K, Xing EP
Journal Article SIMPLE-fying Middlebox Policy Enforcement Using SDN 2013 • Computer Communication Review • 43(4):27-38 Qazi ZA, Miao R, Tu C-C, Sekar V, Chiang L, Yu M
Conference Enabling the transition to the mobile web with WebSieve 2013 1-6 Butkiewicz M, Wu Z, Li S, Murali P, Hristidis V, Madhyastha HV, Sekar V
Conference Evolving an Adaptive Industrial Software System to Use Architecture-Based Self-Adaptation 2013 • ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems • 13-22 Camara J, Correia P, de Lemos R, Garlan D, Gomes P, Schmerl B, Ventura R
Conference Expressing Ethnicity through Behaviors of a Robot Character 2013 • ACM/IEEE International Conference on Human-Robot Interaction • 357-364 Makatchev M, Simmons R, Sakr M, Ziadee M
Conference When cycles are cheap, some tables can be huge 2013 • 14th Workshop on Hot Topics in Operating Systems Hotos 2013 Fan B, Zhou D, Lim H, Kaminsky M, Andersen DG
Conference Faceted execution of policy-agnostic programs 2013 15-26 Austin TH, Yang J, Flanagan C, Solar-Lezama A
Conference Pose Estimation for Contact Manipulation with Manifold Particle Filters 2013 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 4541-4548 Koval MC, Dogar MR, Pollard NS, Srinivasa SS
Conference Behavioral Polymorphism and Parametricity in Session-Based Communication 2013 • Lecture Notes in Computer Science • 7792:330-349 Caires L, Perez JA, Pfenning F, Toninho B
Journal Article Optimal Bounds for Johnson-Lindenstrauss Transforms and Streaming Problems with Subconstant Error 2013 • ACM Transactions on Algorithms (TALG) • 9(3):1-17 Jayram TS, Woodruff DP
Conference Low Latency via Redundancy 2013 • PROCEEDINGS OF THE 2013 ACM INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT '13) • 283-294 Vulimiri A, Godfrey PB, Mittal R, Sherry J, Ratnasamy S, Shenker S
Conference Projected natural actor-critic 2013 • Advances in Neural Information Processing Systems Thomas PS, Dabney W, Mahadevan S, Giguere S
Journal Article An FPTAS for minimizing a class of low-rank quasi-concave functions over a convex set 2013 • Operations Research Letters • 41(2):191-196 Goyal V, Ravi R
Journal Article On the Non-Planarity of a Random Subgraph 2013 • Combinatorics Probability and Computing • 22(5):722-732 Frieze A, Krivelevich M
Journal Article Simple, Fast and Deterministic Gossip and Rumor Spreading 2013 • PROCEEDINGS OF THE TWENTY-FOURTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA 2013) • 705-716 Haeupler B
Conference Randomized broadcast in radio networks with collision detection 2013 • Proceedings of the Annual ACM Symposium on Principles of Distributed Computing • 325-334 Ghaffari M, Haeupler B, Khabbazian M
Conference A learning theory approach to noninteractive database privacy 2013 • Journal of the ACM • 60(2):1-25 Blum A, Ligett K, Roth A
Conference Visible-Spectrum Gaze Tracking for Sports 2013 • Conference on Computer Vision and Pattern Recognition Workshops IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Workshops • 1005-1010 Pires BR, Hwangbo M, Devyver M, Kanade T
Conference DELTACON: A principled massive-graph similarity function 2013 • Proceedings of the 2013 SIAM International Conference on Data Mining Sdm 2013 • 162-170 Koutra D, Vogelsteiny JT, Faloutsos C
Chapter Graph mining techniques: Focusing on discriminating between real and synthetic graphs 2013 446-464 Appel AP, Faloutsos C, Junior CT
Conference Scheduling Parallel Programs by Work Stealing with Private Deques 2013 • ACM Sigplan Notices • 48(8):219-228 Acar UA, Chargueraud A, Rainey M
Conference Multi-Level Structured Image Coding on High-Dimensional Image Representation 2013 • Lecture Notes in Computer Science • 7725:147-161 Li L-J, Zhu J, Su H, Xing EP, Fei-Fei L
