The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002