Publications
1978. Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
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.
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.
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.
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.
2007. Task-based interaction with an integrated multilingual, multimedia information system: a formative evaluation. Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries. :117-126.
2011. Boosting the scalability of botnet detection using adaptive traffic sampling. Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security. :124-134.
2009. Structure of the S5a:K48-Linked Diubiquitin Complex and Its Interactions with Rpn13. Molecular Cell. 35(3):280-290.
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.