Trends and Gaps

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Handbook of Formal Methods in Human-Computer Interaction

• Publication date

  2017-04-26

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-51838-1_3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Being Human: Human-Computer Interaction in the Year 2020

  2019cited by this paper
• Human-computer interaction, foundations and new paradigms

  2017cited by this paper
• A SmartDisability Framework: Enhancing User Interaction

  2016cited by this paper
• A semi-formal framework for describing interaction design spaces

  2016cited by this paper
• EU regulations on algorithmic decision-making and a "right to explanation"

  2016cited by this paper
• A Human-Centred Tangible approach to learning Computational Thinking

  2016cited by this paper
• Mastering the game of Go with deep neural networks and tree search

  2016cited by this paper
• Learning Analytics for the Academic: An Action Perspective

  2015cited by this paper
• Digital Distractions in the Classroom: Student Classroom Use of Digital Devices for Non-Class Related Purposes

  2013cited by this paper
• UltraHaptics: multi-point mid-air haptic feedback for touch surfaces

  2013cited by this paper
• Digital Devices, Distraction, and Student Performance: Does In-Class Cell Phone Use Reduce Learning?.

  2012cited by this paper
• Interactions with big data analytics

  2012cited by this paper
• An Integrated Formal Task Specification Method for Smart Environments

  2011cited by this paper
• UI-driven test-first development of interactive systems

  2011cited by this paper
• Past, Present, and Future of Model-Based User Interface Development

  2011cited by this paper
• An Econometric Analysis of the Sociodemographic Topology of the Digital Divide in Europe

  2011cited by this paper
• Mastering the Information Age - Solving Problems with Visual Analytics

  2010cited by this paper
• User interface plasticity: model driven engineering to the limit!

  2010cited by this paper
• Weird people, yes, but also weird experiments

  2010cited by this paper
• WEIRD languages have misled us, too

  2010cited by this paper
• e-exclusion and the gender digital divide

  2010cited by this paper
• Kinetic User Interfaces: Physical Embodied Interaction with Mobile Ubiquitous Computing Systems

  2009cited by this paper
• Formal methods: Practice and experience

  2009cited by this paper
• The Role of Income Inequality in a Multivariate Cross-National Analysis of the Digital Divide

  2009cited by this paper
• The Unreasonable Effectiveness of Data

  2009cited by this paper
• Information technology use among individuals in rich and poor countries: The disappearing divide

  2009cited by this paper
• Research Approaches to Mobile Use in the Developing World: A Review of the Literature

  2008cited by this paper
• Digital divide and economic development: case study of sub-Saharan Africa

  2008cited by this paper
• Web-hosting market development status and its value as an indicator of a country's e-readiness

  2008cited by this paper
• From origins to implications: key aspects in the debate over the digital divide

  2007cited by this paper
• The digital vicious cycle: Links between social disadvantage and digital exclusion in rural areas

  2007cited by this paper
• From networks to uses patterns: the digital divide as seen from Africa

  2007cited by this paper
• On the need for attention-aware systems: Measuring effects of interruption on task performance, error rate, and affective state

  2006cited by this paper
• Locating digital divides at home, work, and everywhere else

  2006cited by this paper
• Financial development, the structure of capital markets, and the global digital divide

  2006cited by this paper
• Making Sense of Interaction Using a Model-Based Approach.

  2006cited by this paper
• Understanding information inequality: Making sense of the literature of the information and digital divides

  2006cited by this paper
• Design Tools for Pervasive Computing in Urban Environments

  2006cited by this paper
• Gaps and Bits: Conceptualizing Measurements for Digital Divide/s

  2006cited by this paper
• Book Review: IT Experience in India: Bridging the Digital Divide

  2005cited by this paper
• Illuminating the Path: The Research and Development Agenda for Visual Analytics

  2005cited by this paper
• Formalising Performative Interaction

  2005cited by this paper
• Bridging the digital divide in Sub-Saharan Africa: The rural challenge in Uganda⋆

  2005cited by this paper
• Digital divide in a developing country

  2005cited by this paper
• Bridging digital divide: Efforts in India

  2005cited by this paper
• The digital divide: Internet and e-mail use by the elderly

  2005cited by this paper
• The Digital Divide and Increasing Returns: Contradictions of Informational Capitalism

  2005cited by this paper
• Closing the Digital Divide in Sub-Saharan Africa: meeting the challenges of the information age

  2005cited by this paper
• A diary study of task switching and interruptions

  2004cited by this paper
• An architecture for privacy-sensitive ubiquitous computing

  2004cited by this paper
• Value-centred HCI

  2004cited by this paper
