Statistics
Publications
5
Citations
282
H-Index
5
Active since
1995
Jesper G. Henriksen is an author at Chennai Mathematical Institute specializing in computing, computer science, and formal methods.
Publications per year
1995–2005
5
5
A theory of regular MSC languages
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar et al. · Information and Computation · 2005 · 87 citations
MONA: Monadic Second-Order Logic in Practice
Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen et al. · BRICS Report Series · 1995 · 46 citations · Full text
Towards a Theory of Regular MSC Languages
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar et al. · BRICS Report Series · 1999 · 24 citations · Full text
1–5 of 5