Publications
1991. The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
1976. Automatic program analysis and evaluation. Proceedings of the 2nd international conference on Software engineering. :158-163.
2002. Impediments to software engineering technology transfer. Journal of Systems and Software. Forthcoming.
1996. Modeling software engineering environment capabilities. Journal of Systems and Software. 35(1):3-14.
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.
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.
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.
2009. Structure of the S5a:K48-Linked Diubiquitin Complex and Its Interactions with Rpn13. Molecular Cell. 35(3):280-290.
2005. Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
2007. GATA and Nkx factors synergistically regulate tissue-specific gene expression and development in vivo. Development. 134(1):189-198.
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.