Dimitar P. Guelev

Available identifiers

zbMath Open guelev.dimitar-pMaRDI QIDQ528194

List of research outcomes

Publication	Date of Publication	Type
Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection	2024-06-26	Paper
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities	2024-06-07	Paper
Correction	2023-05-17	Paper
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus	2022-11-04	Paper
A separation theorem for discrete-time interval temporal logic	2022-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4994891	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3388747	2021-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q5151003	2021-02-16	Paper
An application of temporal projection to interleaving concurrency	2017-09-08	Paper
An Application of Temporal Projection to Interleaving Concurrency	2017-08-31	Paper
Refining strategic ability in alternating-time temporal logic	2017-05-12	Paper
An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes	2016-10-07	Paper
Synthesising features by games	2013-12-04	Paper
Sharpening the incompleteness of the duration calculus	2013-10-02	Paper
Model-checking the preservation of temporal properties upon feature integration	2013-09-26	Paper
Prefix and projection onto state in duration calculus	2013-08-15	Paper
Epistemic ATL with Perfect Recall, Past and Strategy Contexts	2012-09-21	Paper
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking	2012-07-17	Paper
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP	2012-07-16	Paper
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus	2009-11-11	Paper
Logical Interpolation and Projection onto State in the Duration Calculus	2009-11-11	Paper
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions	2009-02-12	Paper
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic	2008-08-15	Paper
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems	2007-11-15	Paper
Information Security	2006-10-20	Paper
Information Security	2006-10-16	Paper
On the completeness and decidability of duration calculus with iteration	2005-06-30	Paper
A Complete Proof System for First-order Interval Temporal Logic with Projection	2004-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4472450	2004-08-04	Paper
Interval-related interpolation in interval temporal logics	2002-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q2766659	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4501577	2000-09-04	Paper
A propositional dynamic logic with qualitative probabilities	2000-01-30	Paper

Research outcomes over time

This page was built for person: Dimitar P. Guelev