Transducing by Observing. - Norbert Hundeshagen; Peter Leupold (NCMA, 2010)

Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata. - Norbert Hundeshagen; Friedrich Otto; Marcel Vollweiler (CIAA, 2010)

Characterizing the Regular Languages by Nonforgetting Restarting Automata. - Norbert Hundeshagen; Friedrich Otto (Developments in Language Theory, 2011)

Characterizing the Rational Functions by Restarting Transducers. - Norbert Hundeshagen; Friedrich Otto (LATA, 2012)

Transducing by Observing and Restarting Transducers. - Norbert Hundeshagen; Peter Leupold (NCMA, 2012)

Relations and Transductions Realized by Restarting Automata. - Norbert Hundeshagen (2013)

Transducing by observing length-reducing and painter rules. - Norbert Hundeshagen; Peter Leupold (RAIRO Theor. Informatics Appl., 2014)

Weighted Restarting Automata and Pushdown Relations. - Qichao Wang; Norbert Hundeshagen; Friedrich Otto (CAI, 2015)

A Hierarchy of Transducing Observer Systems. - Peter Leupold; Norbert Hundeshagen (LATA, 2015)

The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs. - Arno Ehle; Norbert Hundeshagen; Martin Lange (CoRR, 2015)

Restarting Transducers, Regular Languages, and Rational Relations. - Norbert Hundeshagen; Friedrich Otto (Theory Comput. Syst., 2015)

Multi-Buffer Simulations for Trace Language Inclusion. - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (GandALF, 2016)

Two-Buffer Simulation Games. - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (Cassting/SynCoP, 2016)

Model Checking CTL over Restricted Classes of Automatic Structures. - Norbert Hundeshagen; Martin Lange (RP, 2017)

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. - Arno Ehle; Norbert Hundeshagen; Martin Lange (ThEdu@CADE, 2017)

Multi-buffer simulations: Decidability and complexity. - Milka Hutagalung; Norbert Hundeshagen; Dietrich Kuske; Martin Lange; Étienne Lozes (Inf. Comput., 2018)

DiMo - Discrete Modelling Using Propositional Logic. - Norbert Hundeshagen; Martin Lange; Georg Siebert (SAT, 2021)

A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper). - Norbert Hundeshagen; Martin Lange (FMTea, 2021)

Problem-Specific Visual Feedback in Discrete Modelling. - Maurice Herwig; Norbert Hundeshagen; John Hundhausen; Stefan Kablowski; Martin Lange (DeLFI, 2024)

Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science. - Maurice Herwig; Norbert Hundeshagen; Marit Kastaun; Cedric Kollenberg (DeLFI, 2024)

On AI Generated Reductions from Natural Language Descriptions. - Maurice Herwig; Norbert Hundeshagen; Cedric Kollenberg; Robin Weber (DeLFI, 2025)

An Earley-Based Universal Error-Correcting Parser. - Maurice Herwig; Norbert Hundeshagen; Martin Lange (CIAA, 2025)