Theses

Open Theses

The following theses are available. You may also propose your own ideas for discussion.

• Das Lemma von Farkas und seine Varianten (E.B., Diplomarbeit)

  In dieser Arbeit soll die Essenz ähnlicher Konstruktionen und Beweise zum Lemma von Farkas herausgearbeitet werden. Zusammenarbeit mit der Arbeit zum Überdeckungsgraphen ist möglich.

• Der Überdeckungsgraph bei Petrinetzen (E.B., Diplomarbeit)

  In dieser Arbeit soll die Essenz ähnlicher Konstruktionen und Beweise zum Überdeckungsgraphen von Petrinetzen herausgearbeitet werden. Zusammenarbeit mit der Arbeit zum Farkas-Lemma ist möglich.

• Fallstudien in Petri-Netzen (E.B., Diplomarbeit, in reduzierter Form auch IP)

  In dieser Arbeit sollen einige parallele Algorithmen in Petrinetzen modelliert und untersucht werden.

• Graphentheoretische Analysealgorithmen für Petrinetze (E.B., Diplomarbeit, in reduzierter Form auch IP)

  In dieser Arbeit sollen einige einfache graphentheoretische Algorithmen auf Petrinetzen implementiert werden.

• Linear-algebraische Analysealgorithmen für Petrinetze (E.B., Diplomarbeit, in reduzierter Form auch IP)

  In dieser Arbeit sollen einige auf linearen Ungleichungssystemen basierende Algorithmen für Petrinetzen implementiert werden.

• Logische Charakterisierung relationaler Semantik (E.B., Diplomarbeit)

  In dieser theoretischen Arbeit sollen logische Charakterisierungen relationaler Semantiken entwickelt werden.

• Graphanalyse: Maximale Konfigurationen (E.B., Diplomarbeit)

  In dieser Arbeit soll ein effizienter Algorithmus für die Suche nach bestimmten Pfaden in Graphen entwickelt und implementiert werden.

• Bewertung von Risiken im Risk-o-Mat (ewi, Diplomarbeit)

  In dieser Arbeit sollen Verfahren für die Bewertung von Risiken für den Open Source Risikomanager Risk-o-Mat beschrieben und implementiert werden.

• Teilprojekte im Open Source Projekt Risk-o-Mat (ewi)

  Risk-o-Mat ist eine webbasierte Risiko-Management-Lösung im Alpha-Stadium, programmiert mit Ruby on Rails. Für seine weitere Entwicklung können Teilprojekte vergeben werden.

• Das Wortproblem für Petri-Netze (E.B., Diplomarbeit)

  In dieser Arbeit sollen einige Algorithmen zum Wortproblem bei Petrinetzen implementiert werden.

Running Theses

The following theses are being processed.

• Dominik Denker: (H.F.)
• Gerd Hoffmann: Online-Pädagogik mit hybriden Hypertextumgebungen (ewi)
• Thomas Preschel: Entwicklung eines E-Learning-Toolkits für strategische Kartenspiele (H.F.)
• Martin Schulze: Übersetzung von Prozessalgebren in Petrinetze (E.B.)
• Thomas Wegmann: Fachkonzept zur echtzeitorientierten Überwachung von Geschäftsprozessen (H.F.)
• Christian Wellinghorst: Konzeption und Entwicklung eines webbasierten Möbelkonfigurators und Integration in ein bestehendes Web-Content Management System (ewi)

Theses finished since 2000

2008:


• Harro Wimmel (Habilitation): Entscheidbarkeitsfragen bei Petri Netzen
• Patrick Schulz (Master-Arbeit): Entwicklung und Implementierung eines Tutorsystems für Bridgelehrer (H.F., Master-Arbeit)
• Cigdem Cebe: Messung kooperativer Kompetenz - Problembeschreibung und Anforderungsdefinition (H.F.)
• Jan-Christian Halfbrodt: Konzeption und Erstellung eines Studieneinstiegstests Informatik (PDF) (H.F.)
• Martin Hilscher: Kollaps -- Design und Analyse kryptographischer Hash-Funktionen (PDF) (ewi)
• Alexander Neumann: OTAAS - Analyse und Erweiterung einer onlinegestützten Tachographendaten-Auswertungs- und Archivierungs-Software (ewi)
• Tim Suchner: Entwicklung und Implementierung eines PGP-Verschlüsselungsproxys (ewi)
• Cigdem Cebe: Implementierung eines Werkzeuges zur Messung kooperativer Kompetenz auf Basis des QuizCo²-Systems (H.F.)
• Kristian Heidmann: Eine modulare Blokus-Spielsoftwareumgebung (E.B.)
• Jan Jelschen: Eine Werkzeugsammlung zur Prüfung endlicher Modelle (E.B.)
• Holger Lubitz: Parallelisierung eines Kompressionsalgorithmus (E.B.)
• Klaus Piech: Integration eines Projektkonzepts in das STETZ-System (H.F.)
• Thomas Preschel: E-Learning Lösungen für Bridge (PDF) (H.F.)
• Iris Wilde: Beschreibung und Analyse von Produktionssystemen durch Petrinetze (E.B.)


2007:


