VLDB 2026 Research / reviewers in the wild / expert
Mark Jenkins
dblp:44/8451
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 1 · 1 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
1 paper |
Automata and formal languages · 40% Logic in computer science · 40% Automated reasoning and model checking · 20% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages
alternating automata |
0.1 | 1 | 2010 | Alternating Timed Automata over Bounded Time · LICS 2010 |
Logic in computer science › temporal logic
metric temporal logic |
0.1 | 1 | 2010 | Alternating Timed Automata over Bounded Time · LICS 2010 |
Automated reasoning and model checking › model checking
real-time model checking |
0.1 | 1 | 2010 | Alternating Timed Automata over Bounded Time · LICS 2010 |
Automata and formal languages
timed automata |
0.1 | 1 | 2010 | Alternating Timed Automata over Bounded Time · LICS 2010 |
Methods — techniques the papers use, named apart from their topics
parametric mcnaughton games · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Alternating Timed Automata over Bounded TimeabstractAlternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, in providing verification algorithms for prominent specification formalisms such as Metric Temporal Logic. Unfortunately, when interpreted over an infinite dense time domain (such as the reals), alternating time automata have an undecidable language emptiness problem. The main result of this paper is that, over bounded time domains, language emptiness for alternating timed automata is decidable (but nonelementary). The proof involves showing decidability of a class of parametric McNaughton games that are played over timed words and that have winning conditions expressed in the monadic logic of order augmented with the distance-one relation. As a corollary, we establish the decidability of the time-bounded model-checking problem for Alur-Dill timed automata against specifications expressed as alternating timed automata. Mark Jenkins, Joël Ouaknine, Alexander Moshe Rabinovich, James Worrell 0001 |
LICS | 1 |