Henning Urbat

Available identifiers

zbMath Open urbat.henningMaRDI QIDQ283734

List of research outcomes

Publication	Date of Publication	Type
Eilenberg's variety theorem without Boolean operations	2024-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q6134252	2023-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q6113366	2023-08-08	Paper
Reiterman’s Theorem on Finite Algebras for a Monad	2022-12-08	Paper
Coalgebraic semantics for nominal automata	2022-12-07	Paper
Towards a Higher-Order Mathematical Operational Semantics	2022-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q5092332	2022-07-21	Paper
On the behaviour of coalgebras with side effects and algebras with effectful iteration	2021-10-21	Paper
Nondeterministic syntactic complexity	2021-10-18	Paper
On language varieties without Boolean operations	2021-10-04	Paper
Automata Learning	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5111476	2020-05-27	Paper
Eilenberg Theorems for Free	2020-05-26	Paper
Equational axiomatization of algebras with structure	2020-01-28	Paper
On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration	2019-11-14	Paper
Generalized Eilenberg Theorem	2019-02-07	Paper
On algebras with effectful iteration	2018-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4580220	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4643960	2018-05-30	Paper
Varieties of Languages in a Category	2018-04-23	Paper
Syntactic Monoids in a Category	2017-07-11	Paper
A Fibrational Approach to Automata Theory	2017-07-11	Paper
Schützenberger Products in a Category	2016-08-30	Paper
Profinite Monads, Profinite Equations, and Reiterman’s Theorem	2016-06-10	Paper
On continuous nondeterminism and state minimality	2016-05-13	Paper
Coalgebraic constructions of canonical nondeterministic automata	2015-11-10	Paper
Canonical Nondeterministic Automata	2015-09-11	Paper
On finitary functors and their presentations	2015-04-28	Paper
Generalized Eilenberg Theorem I: Local Varieties of Languages	2014-04-16	Paper
A Characterisation of NL/poly via Nondeterministic Finite Automata	2013-08-09	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Henning Urbat