Jesper G. Henriksen

According to our database, Jesper G. Henriksen authored at least 8 papers between 1995 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A theory of regular MSC languages.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan

Inf. Comput., 2005

2002

An Expressive Extension of TLC.

Jesper G. Henriksen

Int. J. Found. Comput. Sci., 2002

2000

Regular Collections of Message Sequence Charts.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

On Message Sequence Graphs and Finitely Generated Regular MSC Languages.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Dynamic Linear Time Temporal Logic.

Jesper G. Henriksen, P. S. Thiagarajan

Ann. Pure Appl. Log., 1999

1997

A Product Version of Dynamic Linear Time Temporal Logic.

Jesper G. Henriksen, P. S. Thiagarajan

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.

P. S. Thiagarajan, Jesper G. Henriksen

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

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

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995