A Temporal Analysis of Some Concurrent Systems. - Ben C. Moszkowski (The Analysis of Concurrent Systems, 1983)

A Hardware Semantics Based on Temporal Intervals. - Joseph Y. Halpern; Zohar Manna; Ben C. Moszkowski (ICALP, 1983)

Reasoning in Interval Temporal Logic. - Ben C. Moszkowski; Zohar Manna (Logic of Programs, 1983)

Reasoning about digital circuits. - Ben C. Moszkowski (1983)

Executing Temporal Logic Programs. - Ben C. Moszkowski (Seminar on Concurrency, 1984)

A Temporal Logic for Multilevel Reasoning about Hardware. - Ben C. Moszkowski (Computer, 1985)

Executing temporal logic programs. - Ben C. Moszkowski (Cambridge University Press, 1986)

Parallel Programming in Temporal Logic. - Roger Hale; Ben C. Moszkowski (PARLE (2), 1987)

Some Very Compositional Temporal Properties. - Ben C. Moszkowski (PROCOMET, 1994)

Compositional reasoning about projected and infinite time. - Ben C. Moszkowski (ICECCS, 1995)

Using ITL and Tempura for Large-Scale Specification and Simulation. - Antonio Cau; Hussein Zedan; Nick Coleman; Ben C. Moszkowski (PDP, 1996)

Proving the correctness of the interlock mechanism in processor design. - Xiaoshan Li; Antonio Cau; Ben C. Moszkowski; Nick Coleman; Hussein Zedan (CHARME, 1997)

Compositional Reasoning Using Interval Temporal Logic and Tempura. - Ben C. Moszkowski (COMPOS, 1997)

An Automata-Theoretic Completeness Proof for Interval Temporal Logic. - Ben C. Moszkowski (ICALP, 2000)

A Complete Axiomatization of Interval Temporal Logic with Infinite Time. - Ben C. Moszkowski (LICS, 2000)

A Compositional Framework for Hardware/Software Co-Design. - Antonio Cau; Roger Hale; Jordan Dimitrov; Hussein Zedan; Ben C. Moszkowski; M. Manjunathaiah; Michael Spivey (Des. Autom. Embed. Syst., 2002)

A Hierarchical Completeness Proof for Propositional Temporal Logic. - Ben C. Moszkowski (Verification: Theory and Practice, 2003)

A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. - Ben C. Moszkowski (J. Appl. Non Class. Logics, 2004)

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals. - Ben C. Moszkowski (We Will Show Them! (2), 2005)

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals. - Ben C. Moszkowski (J. Log. Comput., 2007)

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time - Ben C. Moszkowski (Log. Methods Comput. Sci., 2012)

Verification and enforcement of access control policies. - Antonio Cau; Helge Janicke; Ben C. Moszkowski (Formal Methods Syst. Des., 2013)

Interconnections between classes of sequentially compositional temporal formulas. - Ben C. Moszkowski (Inf. Process. Lett., 2013)

Compositional reasoning using intervals and time reversal. - Ben C. Moszkowski (Ann. Math. Artif. Intell., 2014)

Guest editors' preface to special issue on interval temporal logics. - Ben C. Moszkowski; Dimitar P. Guelev; Martin Leucker (Ann. Math. Artif. Intell., 2014)

From Petri Nets with Shared Variables to ITL. - Hanna Klaudel; Maciej Koutny; Ben C. Moszkowski (ACSD, 2016)

An application of temporal projection to interleaving concurrency. - Ben C. Moszkowski; Dimitar P. Guelev (Formal Aspects Comput., 2017)

From Box Algebra to Interval Temporal Logic. - Hanna Klaudel; Maciej Koutny; Zhenhua Duan; Ben C. Moszkowski (Fundam. Informaticae, 2019)

A separation theorem for discrete-time interval temporal logic. - Dimitar P. Guelev; Ben C. Moszkowski (J. Appl. Non Class. Logics, 2022)

Expressive completeness by separation for discrete time interval temporal logic with expanding modalities. - Dimitar P. Guelev; Ben C. Moszkowski (Inf. Process. Lett., 2024)