Henning Urbat

85 papers A* 8A 1B 16C 2Journal 49Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on.
CoRR
Fabian Lenke, Stefan Milius, Henning Urbat
2026 A conf
Demystifying Codensity Monads via Duality.
STACS
Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat
2026 J jnl
Higher-Order Behavioural Conformances via Fibrations.
Proc. ACM Program. Lang.
Henning Urbat
2026 J jnl
Towards a Higher-Order Bialgebraic Denotational Semantics.
CoRR
Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe
2026 B conf
Well-Founded Coalgebras Meet Kőnig's Lemma.
CSL
Henning Urbat, Thorsten Wißmann
2025 J jnl
Abstract Operational Methods for Call-by-Push-Value.
Proc. ACM Program. Lang.
Sergey Goncharov, Stelios Tsampas, Henning Urbat
2025 A* conf
Algebraic Language Theory with Effects.
ICALP
Fabian Lenke, Stefan Milius, Henning Urbat, Thorsten Wißmann
2025 A* conf
Alternating Nominal Automata with Name Allocation.
LICS
Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Demystifying Codensity Monads via Duality.
CoRR
Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat
2025 J jnl
Extended Stone Duality via Monoidal Adjunctions.
Log. Methods Comput. Sci.
Fabian Lenke, Henning Urbat, Stefan Milius
2025 J jnl
Higher-Order Behavioural Conformances via Fibrations.
CoRR
Henning Urbat
2025 J jnl
Intrinsically Correct Algorithms and Recursive Coalgebras.
CoRR
Cass Alexandru, Henning Urbat, Thorsten Wißmann
2025 J jnl
Learning Automata with Name Allocation.
CoRR
Florian Frank, Stefan Milius, Jurriaan Rot, Henning Urbat
2025 J jnl
Well-Founded Coalgebras Meet König's Lemma.
CoRR
Henning Urbat, Thorsten Wißmann
2024 J jnl
Abstract Operational Methods for Call-by-Push-Value.
CoRR
Sergey Goncharov, Stelios Tsampas, Henning Urbat
2024 J jnl
Algebraic Language Theory with Effects.
CoRR
Fabian Birkmann, Stefan Milius, Henning Urbat, Thorsten Wißmann
2024 B conf
Algebraic Reasoning over Relational Structures.
MFPS
Jan Jurka, Stefan Milius, Henning Urbat
2024 J jnl
Alternating Nominal Automata with Name Allocation.
CoRR
Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2024 J jnl
Bialgebraic Reasoning on Higher-Order Program Equivalence.
CoRR
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 A* conf
Bialgebraic Reasoning on Higher-order Program Equivalence.
LICS
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 — ed.
Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
CMCS
Barbara König, Henning Urbat
2024 J jnl
Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 — conf
Logical Predicates in Higher-Order Mathematical Operational Semantics.
FoSSaCS (2)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 J jnl
Logical Predicates in Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 — conf
Monoidal Extended Stone Duality.
FoSSaCS (1)
Fabian Birkmann, Henning Urbat, Stefan Milius
2024 J jnl
Monoidal Extended Stone Duality.
CoRR
Fabian Birkmann, Henning Urbat, Stefan Milius
2023 J jnl
Eilenberg's variety theorem without Boolean operations.
Inf. Comput.
Fabian Birkmann, Stefan Milius, Henning Urbat
2023 B conf
Higher-Order Mathematical Operational Semantics (Early Ideas).
CALCO
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 A* conf
Nominal Topology for Data Languages.
ICALP
Fabian Birkmann, Stefan Milius, Henning Urbat
2023 J jnl
Nominal Topology for Data Languages.
CoRR
Henning Urbat, Stefan Milius, Fabian Birkmann
2023 B conf
Positive Data Languages.
MFCS
Florian Frank, Stefan Milius, Henning Urbat
2023 J jnl
Positive Data Languages.
CoRR
Florian Frank, Stefan Milius, Henning Urbat
2023 J jnl
Towards a Higher-Order Mathematical Operational Semantics.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 A* conf
Weak Similarity in Higher-Order Mathematical Operational Semantics.
LICS
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2023 J jnl
Weak Similarity in Higher-Order Mathematical Operational Semantics.
CoRR
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2022 — conf
Coalgebraic Semantics for Nominal Automata.
CMCS
Florian Frank, Stefan Milius, Henning Urbat
2022 J jnl
Coalgebraic Semantics for Nominal Automata.
CoRR
Florian Frank, Stefan Milius, Henning Urbat
2022 B conf
Stateful Structural Operational Semantics.
FSCD
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2022 J jnl
Stateful Structural Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2021 B conf
Nominal Büchi Automata with Name Allocation.
CONCUR
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021 J jnl
Nominal Büchi Automata with Name Allocation.
CoRR
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021 B conf
Nondeterministic Syntactic Complexity.
FoSSaCS
Robert S. R. Myers, Stefan Milius, Henning Urbat
2021 J jnl
Nondeterministic Syntactic Complexity.
CoRR
Robert S. R. Myers, Stefan Milius, Henning Urbat
2021 C conf
On Language Varieties Without Boolean Operations.
LATA
Fabian Birkmann, Stefan Milius, Henning Urbat
2021 J jnl
On the behaviour of coalgebras with side effects and algebras with effectful iteration.
J. Log. Comput.
Jirí Adámek, Stefan Milius, Henning Urbat
2021 J jnl
Reiterman's Theorem on Finite Algebras for a Monad.
CoRR
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
2021 J jnl
Reiterman's Theorem on Finite Algebras for a Monad.
ACM Trans. Comput. Log.
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
2021 B conf
Syntactic Minimization Of Nondeterministic Finite Automata.
MFCS
Robert S. R. Myers, Henning Urbat
2021 J jnl
Syntactic Minimization of Nondeterministic Finite Automata.
CoRR
Robert Samuel Ralph Myers, Henning Urbat
2020 A* conf
Automata Learning: An Algebraic Approach.
LICS
Henning Urbat, Lutz Schröder
2020 J jnl
On Language Varieties Without Boolean Operations.
CoRR
Fabian Birkmann, Stefan Milius, Henning Urbat
2019 J jnl
Automata Learning: An Algebraic Approach.
CoRR
Henning Urbat, Lutz Schröder
2019 B conf
Equational Axiomatization of Algebras with Structure.
FoSSaCS
Stefan Milius, Henning Urbat
2019 J jnl
Generalized Eilenberg Theorem: Varieties of Languages in a Category.
ACM Trans. Comput. Log.
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2019 J jnl
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration.
CoRR
Stefan Milius, Jirí Adámek, Henning Urbat
2019 A* conf
Varieties of Data Languages.
ICALP
Henning Urbat, Stefan Milius
2019 J jnl
Varieties of Data Languages.
CoRR
Henning Urbat, Stefan Milius
2018 — ch.
A Categorical Approach to Algebraic.
Ausgezeichnete Informatikdissertationen
Henning Urbat
2018 J jnl
A Categorical Approach to Syntactic Monoids.
CoRR
Jirí Adámek, Stefan Milius, Henning Urbat
2018 J jnl
A Categorical Approach to Syntactic Monoids.
Log. Methods Comput. Sci.
Jirí Adámek, Stefan Milius, Henning Urbat
2018 — —
A categorical approach to algebraic language theory.
Henning Urbat
2018 J jnl
Equational Axiomatization of Algebras with Structure.
CoRR
Stefan Milius, Henning Urbat
2018 — conf
On Algebras with Effectful Iteration.
CMCS
Stefan Milius, Jirí Adámek, Henning Urbat
2017 B conf
Eilenberg Theorems for Free.
MFCS
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
2017 B conf
Finite Behaviours and Finitary Corecursion.
CALCO
Henning Urbat
2016 J jnl
One Eilenberg Theorem to Rule Them All.
CoRR
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
2016 B conf
Profinite Monads, Profinite Equations, and Reiterman's Theorem.
FoSSaCS
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
2016 C conf
Schützenberger Products in a Category.
DLT
Liang-Ting Chen, Henning Urbat
2016 J jnl
Schützenberger Products in a Category.
CoRR
Liang-Ting Chen, Henning Urbat
2015 B conf
A Fibrational Approach to Automata Theory.
CALCO
Liang-Ting Chen, Henning Urbat
2015 J jnl
A Fibrational Approach to Automata Theory.
CoRR
Liang-Ting Chen, Henning Urbat
2015 J jnl
Coalgebraic constructions of canonical nondeterministic automata.
Theor. Comput. Sci.
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
2015 J jnl
Generalized Eilenberg Theorem I: Local Varieties of Languages.
CoRR
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2015 J jnl
On finitary functors and their presentations.
J. Comput. Syst. Sci.
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat
2015 J jnl
Profinite Monads, Profinite Equations and Reiterman's Theorem.
CoRR
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
2015 B conf
Syntactic Monoids in a Category.
CALCO
Jirí Adámek, Stefan Milius, Henning Urbat
2015 J jnl
Syntactic Monoids in a Category.
CoRR
Jirí Adámek, Stefan Milius, Henning Urbat
2015 A* conf
Varieties of Languages in a Category.
LICS
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
2015 J jnl
Varieties of Languages in a Category.
CoRR
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2014 — conf
Canonical Nondeterministic Automata.
CMCS
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
2014 B conf
Generalized Eilenberg Theorem I: Local Varieties of Languages.
FoSSaCS
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2014 B conf
On Continuous Nondeterminism and State Minimality.
MFPS
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
2013 — conf
A Characterisation of NL/poly via Nondeterministic Finite Automata.
DCFS
Robert S. R. Myers, Henning Urbat