Publications
2010. Dynamically checking ownership policies in concurrent c/c++ programs. Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :457-470.
2000. Subgrid-scale models for compressible large-eddy simulations. Theoretical and Computational Fluid Dynamics. 13(5):361-376.
2008. Upstream and downstream in unsteadiness of STBLI using DNS data in two con gurations. 46th AIAA Aerospace Sciences Meeting.
2011. Vibrio Cholerae O1 Detection in Estuarine and Coastal Zooplankton. Journal of Plankton Research. 33(1):51-62.
2008. Inconsistency management policies. Proc. 2008 Intl. Conference on Knowledge Representation and Reasoning (KR 2008).
2010. Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases. Scalable Uncertainty Management: 4th International Conference. 6379:264-264.
2008. The soma terror organization portal (stop): Social network and analytic tools for the real-time analysis of terror groups. First Intl. Workshop on Social Computing, Behavioral Modeling and Prediction.
2008. CONVEX: Similarity-Based Algorithms for Forecasting Group Behavior. Intelligent Systems, IEEE. 23(4):51-57.
2007. CONVEX: Context vectors as a paradigm for learning group behaviors based on similarity. IEEE Intelligent Systems. 23(4):51-57.
2008. Soft syntactic constraints for hierarchical phrased-based translation. Proceedings of ACL-08: HLT. :1003-1011.
2009. Estimating semantic distance using soft semantic constraints in knowledge-source-corpus hybrid models. Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 2-Volume 2. :775-783.
2009. Improved statistical machine translation using monolingually-derived paraphrases. Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1-Volume 1. :381-390.
1994. Simplifying polynomial constraints over integers to make dependence analysis more precise. Parallel Processing: CONPAR 94—VAPP VI. :737-748.
2004. Using Trust in Recommender Systems: An Experimental Analysis. Trust ManagementTrust Management. 2995:221-235.
2004. Implementation of the regularized structured total least squares algorithms for blind image deblurring. Linear Algebra and its Applications. 391:203-221.
2007. Fast Robust Regression Algorithms for Problems with Toeplitz Structure. Computational Statistics and Data Analysis. 52:2:1119-1131.
1991. Converting high probability into nearly-constant time—with applications to parallel hashing. Proceedings of the twenty-third annual ACM symposium on Theory of computing. :307-316.
1995. A note on reducing parallel model simulations to integer sorting. Parallel Processing Symposium, 1995. Proceedings., 9th International. :208-212.
1998. Efficient randomized algorithms for the repeated median line estimator. Algorithmica. 20(2):136-150.