Abgeschlossene Dissertationen, Masterarbeiten und Bachelorarbeiten
PhD
Daniel Kernberger, Hybrid Branching-Time Logics, 2019
Florian Bruse, Extremal Fixpoints for Higher-Order Modal Logic, 2018
Milka Hutagalung, Buffered Simulation for Büchi Automata, 2018
MSc
Eric Alsmann, On the Undecidability of the Output Reachability Problem for Transformer Sequence Classifiers, 2023
Marco Sälzer, Convergence of Modal Fixpoint Formulars over Special Classes of Structures, 2020
Adrian Sturm, Constructing a Model Checking Algorithm for Higher Order Modal Logic using Binary Decision Diagrams, 2019
Benedikt Hruschka, Implementierung eines Interaktiven Model-Checkers für erststufige Logik über automatischen Strukturen, 2019
David Kronenberger, Capturing Bisimulation-Invariant Complexity Classes by Polyadic Higher-Order Fixpoint Logic, 2019
Lara Yöruk, SoPHY – A Specification Language for Hybrid Systems, 2017
Orcun Yörük, Simon – Ein Simulationstool für hybride Systeme, 2017
Arno Ehle, Proof Search in the Sequent Calculus for First-Order Logic with Equality, 2017
BSc
Jan Heinemeyer, Hypothesenüberprüfung in der Biologie: Erweiterung und Anbindung des Calculus of Influence an ein Lehr-/Lernsystem zur Überprüfung von Hypothesen, 2023
John Hundhausen, Ein Website-Baukasten für interaktive Vorlesungsskripte und Arbeitsblätter, 2023
Clemens Weiße, Frontend-Entwicklung eines Reduktions-Trainers für Studierende, 2023
Lars-Eric Marquardt, Formal Verification of Different Semantics for an Abstract Higher-Order Fixpoint Algebra in Isabelle/HOL, 2022
Kathrin Lehmann, Toolgestütztes Lernen im Kontext der Berechenbarkeitstheorie: ein Backend-Prototyp zur automatisierten Überprüfung von Reduktionen, 2022
Stefan Kablowski, Computing All Minimal Corrections for a Word to Match a Context-Free Description, 2022
Sören Möller, An Efficient Algorithm for Proof Search in the Calculus of Influence, 2022
Maurice Herwig, Berechnung einer Gewichtung regulärer Sprachen, 2021
Georg Siebert, Auf dem Weg zum künstlichen Lehrassistenten: Das Lernen von Bewertungsschemata für endliche Automaten mit GNNs, 2021
Eric Alsmann, Inexpressibility Results for Propositional Dynamic Logic over Context-Free Programs, 2021
Jan Müller, Eine Webanwendung zur prädikatenlogischen Modellprüfung von Graphstrukturen, 2021
Lukas Mentel, Detection and Elimination of Constants to Strengthen k-Induction, 2021
Marco Sälzer, Neededness Analysis for Model Checking Properties Defined by Order-2 Fixpoints, 2018
Arno Ehle, Untersuchungen zu partiellen Reduktionen von Paritätsspielen auf Büchi-Spiele, 2015
Thorsten Löbig, Untersuchungen zur Anwendbarkeit von formalen Methoden am Beispiel einer Infusionspumpe, 2014
Michael Falk, Fixpunktiteration für Paritätsspiele, 2013