Publications

Export 242 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is Z  [Clear All Filters]
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
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, Basili VR, Shneiderman B.  1999.  Perspective-based Usability Inspection: An Empirical Validation of Efficacy. Empirical Software Engineering. 4(1):43-69.
Zhai K, Hu Y, Williamson S, Boyd-Graber J.  2012.  Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
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)
Zha XF, Sriram RD, Gupta SK.  2005.  Information and Knowledge Modeling for Computer Supported Micro Electro-Mechanical Systems Design and Development.
Zeman D, Resnik P.  2008.  Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
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.
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.
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Zelkowitz MV.  1978.  Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
Zelkowitz MV, Wallace DR, Binkley D.  1998.  Culture conflicts in software engineering technology transfer. NASA Goddard Software Engineering Workshop. :52-52.
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, Wallace DR, Binkley DW.  2003.  Experimental validation of new software technology. SERIES ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 12:229-263.
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, Bail WG.  2006.  Optimization of structured programs. Software: Practice and Experience. 4(1):51-57.
Zelkowitz MV.  1980.  Advances in software engineering resource estimation. Advances in computer programming management. 1:206-225.
Zelkowitz MV.  1988.  Resource utilization during software development. Journal of Systems and Software. 8(4):331-336.
Zelkowitz MV, McMullin PR, Merkel KR, Larsen HJ.  1976.  Error checking with pointer variables. Proceedings of the 1976 annual conference. :391-395.
Zelkowitz MV, Elgot J, Itkin D, Kowalchack B, Maggio M.  1985.  The Engineering of an Environment on Small Machines. Proceedings of the IEEE 1st International Conference on Computer Workstations. :61-69.
Zelkowitz MV.  1974.  Interactive PL/1. SIGPLAN Not.. 9(9):29-32.
Zelkowitz MV.  2006.  A case study in rapid prototyping. Software: Practice and Experience. 10(12):1037-1042.
Zelkowitz MV, Shaw AC, Gannon JD.  1979.  Principles of software engineering and design.

Pages