Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Rimvydas
Last name:	Ruksenas
DBLP:	60/1714
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 10  

Select a publication
Show	Title	Venue	Rating	Date
	Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford. Verification-guided modelling of salience and cognitive load.	Formal Asp. Comput. 2009, Volume 21	(0)	2009
	Rimvydas Ruksenas, Paul Curzon, Ann Blandford. Modelling Rational User Behaviour as Games between an Angel and a Demon.	Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 2008	(0)	2008
	Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford. Formal Modelling of Salience and Cognitive Load.	Electr. Notes Theor. Comput. Sci. 2008, Volume 208	(0)	2008
	Rimvydas Ruksenas, Paul Curzon, Ann Blandford. Modelling and analysing cognitive causes of security breaches.	ISSE 2008, Volume 4	(0)	2008
	Rimvydas Ruksenas, Paul Curzon, Ann Blandford. Detecting Cognitive Causes of Confidentiality Leaks.	Electr. Notes Theor. Comput. Sci. 2007, Volume 183	(0)	2007
	Paul Curzon, Rimvydas Ruksenas, Ann Blandford. An approach to formal verification of human-computer interaction.	Formal Asp. Comput. 2007, Volume 19	(0)	2007
	Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford. Formal Modelling of Cognitive Interpretation.	Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers 2007	(0)	2006
	Rimvydas Ruksenas. A Rigourous Environment for Development of Concurrent Systems.	Nord. J. Comput. 2004, Volume 11	(0)	2004
	Rimvydas Ruksenas, Joakim von Wright. A Tool for Data Refinement.	Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings 1998	(0)	1998
	Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright. TkWinHOL: A Tool for Window Inference in HOL.	Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings 1995	(0)	1995

Your query returned 10 matches in the database.