Norbert Hundeshagen

According to our database, Norbert Hundeshagen authored at least 18 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper).

Norbert Hundeshagen, Martin Lange

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

DiMo - Discrete Modelling Using Propositional Logic.

Norbert Hundeshagen, Martin Lange, Georg Siebert

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2018

Multi-buffer simulations: Decidability and complexity.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Inf. Comput., 2018

2017

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs.

Arno Ehle, Norbert Hundeshagen, Martin Lange

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

Model Checking CTL over Restricted Classes of Automatic Structures.

Norbert Hundeshagen, Martin Lange

Proceedings of the Reachability Problems - 11th International Workshop, 2017

2016

Two-Buffer Simulation Games.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

Multi-Buffer Simulations for Trace Language Inclusion.

Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes

Proceedings of the Seventh International Symposium on Games, 2016

2015

Restarting Transducers, Regular Languages, and Rational Relations.

Norbert Hundeshagen, Friedrich Otto

Theory Comput. Syst., 2015

The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs.

Arno Ehle, Norbert Hundeshagen, Martin Lange

CoRR, 2015

A Hierarchy of Transducing Observer Systems.

Peter Leupold, Norbert Hundeshagen

Proceedings of the Language and Automata Theory and Applications, 2015

Weighted Restarting Automata and Pushdown Relations.

Qichao Wang, Norbert Hundeshagen, Friedrich Otto

Proceedings of the Algebraic Informatics - 6th International Conference, 2015

2014

Transducing by observing length-reducing and painter rules.

Norbert Hundeshagen, Peter Leupold

RAIRO Theor. Informatics Appl., 2014

2013

Relations and Transductions Realized by Restarting Automata.

Norbert Hundeshagen

PhD thesis, 2013

2012

Transducing by Observing and Restarting Transducers.

Norbert Hundeshagen, Peter Leupold

Proceedings of the Fourth Workshop on Non-Classical Models for Automata and Applications, 2012

Characterizing the Rational Functions by Restarting Transducers.

Norbert Hundeshagen, Friedrich Otto

Proceedings of the Language and Automata Theory and Applications, 2012

2011

Characterizing the Regular Languages by Nonforgetting Restarting Automata.

Norbert Hundeshagen, Friedrich Otto

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2010

Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata.

Norbert Hundeshagen, Friedrich Otto, Marcel Vollweiler

Proceedings of the Implementation and Application of Automata, 2010

Transducing by Observing.

Norbert Hundeshagen, Peter Leupold

Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010