Publications
2009. An update to experimental models for validating computer technology. Journal of Systems and Software. 82(3):373-376.
1977. Effects of structured programming on PL/I programmers. Software: Practice and Experience. 7(6):793-795.
2003. Experimental validation of new software technology. SERIES ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 12:229-263.
2005. Measuring productivity on high performance computers. 11th IEEE International Symposium on Software Metric.
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.
2006. PIT: A macro‐implemented implementation language. Software: Practice and Experience. 2(4):337-346.
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.
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.
2008. Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
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.
2013. Online Latent Dirichlet Allocation with Infinite Vocabulary. International Conference on Machine Learning. 2013_icml_infvoc.pdf (985.1 KB)
2012. Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
2006. Numerical Analysis of Plasmon Resonances Based on Fast Multipole Method. Electromagnetic Field Computation, 2006 12th Biennial IEEE Conference on. :459-459.
2010. Insights into head-related transfer function: Spatial dimensionality and continuous representation. The Journal of the Acoustical Society of America. 127(4):2347-2357.
2005. Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
2005. Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
1992. Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.