Jesper G. Henriksen

Publication Activity (10 Years)

Years Active: 1995-2005
Publications (10 Years): 0

Publications

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
A theory of regular MSC languages. Inf. Comput. 202 (1) (2005)
Jesper G. Henriksen
An Expressive Extension of TLC. Int. J. Found. Comput. Sci. 13 (3) (2002)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP (2000)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
Regular Collections of Message Sequence Charts. MFCS (2000)
Jesper G. Henriksen
An Expressive Extension of TLC. ASIAN (1999)
Jesper G. Henriksen, P. S. Thiagarajan
Dynamic Linear Time Temporal Logic. Ann. Pure Appl. Log. 96 (1-3) (1999)
Jesper G. Henriksen, P. S. Thiagarajan
A Product Version of Dynamic Linear Time Temporal Logic. CONCUR (1997)
P. S. Thiagarajan, Jesper G. Henriksen
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. Petri Nets (1996)
Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm
Mona: Monadic Second-Order Logic in Practice. TACAS (1995)