Publications
1992. Standards-are software engineering process standards really necessary? Computer. 25(11):82-84.
1980. Advances in software engineering resource estimation. Advances in computer programming management. 1:206-225.
2005. Measuring productivity on high performance computers. 11th IEEE International Symposium on Software Metric.
2006. PIT: A macro‐implemented implementation language. Software: Practice and Experience. 2(4):337-346.
2001. Understanding IV & V in a safety critical and complex evolutionary environment: the NASA space shuttle program. Proceedings of the 23rd International Conference on Software Engineering. :349-357.
1997. Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
2010. The problem with zoning: nonlinear effects of interactions between location preferences and externalities on land use and utility. Environment and Planning B: Planning and Design. 37(3):408-428.
2003. The interaction between zoning regulations and residential preferences as a driver of urban form. Proceedings of the 2003 UTEP Distinguished Faculty and Student Symposium.
2009. The emergence of zoning policy games in exurban jurisdictions: Informing collective action theory. Land Use Policy. 26(2):356-367.
2008. Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
2013. Online Latent Dirichlet Allocation with Infinite Vocabulary. International Conference on Machine Learning.
2013_icml_infvoc.pdf (985.1 KB)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
2012. Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
2012. Mr. LDA: A Flexible Large Scale Topic Modeling Package using Variational Inference in MapReduce. Proceedings of ACM International Conference on World Wide Web, 2012.
1998. Models and high-performance algorithms for global BRDF retrieval. Computational Science Engineering, IEEE. 5(4):16-29.
2009. Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
2005. Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
2011. Blurring-invariant Riemannian metrics for comparing signals and images. 2011 IEEE International Conference on Computer Vision (ICCV). :1770-1775.
2005. Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.