Publications
1988. Resource utilization during software development. Journal of Systems and Software. 8(4):331-336.
1989. A support tool for teaching computer programming. Issues in software engineering educationIssues in software engineering education. :139-167.
1993. Use of an environment classification model. Proceedings of the 15th international conference on Software Engineering. :348-357.
2001. Programming languages: designing and implementation. BeOing: Electronic Industry Press. 6:46-65.
1983. The Software Industry: A State of the Art Survey. Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:383-383.
1998. Culture conflicts in software engineering technology transfer. NASA Goddard Software Engineering Workshop. :52-52.
1976. PL/I Programming with PLUM.
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.
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)
![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
2012. Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
1992. Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.
2005. Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
2005. Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
2009. Together, Rpn10 and Dsk2 Can Serve as a Polyubiquitin Chain-Length Sensor. Molecular Cell. 36(6):1018-1033.
2007. Numerical Analysis of Plasmon Resonances in Nanoparticles Based on Fast Multipole Method. Magnetics, IEEE Transactions on. 43(4):1465-1468.