Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
Zelkowitz MV, Yeh RT, Hamlet RG, Gannon JD, Basili VR.  1984.  Software Engineering Practices in the US and Japan. Computer. 17(6):57-66.
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Zelkowitz MV, Lyle JR.  1981.  Implementation of language enhancements. Computer Languages. 6(3–4):139-153.
Zelkowitz MV.  2012.  What have we learned about software engineering? Communications of the ACM. 55(2):38-39.
Zelkowitz MV, Rus I.  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.
Zelkowitz MV, Wallace D.  1997.  Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
Zelkowitz MV.  1993.  Role of verification in the software specification process. Advances in computers. 36:43-109.
Zelkowitz MV, Tseng C-W.  2006.  Advances in Computers: Computational Biology and Bioinformatics.
Zelkowitz MV, Tian J.  1994.  Measuring prime program complexity. Information Sciences. 77(3–4):325-350.
Zelkowitz MV, Rus L.  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.
Zelkowitz MV.  1978.  Perspectives in Software Engineering. ACM Comput. Surv.. 10(2):197-216.
Zellner ML, Riolo RL, Rand W, Brown DG, Page SE, Fernandez LE.  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.
Zellner ML, Riolo R, Rand W, Page SE, Brown DG, Fernandez LE.  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.
Zellner ML, Page SE, Rand W, Brown DG, Robinson DT, Nassauer J, Low B.  2009.  The emergence of zoning policy games in exurban jurisdictions: Informing collective action theory. Land Use Policy. 26(2):356-367.
Zeman D, Resnik P.  2008.  Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
Zha XF, Sriram RD, Gupta SK.  2005.  Information and Knowledge Modeling for Computer Supported Micro Electro-Mechanical Systems Design and Development.
Zhai K, Boyd-Graber J, Asadi N, Alkhouja M.  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.
Zhai K, Boyd-Graber J, Asadi N.  2011.  Using Variational Inference and MapReduce to Scale Topic Modeling. arXiv:1107.3765.
Zhai K, Boyd-Graber J.  2013.  Online Latent Dirichlet Allocation with Infinite Vocabulary. International Conference on Machine Learning. PDF icon 2013_icml_infvoc.pdf (985.1 KB)
Zhai K, Hu Y, Williamson S, Boyd-Graber J.  2012.  Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
Zhang K, Andrade H, Raschid L, Sussman A.  2005.  Query planning for the grid: adapting to dynamic resource availability. Cluster Computing and the Grid, IEEE International Symposium on. 2:751-758.
Zhang D, Cleaveland R.  2005.  Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
Zhang Z, Kalluri SNV, JaJa JF, Liang S, Townshend JRG.  1998.  Models and high-performance algorithms for global BRDF retrieval. Computational Science Engineering, IEEE. 5(4):16-29.
Zhang D, Raasi S, Fushman D.  2008.  Affinity Makes the Difference: Nonselective Interaction of the UBA Domain of Ubiquilin-1 with Monomeric Ubiquitin and Polyubiquitin Chains. Journal of Molecular Biology. 377(1):162-180.
Zhang W, Abhayapala TD, Kennedy RA, Duraiswami R.  2009.  Modal expansion of HRTFs: Continuous representation in frequency-range-angle. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :285-288.

Pages