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.
1998. Culture conflicts in software engineering technology transfer. NASA Goddard Software Engineering Workshop. :52-52.
1976. PL/I Programming with PLUM.
1983. The Software Industry: A State of the Art Survey. Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:383-383.
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. Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
2013. Online Latent Dirichlet Allocation with Infinite Vocabulary. International Conference on Machine Learning. 2013_icml_infvoc.pdf (985.1 KB)
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.
2011. Blurring-invariant Riemannian metrics for comparing signals and images. 2011 IEEE International Conference on Computer Vision (ICCV). :1770-1775.
1998. An Empirical Study of Perspective-Based Usability Inspection. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 42(19):1346-1350.
1999. Perspective-based Usability Inspection: An Empirical Validation of Efficacy. Empirical Software Engineering. 4(1):43-69.
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.