A Characterisation of NL/poly via Nondeterministic Finite Automata. - Robert S. R. Myers; Henning Urbat (DCFS, 2013)

Canonical Nondeterministic Automata. - Robert S. R. Myers; Jirí Adámek; Stefan Milius; Henning Urbat (CMCS, 2014)

Generalized Eilenberg Theorem I: Local Varieties of Languages. - Jirí Adámek; Stefan Milius; Robert S. R. Myers; Henning Urbat (FoSSaCS, 2014)

On Continuous Nondeterminism and State Minimality. - Jirí Adámek; Robert S. R. Myers; Henning Urbat; Stefan Milius (MFPS, 2014)

Syntactic Monoids in a Category. - Jirí Adámek; Stefan Milius; Henning Urbat (CALCO, 2015)

A Fibrational Approach to Automata Theory. - Liang-Ting Chen 001; Henning Urbat (CALCO, 2015)

Varieties of Languages in a Category. - Jirí Adámek; Robert S. R. Myers; Henning Urbat; Stefan Milius (LICS, 2015)

On finitary functors and their presentations. - Jirí Adámek; Stefan Milius; Lawrence S. Moss; Henning Urbat (J. Comput. Syst. Sci., 2015)

Coalgebraic constructions of canonical nondeterministic automata. - Robert S. R. Myers; Jirí Adámek; Stefan Milius; Henning Urbat (Theor. Comput. Sci., 2015)

Schützenberger Products in a Category. - Liang-Ting Chen 001; Henning Urbat (DLT, 2016)

Profinite Monads, Profinite Equations, and Reiterman's Theorem. - Liang-Ting Chen 001; Jirí Adámek; Stefan Milius; Henning Urbat (FoSSaCS, 2016)

One Eilenberg Theorem to Rule Them All. - Henning Urbat; Jirí Adámek; Liang-Ting Chen 001; Stefan Milius (CoRR, 2016)

Finite Behaviours and Finitary Corecursion. - Henning Urbat (CALCO, 2017)

Eilenberg Theorems for Free. - Henning Urbat; Jirí Adámek; Liang-Ting Chen 001; Stefan Milius (MFCS, 2017)

On Algebras with Effectful Iteration. - Stefan Milius; Jirí Adámek; Henning Urbat (CMCS, 2018)

A Categorical Approach to Syntactic Monoids. - Jirí Adámek; Stefan Milius; Henning Urbat (Log. Methods Comput. Sci., 2018)

A categorical approach to algebraic language theory. - Henning Urbat (2018)

A Categorical Approach to Algebraic. - Henning Urbat (Ausgezeichnete Informatikdissertationen, 2018)

Equational Axiomatization of Algebras with Structure. - Stefan Milius; Henning Urbat (FoSSaCS, 2019)

Varieties of Data Languages. - Henning Urbat; Stefan Milius (ICALP, 2019)

Generalized Eilenberg Theorem: Varieties of Languages in a Category. - Jirí Adámek; Stefan Milius; Robert S. R. Myers; Henning Urbat (ACM Trans. Comput. Log., 2019)

Automata Learning: An Algebraic Approach. - Henning Urbat; Lutz Schröder (LICS, 2020)

Nominal Büchi Automata with Name Allocation. - Henning Urbat; Daniel Hausmann 001; Stefan Milius; Lutz Schröder (CONCUR, 2021)

Nondeterministic Syntactic Complexity. - Robert S. R. Myers; Stefan Milius; Henning Urbat (FoSSaCS, 2021)

On Language Varieties Without Boolean Operations. - Fabian Birkmann; Stefan Milius; Henning Urbat (LATA, 2021)

Syntactic Minimization Of Nondeterministic Finite Automata. - Robert S. R. Myers; Henning Urbat (MFCS, 2021)

On the behaviour of coalgebras with side effects and algebras with effectful iteration. - Jirí Adámek; Stefan Milius; Henning Urbat (J. Log. Comput., 2021)

Reiterman's Theorem on Finite Algebras for a Monad. - Jirí Adámek; Liang-Ting Chen 001; Stefan Milius; Henning Urbat (ACM Trans. Comput. Log., 2021)

Coalgebraic Semantics for Nominal Automata. - Florian Frank 002; Stefan Milius; Henning Urbat (CMCS, 2022)

Stateful Structural Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (FSCD, 2022)

Higher-Order Mathematical Operational Semantics (Early Ideas). - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CALCO, 2023)

Nominal Topology for Data Languages. - Fabian Birkmann; Stefan Milius; Henning Urbat (ICALP, 2023)

Weak Similarity in Higher-Order Mathematical Operational Semantics. - Henning Urbat; Stelios Tsampas 001; Sergey Goncharov 001; Stefan Milius; Lutz Schröder (LICS, 2023)

Positive Data Languages. - Florian Frank 002; Stefan Milius; Henning Urbat (MFCS, 2023)

Towards a Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (Proc. ACM Program. Lang., 2023)

Eilenberg's variety theorem without Boolean operations. - Fabian Birkmann; Stefan Milius; Henning Urbat (Inf. Comput., 2023)

Monoidal Extended Stone Duality. - Fabian Birkmann; Henning Urbat; Stefan Milius (FoSSaCS (1), 2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Alessio Santamaria; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (FoSSaCS (2), 2024)

Bialgebraic Reasoning on Higher-order Program Equivalence. - Sergey Goncharov 001; Stefan Milius; Stelios Tsampas 001; Henning Urbat (LICS, 2024)

Algebraic Reasoning over Relational Structures. - Jan Jurka; Stefan Milius; Henning Urbat (CoRR, 2024)

Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CoRR, 2024)

Alternating Nominal Automata with Name Allocation. - Florian Frank 002; Daniel Hausmann 001; Stefan Milius; Lutz Schröder; Henning Urbat (CoRR, 2024)

Algebraic Language Theory with Effects. - Fabian Birkmann; Stefan Milius; Henning Urbat; Thorsten Wißmann (CoRR, 2024)

Algebraic Language Theory with Effects. - Fabian Lenke; Stefan Milius; Henning Urbat; Thorsten Wißmann (ICALP, 2025)

Abstract Operational Methods for Call-by-Push-Value. - Sergey Goncharov 001; Stelios Tsampas 001; Henning Urbat (Proc. ACM Program. Lang., 2025)

Learning Automata with Name Allocation. - Florian Frank 002; Stefan Milius; Jurriaan Rot; Henning Urbat (CoRR, 2025)

Bialgebraic Reasoning on Stateful Languages. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CoRR, 2025)

Higher-Order Behavioural Conformances via Fibrations. - Henning Urbat (CoRR, 2025)

Well-Founded Coalgebras Meet König's Lemma. - Henning Urbat; Thorsten Wißmann (CoRR, 2025)