• Media Literacy and the Challenge of New Information and Communication Technologies

  2004cited by this paper
• Emotional design

  2004cited by this paper
• Reconsidering Political and Popular Understandings of the Digital Divide

  2004cited by this paper
• A case for harnessing information technology for rural development

  2004cited by this paper
• If not now, when?: the effects of interruption at different moments within task execution

  2004cited by this paper
• Trigger Analysis - understanding broken tasks

  2003cited by this paper
• Dissecting the "Digital Divide": A Case Study in Egypt

  2003cited by this paper
• Second Thoughts: Toward a Critique of the Digital Divide

  2003cited by this paper
• Beyond Access: Psychosocial Barriers to Computer Literacy Special Issue: ICTs and Community Networking

  2003cited by this paper
• Putting Time (Back) Into Dynamic Function Allocation

  2003cited by this paper
• Geo-Policy Barriers and Rural Internet Access: The Regulatory Role in Constructing the Digital Divide

  2003cited by this paper
• Bridging Latin America's Digital Divide: Government Policies and Internet Access

  2003cited by this paper
• Undergraduate students' gender differences in IT skills and attitudes

  2003cited by this paper
• Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces

  2002cited by this paper
• Bridging Urban Digital Divides? Urban Polarisation and Information and Communications Technologies (ICTs)

  2002cited by this paper
• Tangible bits: designing the seamless interface between people, bits, and atoms

  2002cited by this paper
• Digital divides and the adoption of information and communication technologies in the UK farm sector

  2002cited by this paper
• A reference framework for continuous interaction

  2002cited by this paper
• Formal Methods in HCI: a Success Story - why it works and how to reproduce it

  2002cited by this paper
• A Privacy Awareness System for Ubiquitous Computing Environments

  2002cited by this paper
• Reconceptualizing the Digital Divide

  2002cited by this paper
• The Internet and Knowledge Gaps

  2002cited by this paper
• Addressing the Global Digital Divide and its Impact on Educational Opportunity

  2002cited by this paper
• A model for rural and remote information and communication technologies: a Canadian exploration

  2001cited by this paper
• New Policies for a New Rural America

  2001cited by this paper
• The coming age of online procurement

  2001cited by this paper
• Beyond the 10-bit Barrier: Fitts' Law in Multi-Scale Electronic Worlds

  2001influential reference
• The First and Second Digital Divides

  2001cited by this paper
• Bridging the Second Digital Divide: What Can Sociologists of Education Contribute?.

  2001cited by this paper
• The Rural-Urban Digital Divide

  2000cited by this paper
• Measuring information society: Dynamics of European data on usage of information and communication technologies in Europe since 1995

  2000cited by this paper
• DENIM: finding a tighter fit between tools and practice for Web site design

  2000cited by this paper
• The e‐volution of the digital divides in the US: a mayhem of competing metrics

  2000cited by this paper
• An Approach to the Formal Analysis of User Complexity

  1999cited by this paper
• Computer for the 21st Century

  1999cited by this paper
• Weaving the Western Web: explaining differences in Internet connectivity among OECD countries

  1999cited by this paper
• The impact of computer anxiety and self-efficacy upon performance

  1998cited by this paper
• Formal Methods in Human-Computer Interaction

  1997cited by this paper
• Design Principles for Interactive Software

  1997influential reference
• Modelling status and event behaviour of interactive systems

  1996cited by this paper
• Formal methods: state of the art and future directions

  1996influential reference
• Pace and interaction

  1993cited by this paper
• Human issues in the use of pattern recognition techniques

  1992cited by this paper
• A metamodel for the runtime architecture of an interactive system: the UIMS tool developers workshop

  1992cited by this paper
• The computer for the 21st Century

  1991cited by this paper
• Formal methods for interactive systems

  1991influential reference
• The Mystery of Consciousness

  1990cited by this paper
• Information processing, context and privacy

  1990cited by this paper
• Formal methods in human-computer interaction

  1990cited by this paper

• Antimicrobial Potential of Three Native Plant Species From the Brazilian Amazon: A Review

  2025cites this paper
• Perceived usefulness of open educational resources: Impact of switching to online learning for face-to-face and distance learners

  2023cites this paper
• Self-perceived quality of sleep among COPD patients in Greece: the SLEPICO study

  2022cites this paper
• Editorial: Toolkits for Prediction and Early Detection of Acute Exacerbations of Chronic Obstructive Pulmonary Disease

  2022cites this paper
• 30 years of research on insect galls in Brazil: a scientometric review

  2018cites this paper
• Where are the values? locating and reasoning 25 years on

  2017cites this paper