Henning Urbat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
11
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Compositionality in Coalgebraic Trace Semantics. | Robin Jourde, Henning Urbat, Sergey Goncharov, Stelios Tsampas, Jonas Forster |
| 2026 | CSL | Well-Founded Coalgebras Meet Kőnig's Lemma. | Henning Urbat, Thorsten Wimann |
| 2026 | LICS | The Algebra of Iterative Constructions. | Kevin Batz, Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Todd Schmid, Henning Urbat |
| 2026 | LICS | A Unified Treatment of the Substitution Tensor for Presheaves, Nominal Sets, Renaming Sets, and so on. | Fabian Lenke, Stefan Milius, Henning Urbat |
| 2026 | STACS | Demystifying Codensity Monads via Duality. | Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat |
| 2025 | ICALP | Algebraic Language Theory with Effects. | Fabian Lenke, Stefan Milius, Henning Urbat, Thorsten Wimann |
| 2025 | LICS | Alternating Nominal Automata with Name Allocation. | Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schrder, Henning Urbat |
| 2024 | FOSSACS | Monoidal Extended Stone Duality. | Fabian Birkmann, Henning Urbat, Stefan Milius |
| 2024 | FOSSACS | Logical Predicates in Higher-Order Mathematical Operational Semantics. | Sergey Goncharov, Alessio Santamaria, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2024 | LICS | Bialgebraic Reasoning on Higher-order Program Equivalence. | Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat |
| 2023 | CALCO | Higher-Order Mathematical Operational Semantics (Early Ideas). | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2023 | ICALP | Nominal Topology for Data Languages. | Fabian Birkmann, Stefan Milius, Henning Urbat |
| 2023 | LICS | Weak Similarity in Higher-Order Mathematical Operational Semantics. | Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schrder |
| 2023 | MFCS | Positive Data Languages. | Florian Frank, Stefan Milius, Henning Urbat |
| 2022 | FSCD | Stateful Structural Operational Semantics. | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2021 | CONCUR | Nominal Bchi Automata with Name Allocation. | Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schrder |
| 2021 | FOSSACS | Nondeterministic Syntactic Complexity. | Robert S. R. Myers, Stefan Milius, Henning Urbat |
| 2021 | LATA | On Language Varieties Without Boolean Operations. | Fabian Birkmann, Stefan Milius, Henning Urbat |
| 2021 | MFCS | Syntactic Minimization Of Nondeterministic Finite Automata. | Robert S. R. Myers, Henning Urbat |
| 2020 | LICS | Automata Learning: An Algebraic Approach. | Henning Urbat, Lutz Schrder |
| 2019 | FOSSACS | Equational Axiomatization of Algebras with Structure. | Stefan Milius, Henning Urbat |
| 2019 | ICALP | Varieties of Data Languages. | Henning Urbat, Stefan Milius |
| 2017 | CALCO | Finite Behaviours and Finitary Corecursion. | Henning Urbat |
| 2017 | MFCS | Eilenberg Theorems for Free. | Henning Urbat, Jir Admek, Liang-Ting Chen, Stefan Milius |
| 2016 | DLT | Schtzenberger Products in a Category. | Liang-Ting Chen, Henning Urbat |
| 2016 | FOSSACS | Profinite Monads, Profinite Equations, and Reiterman's Theorem. | Liang-Ting Chen, Jir Admek, Stefan Milius, Henning Urbat |
| 2015 | CALCO | Syntactic Monoids in a Category. | Jir Admek, Stefan Milius, Henning Urbat |
| 2015 | CALCO | A Fibrational Approach to Automata Theory. | Liang-Ting Chen, Henning Urbat |
| 2015 | LICS | Varieties of Languages in a Category. | Jir Admek, Robert S. R. Myers, Henning Urbat, Stefan Milius |
| 2014 | FOSSACS | Generalized Eilenberg Theorem I: Local Varieties of Languages. | Jir Admek, Stefan Milius, Robert S. R. Myers, Henning Urbat |