Thorsten Wißmann

Available identifiers

zbMath Open wissmann.thorstenMaRDI QIDQ328656

List of research outcomes

Publication	Date of Publication	Type
Bisimilar states in uncertain structures	2024-11-26	Paper
Action codes	2024-11-14	Paper
Supported sets -- a new foundation for nominal sets and automata	2024-09-25	Paper
Generic partition refinement and weighted tree automata	2024-03-14	Paper
A new approach for active automata learning based on apartness	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q6061681	2023-12-08	Paper
Weighted and branching bisimilarities from generalized open maps	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q6176116	2023-08-21	Paper
State identification and verification with satisfaction	2023-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q6159944	2023-06-23	Paper
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence	2023-01-09	Paper
Minimality Notions via Factorization Systems and Examples	2022-10-06	Paper
From generic partition refinement to weighted tree automata minimization	2021-09-14	Paper
Minimality Notions via Factorization Systems	2021-06-14	Paper
Efficient Coalgebraic Partition Refinement	2020-05-27	Paper
A new foundation for finitary corecursion and iterative algebras	2020-03-12	Paper
A coalgebraic view on reachability	2020-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q5214815	2020-02-05	Paper
Path category for free. Open morphisms from coalgebras with non-deterministic branching	2020-01-28	Paper
On Finitary Functors	2019-11-14	Paper
Finitely Presentable Algebras For Finitary Monads	2019-11-14	Paper
A Coalgebraic View on Reachability	2019-01-30	Paper
Predicate liftings and functor presentations in coalgebraic expression languages	2018-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4637688	2018-04-25	Paper
Finitary Corecursion for the Infinitary Lambda Calculus	2017-07-11	Paper
Nominal Automata with Name Binding	2017-05-19	Paper
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets	2016-10-20	Paper
A New Foundation for Finitary Corecursion	2016-06-10	Paper
A New Foundation for Finitary Corecursion	2016-01-07	Paper

Research outcomes over time

This page was built for person: Thorsten Wißmann