Mona: Monadic Second-Order Logic in Practice. - Jesper G. Henriksen; Jakob L. Jensen; Michael E. Jørgensen; Nils Klarlund; Robert Paige; Theis Rauhe; Anders Sandholm 001 (TACAS, 1995)

Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. - P. S. Thiagarajan; Jesper G. Henriksen (Petri Nets, 1996)

A Product Version of Dynamic Linear Time Temporal Logic. - Jesper G. Henriksen; P. S. Thiagarajan (CONCUR, 1997)

Dynamic Linear Time Temporal Logic. - Jesper G. Henriksen; P. S. Thiagarajan (Ann. Pure Appl. Log., 1999)

On Message Sequence Graphs and Finitely Generated Regular MSC Languages. - Jesper G. Henriksen; Madhavan Mukund; K. Narayan Kumar; P. S. Thiagarajan (ICALP, 2000)

Regular Collections of Message Sequence Charts. - Jesper G. Henriksen; Madhavan Mukund; K. Narayan Kumar; P. S. Thiagarajan (MFCS, 2000)

An Expressive Extension of TLC. - Jesper G. Henriksen (Int. J. Found. Comput. Sci., 2002)

A theory of regular MSC languages. - Jesper G. Henriksen; Madhavan Mukund; K. Narayan Kumar; Milind A. Sohoni; P. S. Thiagarajan (Inf. Comput., 2005)