Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Augustin Baziramwabo

dblp:97/605 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Logic in computer science
algebraic logic
0.011999
Modular Temporal Logic · LICS 1999
Logic in computer science › temporal logic
linear temporal logic
0.011999
Modular Temporal Logic · LICS 1999
Automata and formal languages › semigroup theory
monoids
0.011999
Modular Temporal Logic · LICS 1999
Automata and formal languages
regular languages
0.011999
Modular Temporal Logic · LICS 1999
Logic in computer science
temporal logic
0.011999
Modular Temporal Logic · LICS 1999

Methods — techniques the papers use, named apart from their topics

krohn-rhodes decomposition · 0.0
YearPublicationVenuePosition
1999 Modular Temporal Logic
abstract
D. 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
LICS1