Dimitar Guelev

(Former)

Publications

  1. 2006
  2. Published

    Synthesising Features by Games

    Dimitar Guelev, Mark Ryan & , 14 Jan 2006, p. 79-93. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  3. 2005
  4. Published

    On the Completeness and Decidability of Duration Calculus with Iteration

    Dimitar Guelev & , 9 Jun 2005, In: Theoretical Computer Science. 337, p. 278-304 27 p.

    Research output: Contribution to journalArticle

  5. Published

    Evaluating Access Control Policies through Model Checking

    Mark Ryan & Dimitar Guelev, 1 Jan 2005, In: Lecture Notes in Computer Science. 3650, p. 446-460 15 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Evaluating access control policies through model checking

    Mark Ryan & Dimitar Guelev, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

  7. Published

    Model-checking the Preservation of Temporal Properties upon Feature Integration. CONCUR Workshop AVoCS'04

    Dimitar Guelev, Mark Ryan & , 1 Jan 2005, p. 311-324. 14 p.

    Research output: Contribution to conference (unpublished)Paper

  8. Published

    Sharpening the Incompleteness of the Duration Calculus. Proceedings of the AMAST Workshop on Real-time Systems (ARTS)

    Dimitar Guelev, 1 Jan 2005, p. 91-104. 14 p.

    Research output: Contribution to conference (unpublished)Paper

  9. 2004
  10. Published

    Logical Interpolation and Projection onto State in the Duration Calculus

    Dimitar Guelev, 27 Jun 2004, In: Journal of Applied Non-Classical Logics . 14, 1-2, p. 181-208 28 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    A Complete Proof System for First Order Interval Temporal Logic with Projection

    Dimitar Guelev, 1 Apr 2004, In: Journal of Logic and Computation. 14, 2, p. 215-249 35 p.

    Research output: Contribution to journalArticle

  12. Published

    A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus

    Dimitar Guelev & , 1 Jan 2004, In: Journal of Applied Non-Classical Logics . 14, 1-2, p. 151-182 32 p.

    Research output: Contribution to journalArticle

  13. Published

    Model-checking access control policies

    Dimitar Guelev, Mark Ryan, , & , 1 Jan 2004, p. 219-230. 12 p.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 3 Next