Norbert Hundeshagen

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
DiMo -- discrete modelling using propositional logic	2022-03-22	Paper
Multi-buffer simulations for trace language inclusion	2021-12-07	Paper
Multi-buffer simulations for trace language inclusion (available as arXiv preprint)	2021-12-07	Paper
Multi-buffer simulations: decidability and complexity Information and Computation	2018-09-27	Paper
Model checking CTL over restricted classes of automatic structures	2017-12-20	Paper
A hierarchy of transducing observer systems Language and Automata Theory and Applications	2016-04-08	Paper
Weighted Restarting Automata and Pushdown Relations Algebraic Informatics	2015-09-22	Paper
Restarting transducers, regular languages, and rational relations Theory of Computing Systems	2015-09-04	Paper
Transducing by observing length-reducing and painter rules RAIRO. Theoretical Informatics and Applications	2014-08-22	Paper
Characterizing the rational functions by restarting transducers Language and Automata Theory and Applications	2012-06-08	Paper
Characterizing the regular languages by nonforgetting restarting automata Developments in Language Theory	2011-07-29	Paper
Transductions computed by PC-systems of monotone deterministic restarting automata Implementation and Application of Automata	2011-02-11	Paper

Research outcomes over time

This page was built for person: Norbert Hundeshagen