Fortgeschrittenenpraktikum/Diplomarbeit
Implementierung eines Typsystems fuer Objektorientierte Programme
Betreuer: Prof. Dr. Martin Hofmann

Fortgeschrittenenpraktikum/Diplomarbeit
Experimentelle Untersuchung von Random-Walk-Verfahren auf zufälligen 3-SAT-Formeln
Betreuer: Dr. Jan Johannsen

Diplomarbeit
Bounded Model Checking für Linear Time Fixpoint Logic with Chop
Betreuer: Priv.-Doz. Dr. Martin Lange , Dr. Jan Johannsen

Diplomarbeit
Antiketten-basierte Algorithmen für String-Probleme
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum/Diplomarbeit
Ein Tool zum praktischen Lösen von Paritätsspielen
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum/Diplomarbeit
Model Checking für Hybride Logik
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum/Diplomarbeit
Eine termersetzungsbasierte Übersetzung von (semi-)erweiterten, regulären Ausdrücken in endliche Automaten
Betreuer: Hermann Gruber , Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Entwicklung von e-learning Plattform in der Mathematikdidaktik
Betreuer: Prof. Dr. Martin Hofmann

Diplomarbeit
Integration eines Model Checking Algorithmus für Fixpoint Logic with Chop in NuSMV
Betreuer: Roland Axelsson , Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Experimenteller Vergleich effizienter Algorithmen zur Bestimmung der Smith Menge
Betreuer: Dr. Felix Brandt

Fortgeschrittenenpraktikum
Visualisierung eines Model Checking Algorithmus
Betreuer: Roland Axelsson , Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Finite-Elemente Berechnungen in Haskell
Betreuer: Dr. Hans Wolfgang Loidl , Dipl.-Ing. Axel Gerstenberger

Fortgeschrittenenpraktikum
Erweiterung Webplattform für Schulen mit Content-Management-System Plone
Betreuer: Peter Brichzin

Fortgeschrittenenpraktikum
Dungyuan Yu
Faktorisierung mit einem SAT-Solver
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Volker Reitz
Implementierung eines Entscheidungsverfahrens für Beschreibungslogik mit terminologischen Zykeln
Betreuer: Prof. Dr. Martin Hofmann

Fortgeschrittenenpraktikum
Mihail Tsvyatkov
Schulstundenplanung mittels SAT-Solving
Betreuer: Dr. Jan Johannsen , Prof. Dr. Martin Hofmann

Fortgeschrittenenpraktikum
Thomas Lederer
Onthologiebasiertes Vorlesungsskript: Algorithmen und Datenstrukturen
Betreuer: Hans Dietmar Jäger , Tim Furche

Fortgeschrittenenpraktikum
Max Meier
Normal-form game solver using support-enumeration
Betreuer: Dr. Felix Brandt

Fortgeschrittenenpraktikum
Philip Wassenberg
Implementierung eines kryptographischen Vergleichsprotokolls
Betreuer: Dr. Felix Brandt

Diplomarbeit
Dulma Rodriguez ,
Algorithmic Subtyping for Higher-Order Bounded Quantification Revisited
Betreuer: Andreas Abel

Diplomarbeit
Karl Mehltretter ,
Type and Termination Checking Dependent Types
Betreuer: Andreas Abel

Diplomarbeit
Markus Latte ,
Towards lower bounds for intuitionistic propositional proofs
Betreuer: Prof. Dr. Martin Hofmann , Dr. Jan Johannsen

Diplomarbeit
Marie-Fleur Revel , Dez. 2006
Translating PSL into the linear time mu-calculus
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Karl Mehltretter , Juni 2006
Übersetzung zwischen schwachen, alternierenden Paritätsautomaten und dem Linearzeit mu-Kalkül
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Markus Jehle , April 2006
Bounded Model Checking für den Linearzeit-Mu-Kalkül
Betreuer: Priv.-Doz. Dr. Martin Lange , Dr. Jan Johannsen

Diplomarbeit
Markus Jehle , März 2008
Bounded Model Checking for all Regular Properties
Betreuer: Priv.-Doz. Dr. Martin Lange

Diplomarbeit
Roland Axelsson , Januar 2006
Automated Abstractions for Existential and Universal Properties
Betreuer: Prof. Dr. Martin Hofmann

Diplomarbeit
Boris Lohner , Dezember 2006
Vorlesungsumfragen Online
Betreuer: Hans Dietmar Jäger , Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Dulma Rodriguez , März 2006
Verification in Coq of (co-)iteration schemes for higher-order and nested datatypes
Betreuer: Dr. Ralph Matthes , Andreas Abel

Fortgeschrittenenpraktikum
Roland Axelsson ,
Optimal Transitions in Abstract State Systems
Betreuer: Prof. Dr. Martin Hofmann

Fortgeschrittenenpraktikum
Jan Hoffmann , März 2006
Minimising weak alternating parity automata
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Anja Feichtner, Susanne Sojer , April 2006
Paritätsspiele durch Reduktion auf SAT lösen
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Elisabeth Laika, Cornelia Stamm , Juli 2005
Untersuchung der Verwendbarkeit von SAT-Solving zur Schulstundenplanung
Betreuer: Dr. Jan Johannsen , Prof. Dr. Martin Hofmann

Fortgeschrittenenpraktikum
Christian Dax , Juni 2004
Implementation of LTL Focus Games
Betreuer: Priv.-Doz. Dr. Martin Lange

Diplomarbeit
Christian Dax , März 2006
Games for the Linear Time Mu-Calculus
Betreuer: Priv.-Doz. Dr. Martin Lange

Fortgeschrittenenpraktikum
Robert Reitmeier , März 2004
Implementierung eines Algorithmus zur Beweissuche im Polynomkalkül
Betreuer: Dr. Jan Johannsen

Fortgeschrittenenpraktikum
Jan Peter Gutzmann , Dez. 2003
Implementierung eines Type-Checkers für das System F-omega
Betreuer: Andreas Abel

Fortgeschrittenenpraktikum
Markus Bleicher , Mai 2002
Typprüfung für System F-omega mit CASE und PAIR
Betreuer: Dr. Ralph Matthes

Fortgeschrittenenpraktikum
Nicolas Rachinsky , Januar 2006
Spezifikation von Transitionssystemen mittels CCS
Betreuer: Priv.-Doz. Dr. Martin Lange , Dr. Jan Johannsen

Diplomarbeit
Robert Reitmeier , September 2005
SAT Encoding of Linear Time mu-Calculus and Weak Alternating Parity Automata
Betreuer: Priv.-Doz. Dr. Martin Lange , Dr. Jan Johannsen

Fortgeschrittenenpraktikum
Konstantin Kutzkow , März 2006
Natural HeapSort - ein neuer adaptiver Sortieralgorithmus
Betreuer: Dr. Jan Johannsen