
Search the dblp DataBase
Jesper G. Henriksen:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 P. S. Thiagarajan, Jesper G. Henriksen
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. [Citation Graph (0, 0)][DBLP] Petri Nets, 1996, pp:643681 [Conf]
 Jesper G. Henriksen
An Expressive Extension of TLC. [Citation Graph (0, 0)][DBLP] ASIAN, 1999, pp:126138 [Conf]
 Jesper G. Henriksen, P. S. Thiagarajan
A Product Version of Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP] CONCUR, 1997, pp:4558 [Conf]
 Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
On Message Sequence Graphs and Finitely Generated Regular MSC Languages. [Citation Graph (0, 0)][DBLP] ICALP, 2000, pp:675686 [Conf]
 Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
Regular Collections of Message Sequence Charts. [Citation Graph (0, 0)][DBLP] MFCS, 2000, pp:405414 [Conf]
 Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm
Mona: Monadic SecondOrder Logic in Practice. [Citation Graph (0, 0)][DBLP] TACAS, 1995, pp:89110 [Conf]
 Jesper G. Henriksen, P. S. Thiagarajan
Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1999, v:96, n:13, pp:187207 [Journal]
 Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
A theory of regular MSC languages. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:1, pp:138 [Journal]
 Jesper G. Henriksen
An Expressive Extension of TLC. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2002, v:13, n:3, pp:341360 [Journal]
Search in 0.001secs, Finished in 0.002secs
