Dimitar P. Guelev

47 papers C 4Misc 2Journal 23Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Finitely defined preference and preference indiscernibility in ATL with strategy contexts. J. Log. Algebraic Methods Program. Dimitar P. Guelev
2025	J	`jnl`	Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse Π, Craig Interpolation and Beth Definability. CoRR Dimitar P. Guelev
2025	J	`jnl`	On Qualitative Preference in Alternating-time Temporal Logic with Strategy Contexts. CoRR Dimitar P. Guelev
2024	J	`jnl`	Expressive completeness by separation for discrete time interval temporal logic with expanding modalities. Inf. Process. Lett. Dimitar P. Guelev, Ben C. Moszkowski
2023	J	`jnl`	A Generalized Hybrid Hoare Logic. CoRR Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin
2023	—	`conf`	Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection. LORI Dimitar P. Guelev
2022	J	`jnl`	A separation theorem for discrete-time interval temporal logic. J. Appl. Non Class. Logics Dimitar P. Guelev, Ben C. Moszkowski
2022	C	`conf`	Gabbay Separation for the Duration Calculus. TIME Dimitar P. Guelev
2020	J	`jnl`	Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games. CoRR Dimitar P. Guelev
2017	J	`jnl`	An application of temporal projection to interleaving concurrency. Formal Aspects Comput. Ben C. Moszkowski, Dimitar P. Guelev
2017	Misc	`conf`	Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. SETTA Dimitar P. Guelev, Shuling Wang, Naijun Zhan
2017	J	`jnl`	Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus. CoRR Dimitar P. Guelev, Shuling Wang, Naijun Zhan
2017	J	`jnl`	Refining strategic ability in alternating-time temporal logic. Inf. Comput. Dimitar P. Guelev
2015	Misc	`conf`	An Application of Temporal Projection to Interleaving Concurrency. SETTA Ben C. Moszkowski, Dimitar P. Guelev
2014	J	`jnl`	Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell. Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker
2014	—	`conf`	Refining and Delegating Strategic Ability in ATL. SR Dimitar P. Guelev
2013	—	`conf`	Reducing Validity in Epistemic ATL to Validity in Epistemic CTL SR Dimitar P. Guelev
2013	—	`conf`	Super-Dense Computation in Verification of Hybrid CSP Processes. FACS Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
2012	C	`conf`	An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. TAMC Shuling Wang, Naijun Zhan, Dimitar P. Guelev
2012	—	`conf`	Epistemic ATL with Perfect Recall, Past and Strategy Contexts. CLIMA Dimitar P. Guelev, Catalin Dima
2011	—	`conf`	An Epistemic Predicate CTL M4M/LAMAS Dimitar P. Guelev, Mads Dam
2011	J	`jnl`	An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. J. Appl. Non Class. Logics Dimitar P. Guelev, Catalin Dima, Constantin Enea
2010	—	`conf`	Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions GANDALF Catalin Dima, Constantin Enea, Dimitar P. Guelev
2008	J	`jnl`	A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic. J. Log. Comput. Dimitar P. Guelev
2008	—	`conf`	Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. DALT Dimitar P. Guelev, Catalin Dima
2008	—	`conf`	Reasoning about QoS Contracts in the Probabilistic Duration Calculus. FESCA@ETAPS Dimitar P. Guelev, Dang Van Hung
2008	J	`jnl`	Synthesising verified access control systems through model checking. J. Comput. Secur. Nan Zhang, Mark Ryan, Dimitar P. Guelev
2007	J	`jnl`	Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2007	J	`jnl`	Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems CoRR Dimitar P. Guelev
2007	J	`jnl`	Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems. Log. Methods Comput. Sci. Dimitar P. Guelev
2005	C	`conf`	Evaluating Access Control Policies Through Model Checking. ISC Nan Zhang, Mark Ryan, Dimitar P. Guelev
2005	J	`jnl`	On the completeness and decidability of duration calculus with iteration. Theor. Comput. Sci. Dimitar P. Guelev, Dang Van Hung
2005	—	`conf`	Synthesising Features by Games. AVoCS Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2004	J	`jnl`	A Complete Proof System for First-order Interval Temporal Logic with Projection. J. Log. Comput. Dimitar P. Guelev
2004	J	`jnl`	A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics Dimitar P. Guelev, Dang Van Hung
2004	J	`jnl`	Logical Interpolation and Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics Dimitar P. Guelev
2004	C	`conf`	Model-Checking Access Control Policies. ISC Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
2004	—	`conf`	Model-checking the Preservation of Temporal Properties upon Feature Integration. AVoCS Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2004	—	`conf`	Sharpening the Incompleteness of the Duration Calculus. ARTS Dimitar P. Guelev
2004	—	`conf`	Synthesising verified access control systems in XACML. FMSE Nan Zhang, Mark Ryan, Dimitar P. Guelev
2003	—	`conf`	Feature Integration as Substitution. FIW Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2002	—	`conf`	Prefix and Projection onto State in Duration Calculus. Theory and Practice of Timed Systems @ ETAPS Dimitar P. Guelev, Dang Van Hung
2001	J	`jnl`	Interval-Related Interpolation in Interval Temporal Logics. Log. J. IGPL Dimitar P. Guelev
2000	—	`conf`	A Complete Fragment of Higher-Order Duration µ-Calculus. FSTTCS Dimitar P. Guelev
2000	—	`conf`	Probabilistic Neighbourhood Logic. FTRTFT Dimitar P. Guelev
1999	J	`jnl`	A Propositional Dynamic Logic with Qualitative Probabilities. J. Philos. Log. Dimitar P. Guelev
1999	—	`conf`	Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN Dang Van Hung, Dimitar P. Guelev