Demo Data from EDBT 2026 / reviewers in the wild / expert
Y. A. Choueka
dblp:173/1851
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1974
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 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 · 91% Logic in computer science · 9% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages › formal language operations
closure properties |
0.0 | 1 | 1974 | Structure Automata · IEEE Trans. Computers 1974 |
Automata and formal languages
finite automata |
0.0 | 1 | 1974 | Structure Automata · IEEE Trans. Computers 1974 |
Automata and formal languages
regular languages |
0.0 | 1 | 1974 | Structure Automata · IEEE Trans. Computers 1974 |
Logic in computer science
finite model theory |
0.0 | 1 | 1974 | Structure Automata · IEEE Trans. Computers 1974 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1974 | Structure AutomataabstractBy modifying the acceptability conditions in finite automata, a new and equivalent variant—the "structure automaton"— is obtained. The collection SR(Σ) of sets of tapes on Σ definable by deterministic structure-automata forms, however, a proper subset of the collection of regular sets. The structure and closure properties of SR(Σ) are analyzed in detail, using a natural topology on Σ*, in which the closed sets are the reverse ultimately definite sets. A set of tapes V is in SR(Σ) iff it is a finite union of regular "convex" sets. SR(Σ) is closed under Boolean operations, but not-closed under product, star, or transpose operations. In fact, SR(Σ) is exactly the Boolean closure of the regular closed sets. The "sigture" of a set is also defined and it is shown that a regular V is in SR(Σ) iff it has finite signature. Decision problems are also treated. Y. A. Choueka |
IEEE Trans. Computers | 1 |