Ben Moszkowski

Available identifiers

zbMath Open moszkowski.ben-cMaRDI QIDQ2248086

List of research outcomes

Publication	Date of Publication	Type
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities	2024-06-07	Paper
Correction	2023-05-17	Paper
A separation theorem for discrete-time interval temporal logic	2022-05-09	Paper
From Box Algebra to Interval Temporal Logic	2019-10-31	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
Compositional reasoning using intervals and time reversal	2014-07-11	Paper
Verification and enforcement of access control policies	2014-06-30	Paper
Interconnections between classes of sequentially compositional temporal formulas	2014-05-26	Paper
A complete axiom system for propositional interval temporal logic with infinite time	2012-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q3012536	2011-07-06	Paper
Verification: Theory and Practice	2010-03-23	Paper
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time	2009-11-11	Paper
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals	2007-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q2754146	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q3806791	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789040	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680239	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3330496	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318104	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4157928	1977-01-01	Paper

Research outcomes over time

This page was built for person: Ben Moszkowski