- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c6 |      | Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison: Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM 2013: 238-252 |
| 2011 | ||
| j9 | | Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby: Capturing the distinction between task and device errors in a formal model of user behaviour. ECEASST 45 (2011) |
| j8 | | Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby: On formalising interactive number entry on infusion pumps. ECEASST 45 (2011) |
| j7 | | Rimvydas Ruksenas, Paul Curzon: Abstract Models and Cognitive Mismatch in Formal Verification. ECEASST 45 (2011) |
| 2009 | ||
| j6 | | Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Verification-guided modelling of salience and cognitive load. Formal Asp. Comput. 21(6): 541-569 (2009) |
| 2008 | ||
| j5 | | Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Formal Modelling of Salience and Cognitive Load. Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008) |
| j4 | | Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling and analysing cognitive causes of security breaches. ISSE 4(2): 143-160 (2008) |
| c5 | | Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364 |
| 2007 | ||
| j3 | | Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Detecting Cognitive Causes of Confidentiality Leaks. Electr. Notes Theor. Comput. Sci. 183: 21-38 (2007) |
| j2 | | Paul Curzon, Rimvydas Ruksenas, Ann Blandford: An approach to formal verification of human-computer interaction. Formal Asp. Comput. 19(4): 513-550 (2007) |
| c4 | | Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back: Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS 2007: 18-35 |
| 2006 | ||
| c3 | | Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford: Formal Modelling of Cognitive Interpretation. DSV-IS 2006: 123-136 |
| 2004 | ||
| j1 |  | Rimvydas Ruksenas: A Rigourous Environment for Development of Concurrent Systems. Nord. J. Comput. 11(2): 165-193 (2004) |
| 1998 | ||
| c2 | | |
| 1995 | ||
| c1 | | Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright: TkWinHOL: A Tool for Window Inference in HOL. TPHOLs 1995: 245-260 |
Colors in the list of coauthors
Last update Thu May 23 17:16:44 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page