Dimitar P. Guelev

From MaRDI portal
Person:528194

Available identifiers

zbMath Open guelev.dimitar-pMaRDI QIDQ528194

List of research outcomes





PublicationDate of PublicationType
Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection2024-06-26Paper
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities2024-06-07Paper
Correction2023-05-17Paper
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus2022-11-04Paper
A separation theorem for discrete-time interval temporal logic2022-05-09Paper
https://portal.mardi4nfdi.de/entity/Q49948912021-06-22Paper
https://portal.mardi4nfdi.de/entity/Q33887472021-05-06Paper
https://portal.mardi4nfdi.de/entity/Q51510032021-02-16Paper
An application of temporal projection to interleaving concurrency2017-09-08Paper
An Application of Temporal Projection to Interleaving Concurrency2017-08-31Paper
Refining strategic ability in alternating-time temporal logic2017-05-12Paper
An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes2016-10-07Paper
Synthesising features by games2013-12-04Paper
Sharpening the incompleteness of the duration calculus2013-10-02Paper
Model-checking the preservation of temporal properties upon feature integration2013-09-26Paper
Prefix and projection onto state in duration calculus2013-08-15Paper
Epistemic ATL with Perfect Recall, Past and Strategy Contexts2012-09-21Paper
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking2012-07-17Paper
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP2012-07-16Paper
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus2009-11-11Paper
Logical Interpolation and Projection onto State in the Duration Calculus2009-11-11Paper
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions2009-02-12Paper
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic2008-08-15Paper
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems2007-11-15Paper
Information Security2006-10-20Paper
Information Security2006-10-16Paper
On the completeness and decidability of duration calculus with iteration2005-06-30Paper
A Complete Proof System for First-order Interval Temporal Logic with Projection2004-10-15Paper
https://portal.mardi4nfdi.de/entity/Q44724502004-08-04Paper
Interval-related interpolation in interval temporal logics2002-09-16Paper
https://portal.mardi4nfdi.de/entity/Q27666592002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q45015772000-09-04Paper
A propositional dynamic logic with qualitative probabilities2000-01-30Paper

Research outcomes over time

This page was built for person: Dimitar P. Guelev