The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dimitar P. Guelev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dang Van Hung, Dimitar P. Guelev
    Completeness and Decidability of a Fragment of Duration Calculus with Iteration. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:139-150 [Conf]
  2. Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
    Synthesising verified access control systems in XACML. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:56-65 [Conf]
  3. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
    Feature Integration as Substitution. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:275-294 [Conf]
  4. Dimitar P. Guelev
    A Complete Fragment of Higher-Order Duration µ-Calculus. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:264-276 [Conf]
  5. Dimitar P. Guelev
    Probabilistic Neighbourhood Logic. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:264-275 [Conf]
  6. Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
    Model-Checking Access Control Policies. [Citation Graph (0, 0)][DBLP]
    ISC, 2004, pp:219-230 [Conf]
  7. Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
    Evaluating Access Control Policies Through Model Checking. [Citation Graph (0, 0)][DBLP]
    ISC, 2005, pp:446-460 [Conf]
  8. Dimitar P. Guelev
    Sharpening the Incompleteness of the Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:91-104 [Journal]
  9. Dimitar P. Guelev, Dang Van Hung
    Prefix and Projection onto State in Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  10. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
    Model-checking the Preservation of Temporal Properties upon Feature Integration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:311-324 [Journal]
  11. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
    Synthesising Features by Games. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:79-93 [Journal]
  12. Dimitar P. Guelev
    Interval-Related Interpolation in Interval Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:5, pp:- [Journal]
  13. Dimitar P. Guelev
    Logical Interpolation and Projection onto State in the Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:181-208 [Journal]
  14. Dimitar P. Guelev, Dang Van Hung
    A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:149-180 [Journal]
  15. Dimitar P. Guelev
    A Complete Proof System for First-order Interval Temporal Logic with Projection. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:2, pp:215-249 [Journal]
  16. Dimitar P. Guelev, Dang Van Hung
    On the completeness and decidability of duration calculus with iteration. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:337, n:1-3, pp:278-304 [Journal]
  17. Dimitar P. Guelev
    Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  18. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
    Model-checking the preservation of temporal properties upon feature integration. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:53-62 [Journal]

  19. Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. [Citation Graph (, )][DBLP]


  20. Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
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