From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “regular languages” 41

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

4

citations
Every Regular Language Has a Bipartite Cactus Automaton
2026 Electronic Proceedings in Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Mario Grobler, Till Koziel, Sebastian Siebertz

0

citations
A Regular and Complete Notion of Delay for Streaming String Transducers
2023 Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles) conference-paper Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter

3

citations
Extending Graph Query Languages by Reduction
2024 Technische Universität Berlin – Universitätsbibliothek article Computer Science Model-Driven Software Engineering Techniques Open access

Erhard Weinell

2

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
Constructing Deterministic Parity Automata from Positive and Negative Examples
2024 TheoretiCS article Computer Science semigroups and automata theory Open access

León Bohn, Christof Löding

8

citations
Deciding minimal distinguishing DFAs is NP-complete
2023 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Jan Martens

0

citations
Layered automata: A canonical model for automata over infinite words
2026 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
Layered automata: A canonical model for automata over infinite words
2026 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
Layered Automata: A Canonical Model for Automata over Infinite Words
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
2020 Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samwel

8

citations
Irrationality of Process Replication for Higher-Dimensional Automata
2024 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory Open access

Thomas Baronner, Henning Basold, Márton Hablicsek

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
Algebras for Deterministic Computation Are Inherently Incomplete
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Balder ten Cate, Tobias Kappé

4

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
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

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
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
Saturation Problems for Families of Automata
2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

León Bohn, Christof Löding, Sven Schewe

0

citations
Saturation Problems for Families of Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

0

citations
Grammars Based on the Shuffle Operation
2020 Zenodo (CERN European Organization for Nuclear Research) article Computer Science semigroups and automata theory Open access

Arto K. Salomaa, Gheorghe Pǎun, Grzegorz Rozenberg

0

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
VQA-BC: Robust Visual Question Answering Via Bidirectional Chaining
2022 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Multimodal Machine Learning Applications

Mingrui Lao, Yanming Guo, Wei Chen, Nan Pu, Michael S. Lew

3

citations
COCA: COllaborative CAusal Regularization for Audio-Visual Question Answering
2023 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Multimodal Machine Learning Applications Open access

Mingrui Lao, Nan Pu, Yu Liu, Kai He, Erwin M. Bakker, Michael S. Lew

22

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

citations