Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2005. Maintaining concentration to achieve task completion. Proceedings of the 2005 conference on Designing for User eXperience. :9-9.
2006. Strategies for evaluating information visualization tools: multi-dimensional in-depth long-term case studies. Proceedings of the 2006 AVI workshop on BEyond time and errors: novel evaluation methods for information visualization. :1-7.
2008. Copernican challenges face those who suggest that collaboration, not computation are the driving energy for socio-technical systems that characterize Web 2.0.. Science. 319:1349-1350.
1980. Hardware options, evaluation metrics, and a design sequence for interactive information systems. Information & Management. 3(1):3-18.
1993. Preface to Sparks of Innovation in Human-Computer Interaction. Sparks of innovation in human-computer interaction.
1986. Interfaces: multi-media and multi-user. Computer Supported Cooperative Work: Proceedings of the 1986 ACM conference on Computer-supported cooperative work.
1977. Reduced combined indexes for efficient multiple attribute retrieval. Information Systems. 2(4):149-154.
1974. A model for optimizing indexed file structures. International Journal of Parallel Programming. 3(1):91-101.
1976. Exploratory experiments in programmer behavior. International Journal of Parallel Programming. 5(2):123-143.
2002. Understanding human reactivites and relationships: an excerpt from Leonardo's laptop. interactions. 9(5):40-53.
2001. Supporting creativity with advanced information-abundant user interfaces. Human-Centered Computing, Online Communities, and Virtual Environments. :469-480.
1983. High-tech can stimulate creative action: the increased ease-of-use of computers supports individual competence and productive work. SIGCHI Bull.. 14(4):6-7.
1978. Jump searching: a fast sequential search technique. Communications of the ACM. 21(10):831-834.
1990. Human values and the future of technology: a declaration of empowerment. Proceedings of the conference on Computers and the quality of life. :1-6.
2005. The limits of speech recognition: Understanding acoustic memory and appreciating prosody (2000). Institute for Systems Research Technical Reports.
2004. Facilitating understanding of information visualizations: emerging principles and examples. Eighth International Conference on Information Visualisation, 2004. IV 2004. Proceedings.
2004. Universal Usability: Pushing Human-Computer Interaction Research to Empower Every Citizen. Media access: social and psychological dimensions of new technology use. :255-255.
1982. Teaching software psychology experimentation through team projects. ACM SIGCSE Bulletin. 14(3):38-40.