Topics › Physical Sciences › Computer Science › Computational Theory and Mathematics

semigroups and automata theory Sign in to save

Search and filter its papers →

Aachen papers (primary topic)

119

Further papers (secondary topic)

118

Citations

Aachen authors

Patent citations

Papers per year

Papers 69

Open in paper search →

Theoretical Aspects of Computing – ICTAC 2023
2023 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

1

citations
A First-Order Logic with Frames
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science semigroups and automata theory Open access

1

citations
Randomization in Non-Uniform Finite Automata
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

Pavol Ďuriš, Rastislav Kráľovič, Richard Královič, Dana Pardubská, Martin Pašen, Peter Rossmanith

1

citations
Elementary Equivalence Versus Isomorphism in Semiring Semantics
2021 RWTH Publications (RWTH Aachen) article Computer Science semigroups and automata theory Open access

Erich Grädel, Lovro Mrkonjić

1

citations
Solving Infinite Games in the Baire Space
2022 Fundamenta Informaticae article Computer Science semigroups and automata theory Open access

Benedikt Brütsch, Wolfgang Thomas

1

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra Silva

1

citations
Learning Probabilistic Automata Using Residuals
2021 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

Wenjing Chu, Shuo Chen, Marcello Bonsangue

1

citations
An Elementary Proof of the FMP for Kleene Algebra
2026 Fundamenta Informaticae article Computer Science semigroups and automata theory Open access

Tobias Kappé

1

citations
Non-linear Optimization Methods for Learning Regular Distributions
2022 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

Wenjing Chu, Shuo Chen, Marcello Bonsangue

1

citations
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
2020 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory Open access

0

citations
Projection for Büchi Tree Automata with Constraints between Siblings
2020 International Journal of Foundations of Computer Science article Computer Science semigroups and automata theory

Patrick Landwehr, Christof Löding

0

citations
Resynchronized Uniformization and Definability Problems for Rational Relations
2023 Discrete Mathematics & Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Christof Löding, Sarah Winter

0

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory

Elisabet Burjons, Fabian Frei, Martin Raszyk

0

citations
Solving Infinite Games in the Baire Space
2021 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Benedikt Brütsch, Wolfgang Thomas

0

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2020 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Elisabet Burjons, Fabian Frei, Martin Raszyk

0

citations
Formale Sprachen: Romanes Eunt Domus
2022 Studienbücher Informatik book-chapter Computer Science semigroups and automata theory

Bastian Küppers

0

citations
On the Boolean Closure of Deterministic Top-Down Tree Automata
2023 International Journal of Foundations of Computer Science article Computer Science semigroups and automata theory Open access

Christof Löding, Wolfgang Thomas

0

citations
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words
2023 Fundamenta Informaticae article Computer Science semigroups and automata theory

Christof Löding, Max Philip Stachon

0

citations
Computing $$\textit{pre}^{*}$$ for General Context Free Grammars
2024 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

Peter Rossmanith

0

citations
Finite-valued Streaming String Transducers
2024 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter

0

citations

Most active Aachen authors

Christof Löding 2,764 citations overall
18 papers
Marcello Bonsangue 2,522 citations overall
5 papers
Wolfgang Thomas 5,927 citations overall
4 papers
Kevin Batz 271 citations overall
4 papers
Wenjing Chu 64 citations overall
4 papers
León Bohn 10 citations overall
4 papers
Erich Grädel 7,146 citations overall
3 papers
Hendrik Jan Hoogeboom 1,544 citations overall
3 papers
Joshua Moerman 198 citations overall
3 papers
Jan Martens 21 citations overall
3 papers
Grzegorz Rozenberg 24,699 citations overall
2 papers
Gheorghe Pǎun 20,596 citations overall
2 papers
Joost Engelfriet 6,071 citations overall
2 papers
Emre Neftci 5,993 citations overall
2 papers
Peter Rossmanith 3,547 citations overall
2 papers

semigroups and automata theory ▲ Sign in to save

Papers per year

Papers 69

Most active Aachen authors

semigroups and automata theory Sign in to save