Publications
2001. University of Maryland, USA. Fifth International Conference on Information Visualisation: 25-27 July 2001 London, England: Proceedings. :3-3.
2009. The University of Maryland statistical machine translation system for the Fourth Workshop on Machine Translation. Proceedings of the Fourth Workshop on Statistical Machine Translation. :145-149.
2007. Universally-composable two-party computation in two rounds. Proceedings of the 27th annual international cryptology conference on Advances in cryptology. :111-129.
2005. Universally composable password-based key exchange. Advances in Cryptology–Eurocrypt 2005. :557-557.
2008. Universally composable multi-party computation with an unreliable common reference string. Theory of Cryptography. :142-154.
2007. Universally composable multi-party computation using tamper-proof hardware. Advances in Cryptology-EUROCRYPT 2007. :115-128.
2004. Universal Usability: Pushing Human-Computer Interaction Research to Empower Every Citizen. Media access: social and psychological dimensions of new technology use. :255-255.
2005. Universal Usability as a Stimulus to Advanced Interface Design (2001). Institute for Systems Research Technical Reports.
2001. Universal usability as a stimulus to advanced interface design. Behaviour & Information Technology. 20(5):367-376.
2001. Universal usability: a research agenda for human—computer interaction to empower every citizen. Frontiers of human-centred computing, online communities and virtual environmentsFrontiers of human-centred computing, online communities and virtual environments. :179-189.
2007. Universal Usability: A grand challenge for HCI. Universal usability: Designing computer interfaces for user diversity.
1987. UNITRAN: an interlingual approach to machine translation. Proceedings of the Sixth Conference of the American Association of Artificial Intelligence. :534-539.
1988. UNITRAN: A PRINCIPLE-BASED PARSER FOR MACHINE TRANSLATION. The MIT parsing volume, 1987-88. (1):128-128.
1988. A united approach to finding enclosing and enclosed triangles. Proceedings of 26th Allerton Conference on Communication, Control and Computing.
2004. Unit verification: the CARA experience. International Journal on Software Tools for Technology Transfer (STTT). 5(4):351-369.
1989. Unifying Shading and Texture Through an Active Observer. Proceedings of the Royal Society of London. B. Biological Sciences. 238(1290):25-37.
1995. A unifying framework for iteration reordering transformations. Algorithms and Architectures for Parallel Processing, 1995. ICAPP 95. IEEE First ICA/sup 3/PP., IEEE First International Conference on. 1:153-162.
2004. Unifying artifacts and activities in a visual tool for distributed software development teams. 26th International Conference on Software Engineering, 2004. ICSE 2004. Proceedings. :387-396.
1991. Uniform techniques for loop optimization. Proceedings of the 5th international conference on Supercomputing. :341-352.