Publications
2010. Authenticated broadcast with a partially compromised public-key infrastructure. Stabilization, Safety, and Security of Distributed Systems. :144-158.
2008. Automated design of distributed control rules for the self-assembly of prespecified artificial structures. Robotics and Autonomous Systems. 56(4):334-359.
2002. Automated design of multi-stage molds for manufacturing multi-material objects. Journal of Mechanical Design. 124:399-399.
2001. Automated design of sheet metal punches for bending multiple parts in a single setup. Robotics and Computer-Integrated Manufacturing. 17(1–2):33-47.
2012. Automated synthesis of action selection policies for unmanned vehicles operating in adverse environments. Autonomous Robots. 32(2):149-164.
2009. Automatic classification of human values: Applying computational thinking to information ethics. Proceedings of the American Society for Information Science and Technology. 46(1):1-4.
2003. Automatic classification of multi-word expressions in print dictionaries. Lingvisticae Investigationes. 26(2):187-202.
1980. Automatic database system conversion: A transformation language approach to sub-schema implementation. IEEE Computer Software and Applications Conference. :80-88.
2000. Automatic deployment of application-specific metadata and code in MOCHA. Advances in Database Technology—EDBT 2000. :69-85.
1997. Automatic discovery of self-replicating structures in cellular automata. Evolutionary Computation, IEEE Transactions on. 1(3):165-178.
1995. Automatic generation of multiresolution for polygonal models. First Workshop on Simulation and Interaction in Virtual Environments.
2002. Automatic headline generation for newspaper stories. Proceedings of the ACL-2002 Workshop on Text Summarization.
2006. Automatic identification of confusable drug names. Artificial Intelligence in Medicine. 36(1):29-42.
2005. Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques. IEEE Transactions on Software Engineering. 31(6):466-480.
2008. Automatic online tuning for fast Gaussian summation. Advances in Neural Information Processing Systems.
2004. Automatic recognition of spontaneous speech for access to multilingual oral history archives. IEEE Transactions on Speech and Audio Processing, Special Issue on Spontaneous Speech Processing. 12(4):420-435.
2000. Automatic Text Detection and Tracking in Digital Video. IEEE Transactions on Image Processing - Special Issue on Image and Video Processing for Digital Libraries. 9(1):147-156.
2008. Automatically repairing event sequence-based GUI test suites for regression testing. ACM Transactions on Software Engineering and Methodology (TOSEM). 18(2):4:1–4:36-4:1–4:36.
1989. Automatically transforming regularly structured linear documents into hypertext.. Electronic Publishing. 2(4):211-229.
2005. Automating regression testing for evolving GUI software. Journal of Software Maintenance and Evolution: Research and Practice. 17(1):27-64.