| 2005 |
|---|
| 9 | EE | Jesper G. Henriksen,
Madhavan Mukund,
K. Narayan Kumar,
Milind A. Sohoni,
P. S. Thiagarajan:
A theory of regular MSC languages.
Inf. Comput. 202(1): 1-38 (2005) |
| 2002 |
|---|
| 8 | EE | Jesper G. Henriksen:
An Expressive Extension of TLC.
Int. J. Found. Comput. Sci. 13(3): 341-360 (2002) |
| 2000 |
|---|
| 7 | EE | Jesper G. Henriksen,
Madhavan Mukund,
K. Narayan Kumar,
P. S. Thiagarajan:
On Message Sequence Graphs and Finitely Generated Regular MSC Languages.
ICALP 2000: 675-686 |
| 6 | EE | Jesper G. Henriksen,
Madhavan Mukund,
K. Narayan Kumar,
P. S. Thiagarajan:
Regular Collections of Message Sequence Charts.
MFCS 2000: 405-414 |
| 1999 |
|---|
| 5 | EE | Jesper G. Henriksen:
An Expressive Extension of TLC.
ASIAN 1999: 126-138 |
| 4 | | Jesper G. Henriksen,
P. S. Thiagarajan:
Dynamic Linear Time Temporal Logic.
Ann. Pure Appl. Logic 96(1-3): 187-207 (1999) |
| 1997 |
|---|
| 3 | | Jesper G. Henriksen,
P. S. Thiagarajan:
A Product Version of Dynamic Linear Time Temporal Logic.
CONCUR 1997: 45-58 |
| 1996 |
|---|
| 2 | | P. S. Thiagarajan,
Jesper G. Henriksen:
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.
Petri Nets 1996: 643-681 |
| 1995 |
|---|
| 1 | | 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: 89-110 |
