A
·
B
·
C
·
D
·
E
·
F
·
G
·
H
·
I
·
J
·
K
·
L
·
M
·
N
·
O
·
P
·
Q
·
R
·
S
·
T
·
U
·
V
·
W
·
X
·
Y
·
Z
·
OTHER
·

Directory Results for 1007/s00146-009-0253-y to 1007/s00165-008-0102-7 BCS 2009 al Aspects of Computing (2009) 21: 541 569 Formal Aspects of Computing Veri cation-guided modelling of salience and cognitive load Rimvydas Ruk enas1 , Jonathan Back2 , Paul Curzon1 , and Ann Blandford2 s

1007/s00146-009-0253-y
1007/s00146-017-0755-y
1007/s00146-017-0770-z
1007/s00165-008-0102-7 BCS 2009 al Aspects of Computing (2009) 21: 541 569 Formal Aspects of Computing Veri cation-guided modelling of salience and cognitive load Rimvydas Ruk enas1 , Jonathan Back2 , Paul Curzon1 , and Ann Blandford2 s