Non-elementary lower bound for propositional duration calculus

Decidability of a Hybrid Duration Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

A theory of duration calculus with application

Domain modeling and the duration calculus

Succinctness Gap between Monadic Logic and Duration Calculus

Fundamenta Informaticae

A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science: Selected Publications from Chinese Universities