Student Projects

About

In general, students may contact us anytime if they want to join us for our research.

Project Proposals

  • Agent Contest
    •  Type: Bachelor-/Master thesis, "Projekt im Bachelor", "Projekt im Master"
      Broad areas:

    • Usage and comparison of Agent-Oriented programming frameworks to build and analyse agent teams
    • Analysis and improvement of the contest scenario
  • ...
  • Logics
    • Rational Agents in Multi-agent Systems
      Type: Practica, Studienarbeit, Bachelor-,Master theses
      Description: Different topics in the area of Mutli-agent systems, logics, game theory, model checker, etc. are available. All topics can be tuned according to the students interests and abilities.

Finished projects

Bachelor/Master/Diploma theses

  • Jan Schwede. Cache-effizientes Packen überlappender Hashtabellen. BSc thesis. 2019.
  • Jasper Sprockhoff. Kriterien und Ansätze für die Entwicklung von Spielen eines Multi-Agenten Wettbewerbs. BSc thesis. 2018
  • Kyle A. Schwalbe. KI in der Medizin.
  • Thomas Borgardt. Analyse von BattleCode 2018.
  • Sarah Diedrich. BDI Agents for the Simulation of Software Evolution.
  • Niklas Fiekas. Finding Perfect Hash Functions for Bitboard Based Move Generation.
  • Hayyan Helal. An approach using neural networks on curves to determine the font of Arabic calligraphy art works. Bachelor thesis. Mar. 2018.
  • Sanja Alcu. KI - Einsatzmöglichkeiten im E-Commerce. German. Bachelor thesis. Mar. 2018.
  • Philipp Czerner. Wie realistisch ist ein Change-Coupling Graph? Einschätzung mithilfe von Convolutional Neural Networks. German. Bachelor thesis. Mar. 2018.
  • Jonathan Pieper. Entwicklung eines BDI basierten Agententeams für den Multi-Agent Programming Contest. German. Bachelor thesis. Sept. 2017.
  • Sarah Diedrich. Agentenbasierte Parameteroptimierung eines Multi-Agent Programming Contest-Szenarios. German. Bachelor thesis. Sept. 2016.
  • Tobias Ahlbrecht. Modular modelling support for multiagent simulation. Master thesis. July 2016.
  • Aaron Sillus. Ein Genetischer Algorithmus zur Komposition von Musik. German. Bachelor thesis. June 2016.
  • Naghmeh Fannipour. Adaptation of Systems Theoretic Process Analysis (STPA) for SCADE-based designs. Oct. 2015.
  • Niklas Fiekas. Ein leichtgewichtiger AgentSpeak Interpreter für C++. German. Bachelor thesis. Oct. 2015.
  • Pierre Colin Kaptue Wafo. Graphisches Werkzeug für die Strukturmodellierung von Bahnsicherungsanlagen. Mar. 2015.
  • Marc Sebastian Lucksch. Modellgetriebene Entwicklung von textuellen Editoren für die Strukturmodellierung von Bahnsicherungsanlagen. Apr. 2015.
  • Timo Rienäcker. Weiterentwicklung eines Werkzeugs zur Verifikation von SCADE- Programmen mit SMT Model Checking. Oct. 2015.
  • J. Wang. Lernmaterialien zu Algorithmen und Datenstrukturen. 2015. Xiaoqian Gu. Modellierung und Veri kation einer Familie von sicherheitskritis- chen, medizinischen Geräten mit SCADE. Sept. 2014.
  • Sara Mahvi. Model-Based Safety Analysis of a Medical Device using SCADE Modeling Tool. Oct. 2014.
  • Tobias Ahlbrecht. A Tool for Computing Stable Topologies in Mobile Ad-Hoc Networks. Bachelor thesis. June 2013.
  • Jens Dehnert. Game representations and their complexity. Diploma thesis. Oct. 2012.
  • Sascha Kattelmann. Die Ehrenfeucht-Vermutung und verwandte Probleme. Bach- elorarbeit. 2012.
  • Jan-Michael Brummer. Transformation von Promela nach SLPN. Diploma the- sis. Sept. 2009.
  • Slawomir Deren. Inter Agent Kommunikationsmodul für Jazzyk. Diploma thesis. Aug. 2009.
  • Bernd Fuhrmann. Implementierung eines URBI- und Rubymoduls für Jazzyk zur Entwicklung von Robotern. Diploma thesis. July 2009.
  • Markus Gogolin. Optimierte SLPN-LTL-Modelchecker. Diploma thesis. Feb. 2009.
  • Sebastian Magnus. Intelligent City - An Ambient System for Personalized Information- and Transactionservices. Diploma thesis. TU Clausthal, June 2009.
  • Michael Köster. Implementierung eines autonomen Agenten in einer Simulierten 3D Umgebung: Wissensrepräsentation. Diploma thesis. Mar. 2008.
  • David Mainzer. Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung: Interaktion mit der Umwelt. Diplomarbeit. TU Clausthal, Aug. 2008.
  • Dominik Steinborn. Entwurf und Implementierung eines outdogiebasierten Sys- tems zur Extraktion von Produktinformationen aus Onlineshops. Diplomarbeit. TU Clausthal, Aug. 2008.
  • Michael Lesniak. Communicating over con icts in evolving, distributed ontolo- gies. Diplomarbeit. TU Clausthal, June 2007.
  • Xavier Queralt Mateu. Model checking of rational behavior of agents. Diplomar- beit. TU Clausthal, July 2007.
  • Tristan Behrens. Statische Analyse von Spec-Sharp-Programmen. Diploma the- sis. TU Clausthal, Feb. 2006.
  • Nils Bulling. Modal logics for games, time and beliefs. Diploma thesis. TU Clausthal, Mar. 2006.
  • Jan Winhuysen. Entwurf und Implementierung eines Werkzeugs zur statischen Analyse von JAVA Bytecode. Diploma thesis. TU Clausthal, Mar. 2006.
  • Markus Winkler. Modellierung des Temperaturverlaufs in einem Schmelzofen. Diploma thesis. TU Clausthal, May 2006.
  • Thomas Görz. Modellbasierte Diagnose des Zündsystems im Ottomotor zur Her- leitung von Fehlersuchanleitungen in einer KFZ-Werkstatt. Diploma thesis. TU Clausthal, Oct. 2005.
  • Andrzej Kononowicz. Agenten im E-Learning. Diplomarbeit. TU Clausthal, July 2005.
  • Stefan Schimanski. Veri kation von Schleifen in Java-Programmen. Diploma thesis. TU Clausthal, June 2004.
  • Jens Stegemann. Statische Analyse von Java-Programmen unter Verwendung der JML. Diploma thesis. TU Clausthal/FH Wolfenbüttel, Sept. 2004.

