Dimitar P. Guelev

	2012
27		Shuling Wang, Naijun Zhan, Dimitar P. Guelev: An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. TAMC 2012: 72-83
	2011
26		Dimitar P. Guelev, Mads Dam: An Epistemic Predicate CTL* for Finite Control π-Processes. Electr. Notes Theor. Comput. Sci. 278: 229-243 (2011)
25		Dimitar P. Guelev, Catalin Dima, Constantin Enea: An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Journal of Applied Non-Classical Logics 21(1): 93-131 (2011)
	2010
24		Catalin Dima, Constantin Enea, Dimitar P. Guelev: Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions GANDALF 2010: 103-117
23		Dimitar P. Guelev, Dang Van Hung: Reasoning about QoS Contracts in the Probabilistic Duration Calculus. Electr. Notes Theor. Comput. Sci. 238(6): 41-62 (2010)
	2008
22		Dimitar P. Guelev, Catalin Dima: Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. DALT 2008: 75-90
21		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		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		Dimitar P. Guelev: Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems CoRR abs/0706.0692: (2007)
18		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		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		Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Synthesising Features by Games. Electr. Notes Theor. Comput. Sci. 145: 79-93 (2006)
	2005
15		Nan Zhang, Mark Ryan, Dimitar P. Guelev: Evaluating Access Control Policies Through Model Checking. ISC 2005: 446-460
14		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		Dimitar P. Guelev: Sharpening the Incompleteness of the Duration Calculus. Electr. Notes Theor. Comput. Sci. 139(1): 91-104 (2005)
12		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		Nan Zhang, Mark Ryan, Dimitar P. Guelev: Synthesising verified access control systems in XACML. FMSE 2004: 56-65
10		Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens: Model-Checking Access Control Policies. ISC 2004: 219-230
9		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		Dimitar P. Guelev, Dang Van Hung: Prefix and Projection onto State in Duration Calculus. Electr. Notes Theor. Comput. Sci. 65(6): 101-119 (2002)
	2001
4		Dimitar P. Guelev: Interval-Related Interpolation in Interval Temporal Logics. Logic Journal of the IGPL 9(5): 677-685 (2001)
	2000
3		Dimitar P. Guelev: A Complete Fragment of Higher-Order Duration µ-Calculus. FSTTCS 2000: 264-276
2		Dimitar P. Guelev: Probabilistic Neighbourhood Logic. FTRTFT 2000: 264-275
	1999
1		Dang Van Hung, Dimitar P. Guelev: Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN 1999: 139-150

Coauthor Index

1	Mads Dam	[26]
2	Catalin Dima	[22] [24] [25]
3	Constantin Enea	[24] [25]
4	Dang Van Hung	[1] [5] [8] [12] [23]
5	Mark Ryan (Mark Dermot Ryan)	[6] [10] [11] [14] [15] [16] [17] [20]
6	Pierre-Yves Schobbens	[6] [10] [14] [16] [17]
7	Shuling Wang	[27]
8	Naijun Zhan	[27]
9	Nan Zhang	[11] [15] [20]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page