Publications
2005. Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
2011. Variable remapping of images from very different sources. 2011 18th IEEE International Conference on Image Processing (ICIP). :1501-1504.
2005. Approximation results for probabilistic survivability. Multi-Agent Security and Survivability, 2005 IEEE 2nd Symposium on. :1-10.
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.
2013. Online Latent Dirichlet Allocation with Infinite Vocabulary. International Conference on Machine Learning. 2013_icml_infvoc.pdf (985.1 KB)
2008. Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
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.
2004. Defect evolution in a product line environment. Journal of Systems and Software. 70(1–2):143-154.
1978. Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
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.