Publications
2005. Approximation results for probabilistic survivability. Multi-Agent Security and Survivability, 2005 IEEE 2nd Symposium on. :1-10.
2005. Query planning for the grid: adapting to dynamic resource availability. Cluster Computing and the Grid, IEEE International Symposium on. 2:751-758.
2005. Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
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.
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.
2001. Understanding IV & V in a safety critical and complex evolutionary environment: the NASA space shuttle program. Proceedings of the 23rd International Conference on Software Engineering. :349-357.
1997. Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
2001. The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program. Software Maintenance, 2001. Proceedings. IEEE International Conference on. :118-126.
1978. Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
1978. Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.