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