Publications

Nau DS, Au T-C, Ilghami O, Kuter U, Wu D, Yaman F, Munoz-Avila H, Murdock JW. 2005. Applications of SHOP and SHOP2. Intelligent Systems, IEEE. 20(2):34-41.

Nau DS, Zhang GM, Gupta SK. 1992. Generation and Evaluation of Alternative Operation. ISR; TR 1992-20

Nau DS, Reggia JA. 1986. Relationships between deductive and abductive inference in knowledge-based diagnostic problem solving. Expert Database Systems: Proceedings of the First International Workshop. New York: Benjamin Cummings.

Nau DS, Ball MO, Gupta SK, Minis IE, Zhang G. 1994. Design for manufacture in multi-enterprise partnerships: current status and future directions. :117-125.

Nau DS. 2007. Current Trends in Automated Planning. AI Magazine. 28(4):43-43.

Nau DS, Gupta SK, Kramer TR, Regli WC, Zhang G. 1993. Using MRSEVs to develop machining alternatives.

Nau DS, Au TC, Ilghami O, Kuter U, Murdock JW, Wu D, Yaman F. 2003. SHOP2: An HTN planning system. J. Artif. Intell. Res. (JAIR). 20:379-404.

Nau DS, Zhang G, Gupta SK, Karinthi RR. 1993. Evaluating product machinability for concurrent engineering. Concurrent Engineering: Contemporary Issues and Modern Design Tools. :264-279.

Nau DS, Wilkenfeld J. 2008. Computational Cultural Dynamics. Intelligent Systems, IEEE. 23(4):18-19.

Nau DS. 2005. Inferencing in Support of Active Templates.

Nau DS. 2009. Artificial Intelligence and Automation. Springer Handbook of Automation. :249-268.

Navlakha S, Schatz MC, Kingsford C. 2009. Revealing biological modules via graph summarization. Journal of Computational Biology. 16(2):253-264.

Navlakha S, White J, Nagarajan N, Pop M, Kingsford C. 2009. Finding Biologically Accurate Clusterings in Hierarchical Tree Decompositions Using the Variation of Information. Research in Computational Molecular Biology. 5541:400-417.

Navlakha S, Kingsford C. 2010. Exploring Biological Network Dynamics with Ensembles of Graph Partitions. Proceedings of the PSB Pacific Symposium on Biocomputing. 15:166-177.

Navlakha S, White JR, Nagarajan N, Pop M, Kingsford C. 2009. Finding Biologically Accurate Clusterings in Hierarchical Decompositions Using the Variation of Information. Lecture Notes in Computer Science: Research in Computational Molecular Biology. 5541:400-417.

Navlakha S, White J, Nagarajan N, Pop M, Kingsford C. 2010. Finding Biologically Accurate Clusterings in Hierarchical Tree Decompositions Using the Variation of Information. Journal of Computational Biology. 17(3):503-516.

Navlakha S, Kingsford C. 2010. The power of protein interaction networks for associating genes with diseases. Bioinformatics. 26(8):1057-1057.

Nayak A K, Reimers A, Feamster N, Clark R. 2009. Resonance: dynamic access control for enterprise networks. Proceedings of the 1st ACM workshop on Research on enterprise networking. :11-18.

Neamtiu I, Hicks MW. 2009. Safe and timely updates to multi-threaded programs. SIGPLAN Not.. 44(6):13-24.

Neamtiu I, Hicks MW, Stoyle G, Oriol M. 2006. Practical dynamic software updating for C. SIGPLAN Not.. 41(6):72-83.

Neamtiu I., Dumitras T. 2011. Cloud software upgrades: Challenges and opportunities. 2011 International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA) . :1-10.

Neamtiu I, Hicks MW, Foster JS, Pratikakis P. 2008. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :37-49.

Neamtiu I, Foster JS, Hicks MW. 2005. Understanding source code evolution using abstract syntax tree matching. Proceedings of the 2005 international workshop on Mining software repositories. :1-5.

Neel MC, Cummings MP. 2003. Genetic consequences of ecological reserve design guidelines: An empirical investigation. Conserv Genet. 4(4):427-439.

Neel MC, Cummings MP. 2004. Section-level relationships of North American ıt Agalinis (Orobanchaceae) based on DNA sequence analysis of three chloroplast gene regions. BMC Evol Biol. 4:15-15.

Pages

Publications