Student projects

  • Kurt Böhm: PhotoGraph: Ein graphenbasierter Bildeditor mit optimierter Speichernutzung unter Berücksichtigung des Nutzerverhaltens, 2020.
  • Paula Böhm: Entwicklung eines Checkers-Programms auf Basis von AlphaZero, 2020.
  • Alexander M. Mantel/Jan H. Schwede: Eine Variante von "Maker/Breaker"
  • Kurt Böhm: Regelbasierte Musikvorschläge
  • Niklas Fiekas: A scalable AgentSpeak interpreter with MapReduce, 2018.
  • Mazen Bouchur/Thomas Borgardt: Implementing a solution for "BattleCode", 2017.
  • Hayyan Helal: Counterpoint with genetic algorithms, 2017.
  • Sarah Diedrich: Improving the MAPC scenario, 2017.
  • Tobias Ahlbrecht: DemSyMC - An Android app for dispatching and managing ATL formulae for the MOCHA model checker, 2010.
  • Weiyu Yi: An Interface Module for the Jazzyk interpreter That Enables Interaction with the MASSim Server, 2009.
  • Slawomir Deren, Xavier Queralt Mateu: Support Infrastructure for Multi-Agent Simulations II
  • Bernd Fuhrman, Dominik Steinborn, David Mainzer, Michael Koester: Support Infrastructure for Multi-Agent Simulations, 2006
  • Bernd Fuhrmann: A Metainterpreter for different kinds of Update-Semantics in the context of Logic Programming, 2005
  • Michael Lesniak: Syntaktische Transformation rekursiver Methoden in Java, 2005
  • Claus Lohrberg: Theorembeweiser für das Verification Tool (VTool), 2005
  • Tristan Behrens: Statische Analyse der Ausnahmebehandlung von Java-Programmen, 2004
  • Matthias Glagow: Analyse von Nachbarschaftsoperatoren für das Traveling Salesman Problem, 2004
  • Janko Heilgeist: Der SAW-Algorithmus als Lösungsansatz für G3C, 2004

Practica

  • Christian Reimann: Prädikatenabstraktion und Klasseninvarianten, 2005
  • Nils Bulling: Prädikatenlogik und automatische Theorembeweiser, 2004
  • Tomas Janecek: Ein Eclipse-Plugin für das Verification Tool (VTool), 2004
  • Tristan Behrens: Parallelisierung im Verification Tool (VTool), 2003
  • Michael Lesniak: Design, Implementation und Anwendung eines Testsystems für das Projekt VTool, 2003
  • Claus Lohrberg: Codeoptimierung für guarded commands, 2003
  • Stefan Schimanski: Eine Einführung in das Beweissystem Isabelle, 2002