publicações selecionadas
-
artigo académico
- Analysing interactive devices based on information resource constraints. International Journal of Human Computer Studies. 2014
- Representational Reasoning and Verification. Formal Aspects of Computing. 2000
-
artigo de conferência
- Resources for Situated Actions. International Journal on Software Tools for Technology Transfer. 2008
- Supporting resource-based analysis of task information needs. International Journal on Software Tools for Technology Transfer. 2005
-
capítulo de livro
-
documento
- Is there a role for rigorous system analysis in experience experience centred design? 2005
- Reasoning about dynamic information displays. International Journal on Software Tools for Technology Transfer. 2003
- Reasoning about time in dynamic information displays 2001
- Representational reasoning and verification 1998