Norbert Hundeshagen

Available identifiers

Publication	Date of Publication	Type
DiMo -- discrete modelling using propositional logic	2022-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5015280	2021-12-07	Paper
Multi-buffer simulations: decidability and complexity	2018-09-27	Paper
Model checking CTL over restricted classes of automatic structures	2017-12-20	Paper
A Hierarchy of Transducing Observer Systems	2016-04-08	Paper
Weighted Restarting Automata and Pushdown Relations	2015-09-22	Paper
Restarting transducers, regular languages, and rational relations	2015-09-04	Paper
Transducing by observing length-reducing and painter rules	2014-08-22	Paper
Characterizing the Rational Functions by Restarting Transducers	2012-06-08	Paper
Characterizing the Regular Languages by Nonforgetting Restarting Automata	2011-07-29	Paper
Transductions computed by PC-systems of monotone deterministic restarting automata	2011-02-11	Paper

This page was built for person: Norbert Hundeshagen