Rimvydas Ruksenas

	2011
14		Rimvydas Ruksenas, Paul Curzon: Abstract Models and Cognitive Mismatch in Formal Verification. ECEASST 45: (2011)
13		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)
12		Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold W. Thimbleby: On formalising interactive number entry on infusion pumps. ECEASST 45: (2011)
	2009
11		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
10		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364
9		Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Formal Modelling of Salience and Cognitive Load. Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008)
8		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling and analysing cognitive causes of security breaches. ISSE 4(2): 143-160 (2008)
	2007
7		Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back: Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS 2007: 18-35
6		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Detecting Cognitive Causes of Confidentiality Leaks. Electr. Notes Theor. Comput. Sci. 183: 21-38 (2007)
5		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		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

Coauthor Index

1	Maartje Ament	[13]
2	Jonathan Back	[4] [7] [9] [11]
3	Ann Blandford	[4] [5] [6] [7] [8] [9] [10] [11] [13]
4	Duncan P. Brumby	[13]
5	Abigail Cauchi	[12]
6	Anna Louise Cox	[13]
7	Paul Curzon	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
8	Andy Gimblett	[12]
9	Huayi Huang	[13]
10	Thomas Långbacka	[1]
11	Yunqiu Li	[12]
12	Paolo Masci	[12]
13	Patrick Oladimeji	[12]
14	Harold W. Thimbleby	[12]
15	Joakim von Wright	[1] [2]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page