Norbert Hundeshagen

22 papers A 1C 5Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2025 C conf
An Earley-Based Universal Error-Correcting Parser.
CIAA
Maurice Herwig, Norbert Hundeshagen, Martin Lange
2025 — conf
On AI Generated Reductions from Natural Language Descriptions.
DeLFI
Maurice Herwig, Norbert Hundeshagen, Cedric Kollenberg, Robin Weber
2024 — conf
Problem-Specific Visual Feedback in Discrete Modelling.
DeLFI
Maurice Herwig, Norbert Hundeshagen, John Hundhausen, Stefan Kablowski, Martin Lange
2024 — conf
Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science.
DeLFI
Maurice Herwig, Norbert Hundeshagen, Marit Kastaun, Cedric Kollenberg
2021 — conf
A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper).
FMTea
Norbert Hundeshagen, Martin Lange
2021 A conf
DiMo - Discrete Modelling Using Propositional Logic.
SAT
Norbert Hundeshagen, Martin Lange, Georg Siebert
2018 J jnl
Multi-buffer simulations: Decidability and complexity.
Inf. Comput.
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
2017 — conf
Model Checking CTL over Restricted Classes of Automatic Structures.
RP
Norbert Hundeshagen, Martin Lange
2017 — conf
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs.
ThEdu@CADE
Arno Ehle, Norbert Hundeshagen, Martin Lange
2016 — conf
Multi-Buffer Simulations for Trace Language Inclusion.
GandALF
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
2016 — conf
Two-Buffer Simulation Games.
Cassting/SynCoP
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes
2015 C conf
A Hierarchy of Transducing Observer Systems.
LATA
Peter Leupold, Norbert Hundeshagen
2015 J jnl
Restarting Transducers, Regular Languages, and Rational Relations.
Theory Comput. Syst.
Norbert Hundeshagen, Friedrich Otto
2015 J jnl
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs.
CoRR
Arno Ehle, Norbert Hundeshagen, Martin Lange
2015 — conf
Weighted Restarting Automata and Pushdown Relations.
CAI
Qichao Wang, Norbert Hundeshagen, Friedrich Otto
2014 J jnl
Transducing by observing length-reducing and painter rules.
RAIRO Theor. Informatics Appl.
Norbert Hundeshagen, Peter Leupold
2013 — —
Relations and Transductions Realized by Restarting Automata.
Norbert Hundeshagen
2012 C conf
Characterizing the Rational Functions by Restarting Transducers.
LATA
Norbert Hundeshagen, Friedrich Otto
2012 — conf
Transducing by Observing and Restarting Transducers.
NCMA
Norbert Hundeshagen, Peter Leupold
2011 C conf
Characterizing the Regular Languages by Nonforgetting Restarting Automata.
Developments in Language Theory
Norbert Hundeshagen, Friedrich Otto
2010 — conf
Transducing by Observing.
NCMA
Norbert Hundeshagen, Peter Leupold
2010 C conf
Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata.
CIAA
Norbert Hundeshagen, Friedrich Otto, Marcel Vollweiler