publicações selecionadas
-
artigo de conferência
- Resources for Situated Actions. Computational Methods in Applied Sciences. 2008
- Supporting resource-based analysis of task information needs. Computational Methods in Applied Sciences. 2005
- Reasoning about time in dynamic information displays 2001
- Representational reasoning and verification 1998
-
artigo de revista
- Analysing interactive devices based on information resource constraints. International Journal of Human Computer Studies. 2014
- Representational Reasoning and Verification. Formal Aspects of Computing. 2000
-
capítulo de livro
- Connecting rigorous system analysis to experience centred design 2008
- Reasoning about dynamic information displays. Computational Methods in Applied Sciences. 2003
-
documento