Henning Urbat

Available identifiers

zbMath Open urbat.henningMaRDI QIDQ283734

List of research outcomes

Publication	Date of Publication	Type
Positive data languages	2024-12-03	Paper
Higher-order mathematical operational semantics (early ideas)	2024-11-26	Paper
Nominal topology for data languages	2024-11-14	Paper
Monoidal extended stone duality	2024-10-30	Paper
Logical predicates in higher-order mathematical operational semantics	2024-10-30	Paper
Stateful structural operational semantics	2024-05-27	Paper
Eilenberg's variety theorem without Boolean operations	2024-02-02	Paper
Nominal Büchi Automata with Name Allocation	2023-08-21	Paper
Syntactic Minimization Of Nondeterministic Finite Automata.	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
Finite Behaviours and Finitary Corecursion	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

This page was built for person: Henning Urbat