In this paper, I propose that visualization should escape the traditional constraint of the screen and embrace the physical environment to realize more tangible interactions for m...
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Collaborative design review is an important part of architectural design work. The Space Pen system supports annotation and drawing on (and inside) 3D VRML/Java models using a reg...
Mobile computer technologies are increasingly being appropriated and used to facilitate people’s social life outside the work domain. Addressing this emerging domain of use, we ...
This paper explores the concept of somaesthetics as an approach to the design of expressive interaction. This concept is exemplified through the design process of soft(n), an inte...