| 2008 |
|---|
| 22 | EE | Dimitar P. Guelev,
Catalin Dima:
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions.
DALT 2008: 75-90 |
| 21 | EE | Dimitar P. Guelev:
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.
J. Log. Comput. 18(4): 615-623 (2008) |
| 20 | EE | Nan Zhang,
Mark Ryan,
Dimitar P. Guelev:
Synthesising verified access control systems through model checking.
Journal of Computer Security 16(1): 1-61 (2008) |
| 2007 |
|---|
| 19 | EE | Dimitar P. Guelev:
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
CoRR abs/0706.0692: (2007) |
| 18 | EE | Dimitar P. Guelev:
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems.
Logical Methods in Computer Science 3(3): (2007) |
| 17 | EE | Dimitar P. Guelev,
Mark Dermot Ryan,
Pierre-Yves Schobbens:
Model-checking the preservation of temporal properties upon feature integration.
STTT 9(1): 53-62 (2007) |
| 2006 |
|---|
| 16 | EE | Dimitar P. Guelev,
Mark Dermot Ryan,
Pierre-Yves Schobbens:
Synthesising Features by Games.
Electr. Notes Theor. Comput. Sci. 145: 79-93 (2006) |
| 2005 |
|---|
| 15 | EE | Nan Zhang,
Mark Ryan,
Dimitar P. Guelev:
Evaluating Access Control Policies Through Model Checking.
ISC 2005: 446-460 |
| 14 | EE | Dimitar P. Guelev,
Mark Dermot Ryan,
Pierre-Yves Schobbens:
Model-checking the Preservation of Temporal Properties upon Feature Integration.
Electr. Notes Theor. Comput. Sci. 128(6): 311-324 (2005) |
| 13 | EE | Dimitar P. Guelev:
Sharpening the Incompleteness of the Duration Calculus.
Electr. Notes Theor. Comput. Sci. 139(1): 91-104 (2005) |
| 12 | EE | Dimitar P. Guelev,
Dang Van Hung:
On the completeness and decidability of duration calculus with iteration.
Theor. Comput. Sci. 337(1-3): 278-304 (2005) |
| 2004 |
|---|
| 11 | EE | Nan Zhang,
Mark Ryan,
Dimitar P. Guelev:
Synthesising verified access control systems in XACML.
FMSE 2004: 56-65 |
| 10 | EE | Dimitar P. Guelev,
Mark Ryan,
Pierre-Yves Schobbens:
Model-Checking Access Control Policies.
ISC 2004: 219-230 |
| 9 | EE | Dimitar P. Guelev:
A Complete Proof System for First-order Interval Temporal Logic with Projection.
J. Log. Comput. 14(2): 215-249 (2004) |
| 8 | | Dimitar P. Guelev,
Dang Van Hung:
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.
Journal of Applied Non-Classical Logics 14(1-2): 149-180 (2004) |
| 7 | | Dimitar P. Guelev:
Logical Interpolation and Projection onto State in the Duration Calculus.
Journal of Applied Non-Classical Logics 14(1-2): 181-208 (2004) |
| 2003 |
|---|
| 6 | | Dimitar P. Guelev,
Mark Dermot Ryan,
Pierre-Yves Schobbens:
Feature Integration as Substitution.
FIW 2003: 275-294 |
| 2002 |
|---|
| 5 | EE | Dimitar P. Guelev,
Dang Van Hung:
Prefix and Projection onto State in Duration Calculus.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 2001 |
|---|
| 4 | EE | Dimitar P. Guelev:
Interval-Related Interpolation in Interval Temporal Logics.
Logic Journal of the IGPL 9(5): (2001) |
| 2000 |
|---|
| 3 | EE | Dimitar P. Guelev:
A Complete Fragment of Higher-Order Duration µ-Calculus.
FSTTCS 2000: 264-276 |
| 2 | EE | Dimitar P. Guelev:
Probabilistic Neighbourhood Logic.
FTRTFT 2000: 264-275 |
| 1999 |
|---|
| 1 | EE | Dang Van Hung,
Dimitar P. Guelev:
Completeness and Decidability of a Fragment of Duration Calculus with Iteration.
ASIAN 1999: 139-150 |
