Henning Urbat

According to our database, Henning Urbat authored at least 44 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Abstract Operational Methods for Call-by-Push-Value.

Sergey Goncharov, Stelios Tsampas, Henning Urbat

CoRR, 2024

Algebraic Language Theory with Effects.

Fabian Birkmann, Stefan Milius, Henning Urbat, Thorsten Wißmann

CoRR, 2024

Alternating Nominal Automata with Name Allocation.

Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat

CoRR, 2024

Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

CoRR, 2024

Algebraic Reasoning over Relational Structures.

Jan Jurka, Stefan Milius, Henning Urbat

CoRR, 2024

Bialgebraic Reasoning on Higher-order Program Equivalence.

Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Logical Predicates in Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Monoidal Extended Stone Duality.

Fabian Birkmann, Henning Urbat, Stefan Milius

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Eilenberg's variety theorem without Boolean operations.

Fabian Birkmann, Stefan Milius, Henning Urbat

Inf. Comput., December, 2023

Towards a Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proc. ACM Program. Lang., January, 2023

Positive Data Languages.

Florian Frank, Stefan Milius, Henning Urbat

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Weak Similarity in Higher-Order Mathematical Operational Semantics.

Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Nominal Topology for Data Languages.

Fabian Birkmann, Stefan Milius, Henning Urbat

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Higher-Order Mathematical Operational Semantics (Early Ideas).

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Stateful Structural Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Coalgebraic Semantics for Nominal Automata.

Florian Frank, Stefan Milius, Henning Urbat

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Reiterman's Theorem on Finite Algebras for a Monad.

Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat

ACM Trans. Comput. Log., 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

Syntactic Minimization Of Nondeterministic Finite Automata.

Robert S. R. Myers, Henning Urbat

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

On Language Varieties Without Boolean Operations.

Fabian Birkmann, Stefan Milius, Henning Urbat

Proceedings of the Language and Automata Theory and Applications, 2021

Nondeterministic Syntactic Complexity.

Robert S. R. Myers, Stefan Milius, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2021

Nominal Büchi Automata with Name Allocation.

Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Automata Learning: An Algebraic Approach.

Henning Urbat, Lutz Schröder

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

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

Varieties of Data Languages.

Henning Urbat, Stefan Milius

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Equational Axiomatization of Algebras with Structure.

Stefan Milius, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

A Categorical Approach to Algebraic.

Henning Urbat

Proceedings of the Ausgezeichnete Informatikdissertationen 2018., 2018

A categorical approach to algebraic language theory.

Henning Urbat

PhD thesis, 2018

A Categorical Approach to Syntactic Monoids.

Jirí Adámek, Stefan Milius, Henning Urbat

Log. Methods Comput. Sci., 2018

On Algebras with Effectful Iteration.

Stefan Milius, Jirí Adámek, Henning Urbat

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

Eilenberg Theorems for Free.

Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Finite Behaviours and Finitary Corecursion.

Henning Urbat

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

One Eilenberg Theorem to Rule Them All.

Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius

CoRR, 2016

Profinite Monads, Profinite Equations, and Reiterman's Theorem.

Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Schützenberger Products in a Category.

Liang-Ting Chen, Henning Urbat

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Coalgebraic constructions of canonical nondeterministic automata.

Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat

Theor. Comput. Sci., 2015

On finitary functors and their presentations.

Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat

J. Comput. Syst. Sci., 2015

Varieties of Languages in a Category.

Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

A Fibrational Approach to Automata Theory.

Liang-Ting Chen, Henning Urbat

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Syntactic Monoids in a Category.

Jirí Adámek, Stefan Milius, Henning Urbat

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

On Continuous Nondeterminism and State Minimality.

Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Generalized Eilenberg Theorem I: Local Varieties of Languages.

Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Canonical Nondeterministic Automata.

Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat

Proceedings of the Coalgebraic Methods in Computer Science, 2014

2013

A Characterisation of NL/poly via Nondeterministic Finite Automata.

Robert S. R. Myers, Henning Urbat

Proceedings of the Descriptional Complexity of Formal Systems, 2013