Jesper G. Henriksen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1995–2000
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ICALP | On Message Sequence Graphs and Finitely Generated Regular MSC Languages. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2000 | MFCS | Regular Collections of Message Sequence Charts. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 1997 | CONCUR | A Product Version of Dynamic Linear Time Temporal Logic. | Jesper G. Henriksen, P. S. Thiagarajan |
| 1995 | TACAS | Mona: Monadic Second-Order Logic in Practice. | Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm |