Publications
1999. Distinguishing systems and distinguishing senses: New evaluation methods for word sense disambiguation. Natural language engineering. 5(2):113-133.
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.
2010. New forms of Human-Computer Interaction for Visualizing Information. Information Visualization.
2010. Using symbolic evaluation to understand behavior in configurable software systems. Software Engineering, 2010 ACM/IEEE 32nd International Conference on. 1:445-454.
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.
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.
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.
1986. Modelling reading aloud and its relevance to acquired dyslexia. Computer methods and programs in biomedicine. 22(1):13-19.
1981. Computer-assisted medical decision making: a critical review. Annals of biomedical engineering. 9(5):605-619.
1983. A New Inference Method for Frame-based Expert System. Proceedings of the National Conference on Artificial Intelligence. :333-337.
1985. DS Nau, and PY Wang. A formal model of diagnostic inference. Information Sciences. 37:227-285.
1990. Parsimonious covering theory in cognitive diagnosis and adaptive instruction. Diagnostic Monitoring of Skill and Knowledge AcquisitionDiagnostic Monitoring of Skill and Knowledge Acquisition. :510-510.