| Bearbeiter | Titel | Typ |
|---|---|---|
| Niklas Ewald | Identifikation von Rückverfolgbarkeitsverbindungen zwischen Anforderungen mittels Sprachmodellen | Bachelorarbeit |
| Gilbert Groten | Automatisches Auflösen von Abkürzungen in Quelltext | Masterarbeit |
| Bearbeiter | Titel | Typ |
|---|---|---|
| Timo Januschke | Bestimmung der semantischen Funktion von Quelltextabschnitten | Bachelorarbeit |
| Fei Chen | Anforderungen-zu-Quelltextrückverfolgbarkeit mittels Wort- und Quelltexteinbettungen | Masterarbeit |
| Thomas Bartel | Multiwort-Bedeutungsauflösung für Anforderungen | Bachelorarbeit |
| Tobias Telge | Worteinbettungen für die Anforderungsdomäne | Bachelorarbeit |
| Felix Eurich | Entwurf und Aufbau einer semantischen Repräsentation von Quelltext | Masterarbeit |
| Bearbeiter | Titel | Typ |
|---|---|---|
| Martin Wittlinger | Erkennung von semantisch zusammenhängenden Quelltextabschnitten anhand von Komponententests | Bachelorarbeit |
| Dana Tomova | Bestimmung der semantischen Funktion von Sätzen in Anforderungsbeschreibungen | Bachelorarbeit |
| Maximilian Wessendorf | Aufbau und Konsolidierung einer Konzepthierarchie für Anforderungsbeschreibungen aus unterschiedlichen Wissensquellen | Bachelorarbeit |
| Bearbeiter | Titel | Typ |
|---|---|---|
| Sven Scheu | Aufbereitung von Spracherkennerausgaben | Masterarbeit |
| Christopher Kaag | Statische Extraktion von Laufzeit-Indikatoren | Masterarbeit |
| Bearbeiter | Titel | Typ |
|---|---|---|
| Chris Hiatt | Dynamisches Autotuning mehrerer nominaler Parameter | Masterarbeit |
| Yauhen Makhotsin | Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie | Bachelorarbeit |
| Thomas Mayer | Extraktion und Konsolidierung von Webformularen zur Erzeugung von aktiven Ontologien | Bachelorarbeit |
| Kay Schmitteckert | Semi-automatische Generierung von aktiven Ontologien aus Webformularen | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Martin Rombach | Ausführungsplanung von Tasks auf GPUs | Masterarbeit |
| Kaspar Wulf | Benchmarksuite für APHES | Bachelorarbeit |
| Christopher Guckes | Autotuning und Heterogenisierung der parallelen GNU C++ Standardbibliothek | Masterarbeit |
| Sigmar Walter | Intelligente Algorithmenwahl durch Optimierung nomineller Parameter | Bachelorarbeit |
| Wasim Said | Abbildung von Webformularen auf aktive Ontologien | Masterarbeit |
| Tizian Hoffmann | Disambiguierung gesprochener Sprache | Bachelorarbeit |
| Viktor Kiesel | Optimieren von POS-Tagger-Ergebnissen | Studienarbeit, Bachelorarbeit |
| Vanessa Steurer | Strukturerkennung von Bedingungen in gesprochener Sprache | Bachelorarbeit |
| Alexander Baier | Automatic Loop Partitioning for Heterogeneous Systems | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Philipp Lingel | Clustering von Internetdiensten für aktive Ontologien | Masterarbeit |
| Artem Titarenko | Programmieren in natürlicher Sprache - Erzeugen von Alice-Code | Bachelorarbeit |
| Zyenep Günes | Aufbau eines Sprachkorpus zur Programmierung autonomer Roboter mittels natürlicher Sprache | Bachelorarbeit |
| Michael Jakob | Aufruf externer Dienste mit Hilfe von aktiven Ontologien | Bachelorarbeit |
| Michael Schneider | Entwurf einer Handlungsrepräsentation für gesprochene Sprachen | Bachelorarbeit |
| Dinesh Paskaran | Evaluation unterschiedlicher Spracherkennungssysteme in der Domäne Humanoide Robotik | Bachelorarbeit |
| Jan Keim | Identifikation problematischer Substantivierungen in natürlichsprachigen Anforderungsdokumenten | Bachelorarbeit |
| Markus Kocybik | Projektion von gesprochener Sprache auf eine Handlungsrepräsentation | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Michael Mirold (Universität des Saarlandes) | An Experimentation Laboratory for the Automatic Parallelization of Programs written in the R Language (ALCHEMY) | Masterarbeit |
| Andreas Johannes Wilhelm (Universität Passau) | Analyse des Parallelisierungspotentials sequenzieller Programme durch Kombination von statischer und dynamischer Analyse | Bachelorarbeit |
| Oliver Nalbach (Universität des Saarlandes) | Parallelisierung von Reinforcement Learning zur optimalen Steuerung von Softwareprojekten | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Mathias Landhäußer | Automatische Auszeichnung von semantischer Information in textuellen Spezifikationen | Diplomarbeit |
| Florian Salah El Din | Bewertung und Optimierung von Anforderungsprozessen und Neueinführung eines Anforderungsverwaltungssystems | Studienarbeit |
| Emin Bugra Derre | Rückkopplung von Softwaremodelländerungen in textuelle Spezifikationen | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Torben Brumm | Rechnergestützte Verbesserung von textbasierten Softwarespezikationen mit Hilfe von Ontologien | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| David Meder | OpenProposal: Bewerten und Diskutieren von Benutzer-Anforderungen in Softwareprojekten | Diplomarbeit |
| Korbinian Molitorisz | Rollenmodelle für die Zugriffskontrolle in Unternehmen | Diplomarbeit |
| Mathias Landhäußer | Automatische Erzeugung von Prüflisten zur spezifikationsbezogenen Beurteilung der Vollständigkeit von UML-Modellen | Studienarbeit |
| Torben Brumm | Erstellung eines Systems thematischer Rollen mit Hilfe einer multiplen Fallstudie | Studienarbeit |
| Emin Bugra Derre | Graphenersetzungssysteme als Werkzeuge für UML Modelltransformationen | Studienarbeit |
| Jochen Schimmel | Parallelisierung von Graphenersetzungs-Systemen | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Wolfgang Schnerring | Testen von verteilten Systemen in heterogenen Netzwerken mit virtuellen Maschinen am Beispiel von MPI | Diplomarbeit |
| Oliver Denninger | Erweiterung des Kantenkonzepts dekorativer Graphensetzungssysteme von Einfachkanten über Hyperkanten zu "Superkanten" | Diplomarbeit |
| Frank Otto | Analyse von Java-Programmen auf Synchronisierungsfehler | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Christoph A. Schaefer | Entwurf und Bewertung einer Information-Retrieval-Erweiterung für Problem-Lösungs-Datenbanken | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Ali Jannesari | Analysis of Agile Software Development Methods for Embedded Systems | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Florian Hecht | Eine Formularerweiterung für XSL-FO | Studienarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Tom Gelhausen | X2S - XPath query processing for relational databases | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Tom Gelhausen | Topic Maps und ihre Anwendbarkeit im webbasierten Lern- und Autorensystem Companion | Studienarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Jürgen Reuter | Bewertung zweier Ansätze zur verteilten Revisionskontrolle über das Internet | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Jürgen Reuter | Verteilte Revisionskontrolle über das World Wide Web | Studienarbeit |
Abgeschlossene Dissertationen
2022
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache. Dissertation
Weigelt, S.
2022. KIT Scientific Publishing. doi:10.5445/KSP/1000138530
Weigelt, S.
2022. KIT Scientific Publishing. doi:10.5445/KSP/1000138530
2021
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache. Dissertation
Weigelt, S.
2021, Juli 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000135414
Weigelt, S.
2021, Juli 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000135414
2020
Autotuning for Automatic Parallelization on Heterogeneous Systems. Dissertation
Pfaffe, P.
2020, Mai 25. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000119646
Pfaffe, P.
2020, Mai 25. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000119646
2017
Predicting Errors in Concurrent Systems. Dissertation
Carril Rodríguez, L. M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070459
Carril Rodríguez, L. M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070459
2016
Musterbasierte Parallelisierung sequenzieller Anwendungen$dKonzept und Implementierung eines Verfahrens zur Softwaretransformation. Dissertation
Molitorisz, K.
2016. Vieweg Verlag
Molitorisz, K.
2016. Vieweg Verlag
Eine Architektur für Programmsynthese aus natürlicher Sprache. Dissertation
Landhäußer, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056776
Landhäußer, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056776
Eine Architektur für Programmsynthese aus natürlicher Sprache. Dissertation
Landhäußer, M.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000055916
Landhäußer, M.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000055916
2014
RECAA - Werkzeugunterstützung in der Anforderungserhebung. Dissertation
Körner, S. J.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000039460
Körner, S. J.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000039460
RECAA - Werkzeugunterstützung in der Anforderungserhebung. Dissertation
Körner, S. J.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000039087
Körner, S. J.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000039087
2013
Objektorientierte Stromprogrammierung. Dissertation
Otto, F.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000035818
Otto, F.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000035818
2011
Empirische Untersuchung der agilen Softwareentwicklung. Dissertation
Höfer, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029875
Höfer, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029875
2010
Automatische Performanzoptimierung paralleler Architekturen. Dissertation
Schaefer, C. A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022219
Schaefer, C. A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022219
Dynamic Race Detection in Parallel Programs. Dissertation
Jannesari Ladani, A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021292
Jannesari Ladani, A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021292
Modellextraktion aus natürlichen Sprachen : eine Methode zur systematischen Erstellung von Domänenmodellen. Dissertation
Gelhausen, T.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000019366
Gelhausen, T.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000019366
2009
Zhi# - Programming Language Inherent Support for Ontologies. Dissertation
Paar, A.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000019039
Paar, A.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000019039
2008
Methodik zur durchgängigen Entwicklung verteilter Systeme mit Echtzeitbedingungen für Rundrufnetze. Dissertation
Schanne, M.
2008. Universität Karlsruhe (TH). doi:10.5445/IR/1000009735
Schanne, M.
2008. Universität Karlsruhe (TH). doi:10.5445/IR/1000009735
2007
Skalierbarkeit von Cluster-Dateisystemen durch Verteilung der Metadaten. Dissertation
Malpohl, G.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007761
Malpohl, G.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007761
2005
Plattformabhängige Umgebung für verteilt paralleles Rechnen mit Rechnerbündeln. Dissertation
Haumacher, B.
2005. Universität Karlsruhe (TH). doi:10.5445/IR/1000005019
Haumacher, B.
2005. Universität Karlsruhe (TH). doi:10.5445/IR/1000005019
Konfigurierbare Benutzerschnittstellen zur Vereinfachung formularbasierter Datenerfassung. Dissertation
Judt, A.
2005. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000003486
Judt, A.
2005. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000003486
2004
Single system image servers on top of clusters of PCs. Dissertation
Olaru, V.
2004. Universität Karlsruhe (TH). doi:10.5445/IR/1000003271
Olaru, V.
2004. Universität Karlsruhe (TH). doi:10.5445/IR/1000003271
Clusterfile: a parallel file system for clusters. Dissertation
Isaila, F. D.
2004. Universität Karlsruhe (TH). doi:10.5445/IR/1000001377
Isaila, F. D.
2004. Universität Karlsruhe (TH). doi:10.5445/IR/1000001377
2000
Latenzzeitverbergung in datenparallelen Sprachen = [Latency Hiding in Dataparallel Languages]. Dissertation
Müller, M. M.
2000. Universität Karlsruhe (TH). doi:10.5445/IR/1182000
Müller, M. M.
2000. Universität Karlsruhe (TH). doi:10.5445/IR/1182000
1999
Automatische Einstellung des Parallelitätsgrades von Programmen = [Automatic Tuning of the Degree of Parallelism of Programs]. Dissertation
Werner-Kytölä, O.
1999. Universität Karlsruhe (TH). doi:10.5445/IR/56099
Werner-Kytölä, O.
1999. Universität Karlsruhe (TH). doi:10.5445/IR/56099
Opto-elektronische Prozessor-Speicher Koppelung in Multiprozessoren = [Opto-Electronic Processor-Memory Interconnects in Multiprocessors] / Paul Lukowicz. Dissertation
Lukowicz, P.
1999. Universität Karlsruhe (TH). doi:10.5445/IR/41699
Lukowicz, P.
1999. Universität Karlsruhe (TH). doi:10.5445/IR/41699
1998
Effiziente parallele Ausführung irregulärer rekursiver Programme = [Parallelizing Recursive Programs]. Dissertation
Hänßgen, S. U.
1998. Universität Karlsruhe (TH). doi:10.5445/IR/59198
Hänßgen, S. U.
1998. Universität Karlsruhe (TH). doi:10.5445/IR/59198