Publications by Faculty and Students

2010

  • Z. Dodds, R. Libeskind-Hadas, E. Bush When CS1 is Biology1: Crossdisciplinary Collaboration as CS Context, 15th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2010), Bilikent, Turkey
  • K. Benson, B. Birnbaum, E. Estolano-Molina, and R. Libeskind-Hadas Competitive Analysis of Online Traffic Grooming in WDM Rings, IEEE/ACM Transactions on Networking #Vol. 16, No. 4, August 2008 pp. 984-997
  • R. Libeskind-Hadas and M. Charleston n the Computational Complexity of the Reticulate Cophylogeny Reconstruction Problem, Journal of Computational Biology #Vol. 16, No. 1, January 2009 pp. 105-17
  • . Conow, D. Fielder, Y. Ovadia, and R. Libeskind-Hadas Jane: A New Tool for the Cophylogeny Reconstruction Problem, Algorithms for Molecular Biology #Vol. 5, No. 16, February 2010
  • Y. Ovadia, D. Fielder, C. Conow, and R. Libeskind-Hadas The Cophylogeny Reconstruction Problem is NP-Complete, Journal of Computational Biology
  • Bauer, Andrej and Christopher A. Stone Specifications via Realizability, ETAPS 2005 Workshop on Constructive Logic for Automated Software Engineering (CLASE), Edinburgh, UK
  • Bauer, Andrej and Christopher A. Stone RZ: a tool for bringing constructive and computable mathematics closer to programming practice, Computability in Europe 2007: Computation and Logic in the Real World, Journal of Logic and Computation, Siena, Italy
  • J. Gillick, K. Tang, and R.M. Keller Learning Jazz Grammars, Sixth Sound and Music Computing Conference (SMC 2009), Porto, Portugal
  • G. Bickerman, S. Bosley, P. Swire, and R.M. Keller Learning to Create Jazz Melodies Using Deep Belief Nets, First International Conference on Computational Creativity, Lisbon, Portugal
  • Koziol, Zeke, Sabreen Lakhani, Anatole Paine and Zachary Dodds Creating Range from Texture, IJCAI 2009, Pasadena, CA
  • Koziol, Ezekiel, Sabreen Lakhani, Anatole Paine and Zachary Dodds A vision for spatial- reasoning commodity robots, TePRA 2009, Woburn, Massachusetts
  • Grasel, John, Wynn Vonnegut and Zachary Dodds Bitwise Biology: Crossdisciplinary physical computing atop the Arduino, AAAI Spring Symposium on Using Electronic Tangibles to Promote Learning 2010, Palo Alto, CA
  • Field, Martin, Sam Gordon, Eric Peterson, Raquel Robinson, Tom Stahovich, and Christine Alvarado The Effect of Task on Classification Accuracy: Using Gesture Recognition Techniques in Free-Sketch Recognition, SBIM 2009, New Orleans, Louisiana
  • Alvarado, Christine and Zachary Dodds Women in CS: An Evaluation of Three Promising Practices, SIGCSE 2010, Milwaukee, Wisconsin
  • Dodds, Z., J. Wang and W. Miranker Principal Component Analysis for Place Recognition, The Journal of Neural, Parallel, and Scientific Computations
  • Hespanha, J., Z. Dodds, G. D. Hager, and A. S. Morse What can be Done with an Uncalibrated Stereo System?
  • Stone, Christopher A. Type Definitions
  • Stone, Christopher A. and Andrew P. Schoonmaker Equational Theories for Recursive Types, HMC Technical Report
  • Kuenning, G. H., G. J. Popek, P. Reiher, An Analysis of Trace Data for Predictive File Caching in Mobile Computing, 1994 Summer Usenix Conference
  • Kuenning, G. H., R. Bagrodia, R. G. Guy, G. J. Popek, P. Reiher, and A.-I Wang Measuring the Quality of Service of Optimistic Replication, ECOOP Workshop on Mobility and Replication,
  • Wang A., G.H. Kuenning, and P. Reiher Multipath Routing in Ad Hoc Networks
  • Wang, A., G. Kuenning, P. Reiher, and G. Popek The Conquest file system: better performance through a disk/persistent-RAM hybrid design, ACM Transactions on Storage #2(3) pp. 309-348
  • Oltmans, Michael, Christine Alvarado, and Randall Davis ETCHA Sketches: Lessons Learned from Collecting Sketch Data, AAAI Fall Symposium on Intelligent Pen-based Interfaces
  • Teevan, Jaime, Christine Alvarado, Mark S. Ackerman, and David R Karger The Perfect Search Engine Is Not Enough: A Study of Orienteering Behavior in Directed Search, CHI-2004
  • Alvarado, Christine Dynamically Constructed Bayesian Networks for Sketch Understanding, MIT Student Oxygen Workshop, MIT, Massachusetts
  • Alvarado, Christine, Michael Oltmans, and Randall Davis A Framework for Multi-Domain Sketch Recognition, AAAI Spring Symposium on Sketch Understanding
  • Alvarado, Christine and Randall, Davis Preserving the freedom of paper in a computer-based sketch tool, HCI International