Henning Urbat
Friedrich-Alexander-Universität Erlangen-Nürnberg(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, semigroups and automata theory, Advanced Algebra and Logic, Logic, Reasoning, and Knowledge, Natural Language Processing Techniques
Most-Cited Works
- → Varieties of Languages in a Category(2015)21 cited
- → Automata Learning(2020)18 cited
- → Profinite Monads, Profinite Equations, and Reiterman’s Theorem(2016)14 cited
- → Coalgebraic constructions of canonical nondeterministic automata(2015)14 cited
- → Towards a Higher-Order Mathematical Operational Semantics(2023)13 cited
- → Eilenberg Theorems for Free(2017)12 cited
- → Equational Axiomatization of Algebras with Structure(2019)12 cited
- → On finitary functors and their presentations(2014)10 cited
- → Weak Similarity in Higher-Order Mathematical Operational Semantics(2023)10 cited