Publications
1985. Answer justification in abductive expert systems for diagnostic problem solving. IEEE Transactions on Biomedical Engineering.
2006. Development of a Large-Scale Integrated Neurocognitive Architecture Part 1: Conceptual Framework. UMIACS-TR-2006-33
1985. A formal model of diagnostic inference, II. Algorithmic solution and application. Information Sciences. 37(1-3):257-285.
1984. Simulation of phonemic errors using artificial intelligence symbol processing techniques. Proceedings of the 17th annual symposium on Simulation. :49-64.
2009. Toward reconstructing the evolution of advanced moths and butterflies (Lepidoptera: Ditrysia): an initial molecular study. BMC Evol Biol. 9:280-280.
2008. Resolving arthropod phylogeny: exploring phylogenetic signal within 41 kb of protein-coding nuclear gene sequence. Syst Biol. 57(6):920-938.
1998. Feature Recognition for Interactive Applications: Exploiting Distributed Resources. UMIACS-TR-94-126.1
1995. Extracting alternative machining features: An algorithmic approach. Research in Engineering Design. 7(3):173-192.
2002. Experimental Construction of Very Large Scale DNA Databases with Associative Search. DNA computing: 7th International Workshop on DNA-Based Computers, DNA 7, Tampa, FL, USA, June 10-13, 2001: revised papers. 7:231-231.
2010. Using symbolic evaluation to understand behavior in configurable software systems. Software Engineering, 2010 ACM/IEEE 32nd International Conference on. 1:445-454.
2010. New forms of Human-Computer Interaction for Visualizing Information. Information Visualization.
2001. An adaptive algorithm for tolerating value faults and crash failures. Parallel and Distributed Systems, IEEE Transactions on. 12(2):173-192.
2003. AQuA: an adaptive architecture that provides dependable distributed objects. Computers, IEEE Transactions on. 52(1):31-50.
1992. Left-corner parsing and psychological plausibility. Proceedings of the 14th conference on Computational linguistics-Volume 1. :191-197.
1992. A class-based approach to lexical discovery. Proceedings of the 30th annual meeting on Association for Computational Linguistics. :327-329.
2005. The web in theoretical linguistics research: Two case studies using the Linguist’s Search Engine. 31st Meeting of the Berkeley Linguistics Society. :265-276.