Dimitar P. Guelev

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 9

Top Topics

Coalition Structures

Cooperative Games

Mazurkiewicz Traces

Top Venues

Ann. Math. Artif. Intell.

Publications

Dimitar P. Guelev
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection. LORI (2023)
Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin
A Generalized Hybrid Hoare Logic. CoRR (2023)
Dimitar P. Guelev
Gabbay Separation for the Duration Calculus. TIME (2022)
Dimitar P. Guelev, Ben C. Moszkowski
A separation theorem for discrete-time interval temporal logic. J. Appl. Non Class. Logics 32 (1) (2022)
Dimitar P. Guelev
Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games. CoRR (2020)
Dimitar P. Guelev, Shuling Wang, Naijun Zhan
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus. CoRR (2017)
Ben C. Moszkowski, Dimitar P. Guelev
An application of temporal projection to interleaving concurrency. Formal Aspects Comput. 29 (4) (2017)
Dimitar P. Guelev
Refining strategic ability in alternating-time temporal logic. Inf. Comput. 254 (2017)
Dimitar P. Guelev, Shuling Wang, Naijun Zhan
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. SETTA (2017)
Ben C. Moszkowski, Dimitar P. Guelev
An Application of Temporal Projection to Interleaving Concurrency. SETTA (2015)
Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker
Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Dimitar P. Guelev
Refining and Delegating Strategic Ability in ATL. SR (2014)
Dimitar P. Guelev
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL SR (2013)
Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
Super-Dense Computation in Verification of Hybrid CSP Processes. FACS (2013)
Shuling Wang, Naijun Zhan, Dimitar P. Guelev
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. TAMC (2012)
Dimitar P. Guelev, Catalin Dima
Epistemic ATL with Perfect Recall, Past and Strategy Contexts. CLIMA (2012)
Dimitar P. Guelev, Catalin Dima, Constantin Enea
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. J. Appl. Non Class. Logics 21 (1) (2011)
Dimitar P. Guelev, Mads Dam
for Finite Control π-Processes. Electron. Notes Theor. Comput. Sci. 278 (2011)
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)
Dimitar P. Guelev, Dang Van Hung
Reasoning about QoS Contracts in the Probabilistic Duration Calculus. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Dimitar P. Guelev, Catalin Dima
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. DALT (2008)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Synthesising verified access control systems through model checking. J. Comput. Secur. 16 (1) (2008)
Dimitar P. Guelev
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic. J. Log. Comput. 18 (4) (2008)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Dimitar P. Guelev
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems CoRR (2007)
Dimitar P. Guelev
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems. Log. Methods Comput. Sci. 3 (3) (2007)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Synthesising Features by Games. Electron. Notes Theor. Comput. Sci. 145 (2006)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Model-checking the Preservation of Temporal Properties upon Feature Integration. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Dimitar P. Guelev, Dang Van Hung
On the completeness and decidability of duration calculus with iteration. Theor. Comput. Sci. 337 (1-3) (2005)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Evaluating Access Control Policies Through Model Checking. ISC (2005)
Dimitar P. Guelev
Sharpening the Incompleteness of the Duration Calculus. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Dimitar P. Guelev, Dang Van Hung
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics 14 (1-2) (2004)
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
Model-Checking Access Control Policies. ISC (2004)
Dimitar P. Guelev
A Complete Proof System for First-order Interval Temporal Logic with Projection. J. Log. Comput. 14 (2) (2004)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Synthesising verified access control systems in XACML. FMSE (2004)
Dimitar P. Guelev
Logical Interpolation and Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics 14 (1-2) (2004)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Feature Integration as Substitution. FIW (2003)
Dimitar P. Guelev, Dang Van Hung
Prefix and Projection onto State in Duration Calculus. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Dimitar P. Guelev
Interval-Related Interpolation in Interval Temporal Logics. Log. J. IGPL 9 (5) (2001)
Dimitar P. Guelev
A Complete Fragment of Higher-Order Duration µ-Calculus. FSTTCS (2000)
Dimitar P. Guelev
Probabilistic Neighbourhood Logic. FTRTFT (2000)
Dimitar P. Guelev
A Propositional Dynamic Logic with Qualitative Probabilities. J. Philos. Log. 28 (6) (1999)
Dang Van Hung, Dimitar P. Guelev
Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN (1999)