• Malte Diehl: Messung maschineller Übersetzbarkeit von Texten (PDF) (ewi)
• Harry Egbers: Konzeptioneller Entwurf einer unbegrenzten MMORPG-Spielwelt (H.F.)
• Christoph Eichner: Definition und Implementierung einer Petrinetz-Semantik für die UML 2.0 Aktivitätsdiagramme (H.F.)
• Helge Hartmann: BBES - Ein Expertensystem für die Reizung im Bridge (H.F.)
• Lars Lüttmann: Spielergesellschaft Deutschland: Computerspiele als Spiegel gesellschaftlicher Trends am Beispiel World of Warcraft (H.F.)
• Dirk Räder: Konzeption eines modularen Autorensystems mit OCR-Unterstützung für E-Learning-Systeme (ewi)
• Robert Bleiker: Implementierung des Fallentestschemas für Petrinetze (E.B.)
• Martin Hilscher: RENGA - A graphical programming language tailored but not restricted to cryptographic algorithms (PDF), Quellen (ewi)
• Ana-Maria Mesaros: Vermittlung von IT-Kompetenzen in Weiterbildungsveranstaltungen - Eine empirische Studie (H.F.)
• Alexander Neumann: ASP DigiTach (ewi)
• Tim Suchner: Entwicklung und Implementierung eines Pokerclients mit Pokerbots (PDF) (ewi)
• Christian Wellinghorst: Konzeption und Implementierung eines modular erweiterbaren Content Management Systems (ewi)


2006:


• Ortwin Escher: Generierung vom UML-Diagrammen aus Requirements-Engineering-Werkzeugen (H.F.)
• Christian Lerch: Bridgetutor (H.F.)
• Sven Sieverding: Das Modifikationsproblem der Aussagenlogik und dessen Auswirkungen auf das Erfüllbarkeitsproblem (H.F.)
• Anke Mangels: Konvertierung von temporallogischen Formeln in unterschiedlicher Syntax (E.B.)
• Nils Müllner: Logisch-funktionale Sprachen im Vergleich (ewi)
• Sven Sieverding: Das Modifikationsproblem der Aussagenlogik und dessen Auswirkungen auf das Erfüllbarkeitsproblem (H.F.)
• Tim Strazny: Simulation von Generalized Stochastic Petri Nets (E.B.)


2005:


• Andreea Barbu (Dissertation): Developing Mobile Agents through a formal Approach
• Felix Fontein: Elliptic Curves over Rings with a Point of View on Cryptography and Factoring (E.B.)
• René Hess: Entwurf eines Group-Support-Systems mit integriertem Collaboration Engineering (H.F.)
• Margarete Muhle: Moderationsabläufe (H.F.)
• Frank Nagel: Eine M-Netz-Repräsentation für Pi-Kalkül-Terme mit Replikation (E.B., H.F.)
• Malte Diehl: Soft Skills online (PDF) (ewi)
• Harry Egbers: Entwicklung eines Programmsystems zur Unterstützung von Gemeinschaftsarbeit in Lehrveranstaltungen (H.F.)
• Felix Fontein: A Toolbox for Elliptic Curves over Finite Rings and (Automatic) Decomposition of Finite Abelian Groups (E.B.)
• Philipp Regenfuß: Ein Content Management System zur Kolloquienplanung für das Department für Informatik der Carl-von-Ossietzky-Universität Oldenburg (ewi)
• Thorsten Schlörmann: Kryptographie-Algorithmen för die Tellib: AES und visuelle Kryptographie (E.B., C.S.)
• Patrick Schulz: Entwicklung eines Bietsystem-Editors für Bridge (H.W.)


2004:


• Ortwin Escher: System zur Datensynchronisierung in einem Client-Server-System und die Einbindung in KerMod (H.F.)
• René Hess: KerMod-Modul: Datei-Upload und Dateipool (H.F.)
• Ulrich Hobelmann: Implementation of a Compiler from B(PN)² (E.B., C.S.)
• Christian Lerch: Bridge Tutor (PBN-Viewer) (H.F.)
• Margarete Muhle: Erweiterung des KerMod um Vorlagen (H.F.)
• Frank Nagel: Ein Abrechnungsprogramm für Bridge. Zweiter Evolutionszyklus (H.F.)


2003:


• Oliver Erdmann: Comparing Time Petri Nets and Timed Automata (E.B., C.S.)


2002:


• Michael Weber (Dissertation): Allgemeine Konzepte zur software-technischen Unterstützung verschiedener Petrinetz-Typen (E.B., Dissertation)
• André Hackmann: Development of a High-Throughput Automated Annotation System (E.B.)
• Michael Köhrmann: Entwicklung eines Rettungs- und Reparaturwerkzeugs für das Betriebssystem Linux (E.B.)
• Niklas Mehner: Auswertung von Spielbäumen mit unvollständiger Information - Entwicklung Implementierung und Evaluation eines Prototypen am Beispiel von Bridge (E.B., H.F.)
• Astrid Rakow: Data Mining using Artificial Neural Networks for Classifying Protein Sequences (E.B.)
• Uwe Viergutz: Ein grafischer SDL-2000-Editor für das PEP-Tool (E.B., C.S.)


2001:


• Matthias Brill: Entwurf und Implementierung eines Double-Dummy Bridge Solvers (H.F.)
• Jörg Dannemann: Entwurf eines generischen Abrechnungssystems für Kartenspielturniere und Implementierung eines Prototypen für Bridge (H.F.)
• Ernst Kretschmann: Data Mining in Large Scientific Databases (E.B.)
• André Hackmann, Astrid Rakow: HellicsClient, eine graphische Oberfläche für HELLICS (E.B.)


2000:


• Andreea Barbu: M-Netze und der Pi-Kalkül: Vergleich zweier Modelle für nebenläufige Prozesse (E.B., H.F.)
• Christian Stehno: Entfaltung von Zeit-Petrinetzen, Integration in das PEP-System und Optimierungen (E.B.)