|
Search the dblp DataBase
Jesper G. Henriksen:
[Publications]
[Author Rank by year]
[Co-authors]
[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:643-681 [Conf]
- Jesper G. Henriksen
An Expressive Extension of TLC. [Citation Graph (0, 0)][DBLP] ASIAN, 1999, pp:126-138 [Conf]
- Jesper G. Henriksen, P. S. Thiagarajan
A Product Version of Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP] CONCUR, 1997, pp:45-58 [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:675-686 [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:405-414 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] TACAS, 1995, pp:89-110 [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:1-3, pp:187-207 [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:1-38 [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:341-360 [Journal]
Search in 0.001secs, Finished in 0.002secs
|