dblp.uni-trier.dewww.uni-trier.de

Jesper G. Henriksen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
9EEJesper 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
8EEJesper G. Henriksen: An Expressive Extension of TLC. Int. J. Found. Comput. Sci. 13(3): 341-360 (2002)
2000
7EEJesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP 2000: 675-686
6EEJesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: Regular Collections of Message Sequence Charts. MFCS 2000: 405-414
1999
5EEJesper 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

Coauthor Index

1Jakob L. Jensen [1]
2Michael E. Jørgensen [1]
3Nils Klarlund [1]
4K. Narayan Kumar [6] [7] [9]
5Madhavan Mukund [6] [7] [9]
6Robert Paige [1]
7Theis Rauhe [1]
8Anders Sandholm [1]
9Milind A. Sohoni [9]
10P. S. Thiagarajan [2] [3] [4] [6] [7] [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)