Henning Urbat

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 50

Top Venues

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence. LICS (2024)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. CoRR (2024)
Fabian Birkmann, Henning Urbat, Stefan Milius
Monoidal Extended Stone Duality. CoRR (2024)
Jan Jurka, Stefan Milius, Henning Urbat
Algebraic Reasoning over Relational Structures. CoRR (2024)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics. CoRR (2024)
Fabian Birkmann, Henning Urbat, Stefan Milius
Monoidal Extended Stone Duality. FoSSaCS (1) (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-Order Program Equivalence. CoRR (2024)
Fabian Birkmann, Stefan Milius, Henning Urbat
Eilenberg's variety theorem without Boolean operations. Inf. Comput. 295 (Part B) (2023)
Fabian Birkmann, Stefan Milius, Henning Urbat
Nominal Topology for Data Languages. ICALP (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. CoRR (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. 7 (POPL) (2023)
Florian Frank, Stefan Milius, Henning Urbat
Positive Data Languages. MFCS (2023)
Florian Frank, Stefan Milius, Henning Urbat
Positive Data Languages. CoRR (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS (2023)
Henning Urbat, Stefan Milius, Fabian Birkmann
Nominal Topology for Data Languages. CoRR (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. CoRR (2022)
Florian Frank, Stefan Milius, Henning Urbat
Coalgebraic Semantics for Nominal Automata. CoRR (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. CoRR (2022)
Florian Frank, Stefan Milius, Henning Urbat
Coalgebraic Semantics for Nominal Automata. CMCS (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. FSCD (2022)
Jirí Adámek, Stefan Milius, Henning Urbat
On the behaviour of coalgebras with side effects and algebras with effectful iteration. J. Log. Comput. 31 (6) (2021)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CONCUR (2021)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CoRR (2021)
Robert Samuel Ralph Myers, Henning Urbat
Syntactic Minimization of Nondeterministic Finite Automata. CoRR (2021)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. CoRR (2021)
Fabian Birkmann, Stefan Milius, Henning Urbat
On Language Varieties Without Boolean Operations. LATA (2021)
Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat
Reiterman's Theorem on Finite Algebras for a Monad. ACM Trans. Comput. Log. 22 (4) (2021)
Robert S. R. Myers, Stefan Milius, Henning Urbat
Nondeterministic Syntactic Complexity. CoRR (2021)
Robert S. R. Myers, Henning Urbat
Syntactic Minimization Of Nondeterministic Finite Automata. MFCS (2021)
Robert S. R. Myers, Stefan Milius, Henning Urbat
Nondeterministic Syntactic Complexity. FoSSaCS (2021)
Fabian Birkmann, Stefan Milius, Henning Urbat
On Language Varieties Without Boolean Operations. CoRR (2020)
Henning Urbat, Lutz Schröder
Automata Learning: An Algebraic Approach. LICS (2020)
Henning Urbat, Lutz Schröder
Automata Learning: An Algebraic Approach. CoRR (2019)
Stefan Milius, Henning Urbat
Equational Axiomatization of Algebras with Structure. FoSSaCS (2019)
Henning Urbat, Stefan Milius
Varieties of Data Languages. ICALP (2019)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Generalized Eilenberg Theorem: Varieties of Languages in a Category. ACM Trans. Comput. Log. 20 (1) (2019)
Henning Urbat, Stefan Milius
Varieties of Data Languages. CoRR (2019)
Stefan Milius, Jirí Adámek, Henning Urbat
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration. CoRR (2019)
Stefan Milius, Jirí Adámek, Henning Urbat
On Algebras with Effectful Iteration. CMCS (2018)
Jirí Adámek, Stefan Milius, Henning Urbat
A Categorical Approach to Syntactic Monoids. Log. Methods Comput. Sci. 14 (2) (2018)
Jirí Adámek, Stefan Milius, Henning Urbat
A Categorical Approach to Syntactic Monoids. CoRR (2018)
Stefan Milius, Henning Urbat
Equational Axiomatization of Algebras with Structure. CoRR (2018)
Henning Urbat
Finite Behaviours and Finitary Corecursion. CALCO (2017)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
Eilenberg Theorems for Free. MFCS (2017)
Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius
One Eilenberg Theorem to Rule Them All. CoRR (2016)
Liang-Ting Chen, Henning Urbat
Schützenberger Products in a Category. CoRR (2016)
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
Profinite Monads, Profinite Equations, and Reiterman's Theorem. FoSSaCS (2016)
Liang-Ting Chen, Henning Urbat
Schützenberger Products in a Category. DLT (2016)
Jirí Adámek, Stefan Milius, Henning Urbat
Syntactic Monoids in a Category. CoRR (2015)
Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat
Profinite Monads, Profinite Equations and Reiterman's Theorem. CoRR (2015)
Jirí Adámek, Stefan Milius, Henning Urbat
Syntactic Monoids in a Category. CALCO (2015)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat
On finitary functors and their presentations. J. Comput. Syst. Sci. 81 (5) (2015)
Liang-Ting Chen, Henning Urbat
A Fibrational Approach to Automata Theory. CALCO (2015)
Liang-Ting Chen, Henning Urbat
A Fibrational Approach to Automata Theory. CoRR (2015)
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
Coalgebraic constructions of canonical nondeterministic automata. Theor. Comput. Sci. 604 (2015)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Generalized Eilenberg Theorem I: Local Varieties of Languages. CoRR (2015)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Varieties of Languages in a Category. CoRR (2015)
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
Varieties of Languages in a Category. LICS (2015)
Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
Generalized Eilenberg Theorem I: Local Varieties of Languages. FoSSaCS (2014)
Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
On Continuous Nondeterminism and State Minimality. MFPS (2014)
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
Canonical Nondeterministic Automata. CMCS (2014)
Robert S. R. Myers, Henning Urbat
A Characterisation of NL/poly via Nondeterministic Finite Automata. DCFS (2013)

Henning Urbat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Henning Urbat