Thomas Neele

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional active learning of synchronizing systems through automated alphabet refinement	2026-08-05	Paper
Expressivity of AuDaLa: Turing completeness and possible extensions Logical Methods in Computer Science	2026-05-29	Paper
The autonomous data language -- concepts, design and formal verification Theoretical Computer Science	2025-11-21	Paper
Unfolding state variables improves model checking performance Theoretical Computer Science	2025-04-07	Paper
An autonomous data language	2024-09-13	Paper
Simplifying process parameters by unfolding algebraic data types	2024-09-13	Paper
Operations on fixpoint equation systems Logical Methods in Computer Science	2024-09-04	Paper
Compositional automata learning of synchronous systems	2023-11-24	Paper
Compositional model checking with incremental counter-example construction	2022-07-01	Paper
Partial-order reduction for parity games with an application on parameterised Boolean equation systems Tools and Algorithms for the Construction and Analysis of Systems	2021-11-10	Paper
A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction (available as arXiv preprint)	2021-10-08	Paper
A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction	2021-10-08	Paper
The inconsistent labelling problem of stutter-preserving partial-order reduction (available as arXiv preprint)	2020-09-23	Paper

Research outcomes over time

This page was built for person: Thomas Neele