| 2008 |
|---|
| 8 | EE | Rimvydas Ruksenas,
Paul Curzon,
Ann Blandford:
Modelling Rational User Behaviour as Games between an Angel and a Demon.
SEFM 2008: 355-364 |
| 7 | EE | Rimvydas Ruksenas,
Jonathan Back,
Paul Curzon,
Ann Blandford:
Formal Modelling of Salience and Cognitive Load.
Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008) |
| 2007 |
|---|
| 6 | EE | Rimvydas Ruksenas,
Paul Curzon,
Ann Blandford:
Detecting Cognitive Causes of Confidentiality Leaks.
Electr. Notes Theor. Comput. Sci. 183: 21-38 (2007) |
| 5 | EE | Paul Curzon,
Rimvydas Ruksenas,
Ann Blandford:
An approach to formal verification of human-computer interaction.
Formal Asp. Comput. 19(4): 513-550 (2007) |
| 2006 |
|---|
| 4 | EE | Rimvydas Ruksenas,
Paul Curzon,
Jonathan Back,
Ann Blandford:
Formal Modelling of Cognitive Interpretation.
DSV-IS 2006: 123-136 |
| 2004 |
|---|
| 3 | | Rimvydas Ruksenas:
A Rigourous Environment for Development of Concurrent Systems.
Nord. J. Comput. 11(2): 165-193 (2004) |
| 1998 |
|---|
| 2 | | Rimvydas Ruksenas,
Joakim von Wright:
A Tool for Data Refinement.
TPHOLs 1998: 423-441 |
| 1995 |
|---|
| 1 | | Thomas Långbacka,
Rimvydas Ruksenas,
Joakim von Wright:
TkWinHOL: A Tool for Window Inference in HOL.
TPHOLs 1995: 245-260 |
