Name | Topic | Abschluss |
Eike Behrends | Detektion von Abhängigkeiten zwischen User Stories mittels NLP | Master |
Niklas Bruns | Agentenbasierte Coverage-getriebene Verifikation von SystemC-Modellen | Bachelor |
Ronald Smith Djomkam Yotedje | Generic Information Extraction Using Triple-Store Databases | Master |
Hauke Edeler | Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter Information | Bachelor |
Igor Kazhdan | Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem Solvers | Bachelor |
Schneider Kevin Leonard | Alternative area division methods for exact routing on digital microfluidic biochips | Bachelor |
Patrick Kleinermann | Zeitsynchrone Erfassung seismischer Sensordaten | Bachelor |
Timo Kohorst | Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzen | Bachelor |
Max Benjamin Nitze | Constraint-based Test-Data Generation | Master |
Pascal Pieper | Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash | Bachelor |
Carsten Schiefelbein | Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS | Master |
Jil Tietjen | Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT | Bachelor |