|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Editorial |
Cerone, Antonio |
2009 |
21 | 6 |
p. 511-512 |
article |
|
| 2 | Model-checking user behaviour using interacting components |
Basuki, Thomas Anung |
2009 |
21 | 6 |
p. 571-588 |
article |
|
| 3 | Physigrams: modelling devices for natural interaction |
Dix, Alan |
2008 |
21 | 6 |
p. 613-641 |
article |
|
| 4 | Process algebraic modelling of attentional capture and human electrophysiology in interactive systems |
Su, Li |
2008 |
21 | 6 |
p. 513-539 |
article |
|
| 5 | Refinement for user interface designs |
Bowen, Judy |
2008 |
21 | 6 |
p. 589-612 |
article |
|
| 6 | Verification-guided modelling of salience and cognitive load |
Rukšėnas, Rimvydas |
2009 |
21 | 6 |
p. 541-569 |
article |
6 results found