EDBT 2026 Demo / reviewers in the wild / expert
Jesper G. Henriksen
dblp:81/3932
· DBLP profile ↗
5ranked-venue papers
5as first author
0since 2021 · last 2005
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 5 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Logic in computer science · 78% Automata and formal languages · 22% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › concurrency theory
message sequence charts |
0.1 | 2 | 2005 | A theory of regular MSC languages · Inf. Comput. 2005 On Message Sequence Graphs and Finitely Generated Regular MSC Languages · ICALP 2000 |
Automata and formal languages
regular languages |
0.0 | 1 | 2000 | On Message Sequence Graphs and Finitely Generated Regular MSC Languages · ICALP 2000 |
Logic in computer science
concurrency theory |
0.0 | 1 | 2005 | A theory of regular MSC languages · Inf. Comput. 2005 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2005 | A theory of regular MSC languages
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan |
Inf. Comput. | 1 |
| 2000 | On Message Sequence Graphs and Finitely Generated Regular MSC Languages
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
ICALP | 1 |
| 2000 | Regular Collections of Message Sequence Charts
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
MFCS | 1 |
| 1999 | Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan |
Ann. Pure Appl. Log. | 1 |
| 1997 | A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan |
CONCUR | 1 |