The SCEAS System
Navigation Menu

Search the dblp DataBase


Rimvydas Ruksenas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford
    Formal Modelling of Cognitive Interpretation. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2006, pp:123-136 [Conf]
  2. Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
    TkWinHOL: A Tool for Window Inference in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:245-260 [Conf]
  3. Rimvydas Ruksenas, Joakim von Wright
    A Tool for Data Refinement. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:423-441 [Conf]
  4. Rimvydas Ruksenas
    A Rigourous Environment for Development of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2004, v:11, n:2, pp:165-193 [Journal]
  5. Rimvydas Ruksenas, Paul Curzon, Ann Blandford
    Detecting Cognitive Causes of Confidentiality Leaks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:21-38 [Journal]

  6. Modelling Rational User Behaviour as Games between an Angel and a Demon. [Citation Graph (, )][DBLP]

  7. Formal Modelling of Salience and Cognitive Load. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002