Demo Data from EDBT 2026 / reviewers in the wild / expert
Augustin Baziramwabo
dblp:97/605
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1999
—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 |
Logic in computer science · 60% Automata and formal languages · 40% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
algebraic logic |
0.0 | 1 | 1999 | Modular Temporal Logic · LICS 1999 |
Logic in computer science › temporal logic
linear temporal logic |
0.0 | 1 | 1999 | Modular Temporal Logic · LICS 1999 |
Automata and formal languages › semigroup theory
monoids |
0.0 | 1 | 1999 | Modular Temporal Logic · LICS 1999 |
Automata and formal languages
regular languages |
0.0 | 1 | 1999 | Modular Temporal Logic · LICS 1999 |
Logic in computer science
temporal logic |
0.0 | 1 | 1999 | Modular Temporal Logic · LICS 1999 |
Methods — techniques the papers use, named apart from their topics
krohn-rhodes decomposition · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1999 | Modular Temporal LogicabstractD. Therien and T. Wilke (1996) characterized the Until hierarchy of linear temporal logic in terms of aperiodic monoids. Here, a temporal operator able to count modulo q is introduced. Temporal logic augmented with such operators is found decidable as it is shown to express precisely the solvable regular languages. Natural hierarchies are shown to arise when modular and conventional operators are interleaved. Modular operators are then cast as special cases of more general "group" temporal operators which, added to temporal logic, allow capturing any regular language L in much the same way that the syntactic monoid of L is constructed from groups and aperiodic monoids in the sense of Krohn-Rhodes. Augustin Baziramwabo, Pierre McKenzie, Denis Thérien |
LICS | 1 |