Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
N
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, Stoyle G, Oriol M.  2006.  Practical dynamic software updating for C. SIGPLAN Not.. 41(6):72-83.
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.
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, Hicks MW.  2009.  Safe and timely updates to multi-threaded programs. SIGPLAN Not.. 44(6):13-24.
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.
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.  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.  The power of protein interaction networks for associating genes with diseases. Bioinformatics. 26(8):1057-1057.
Navlakha S, Schatz MC, Kingsford C.  2009.  Revealing biological modules via graph summarization. Journal of Computational Biology. 16(2):253-264.
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 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.
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, Luštrek M, Parker A, Bratko I, Gams M.  2010.  When is it better not to look ahead? Artificial Intelligence. 174(16–17):1323-1338.
Nau DS, Zhang GM, Gupta SK.  1992.  Generation and Evaluation of Alternative Operation. ISR; TR 1992-20
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, 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, 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.
Nau DS, Gupta SK, Kramer TR, Regli WC, Zhang G.  1993.  Development of machining alternatives, based on MRSEVs. Computers in Engineering. :47-47.

Pages