Abgeschlossene Arbeiten

Experimentelle Bewertung der Auswirkungen von Entwurfsmustern. Dissertation.
Unger-Lamprecht, B.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 16.11.2000
Optimierung objektorientierter Programme. Übersetzungstechniken, Analysen und Transformationen. Dissertation.
Trapp, M.
2001. Berlin 2001. (Xpert.press.) Fak. f. Informatik, Diss. v. 22.12.1999
Konfliktvermeidende Speicherabbildung durch zyklische Graphfärbung. Dissertation.
Genius, D.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.1.2000
Gestaltungsrahmen zur Workflowunterstützung umfeldinduzierter Ausnahmesituationen in robusten Unternehmen. Dissertation.
Kuhn, E.
2001. Berlin 2001. (Dissertationen zu Datenbanken und Informationssystemen. 78.) Fak. f. Informatik, Diss. v. 28.5.2001
Vermeidung spezialisierungsbedingter Probleme in objektorientierten Systemen. Dissertation.
Neumann, R.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.11.2000
Vorhersage des Cache-Verhaltens für optimierende Übersetzer. Dissertation.
Hopp, H.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 9.2.2001
Technische Konzeption von Wandlern für den elektronischen Handel von Dokumenten. Dissertation.
Pulkowski, S.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 25.1.2001
Transactional agents. Towards a robust multi-agent system. Dissertation.
Nagi, K.
2001. Berlin 2001. (Lecture notes in computer science. 2249.) Fak. f. Informatik, Diss. v. 6.7.2001
Schlieáen mit unscharfen Begriffen [online]. Dissertation.
Spott, M.
2001. Fak. f. Informatik, Diss. v. 23.11.2000

2000

Scalable search in computer chess. Algorithmic enhancements and experiments at high search dephts. Dissertation.
Heinz, E. A.
2000. Braunschweig 2000. (Computational intelligence.) Fak. f. Informatik, Diss. v. 5.7.1999
Korrekte Transformationsphase - der Kern korrekter Übersetzer [online]. Dissertation.
Heberle, A.
2000. Fak. f. Informatik, Diss. v. 4.2.2000
Latenzzeitverbergung in datenparallelen Sprachen = [Latency Hiding in Dataparallel Languages]. Dissertation.
Müller, M. M.
2000. Karlsruhe

1999

Temporale Realzeitverifikation. Dissertation.
Loetzbeyer, A.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 11.2.1999
Natürliche Semantik für imperative und objektorientierte Programmiersprachen. Dissertation.
Glesner, S.
1999. Aachen 1999. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 1.2.1999
Effiziente Anfragebearbeitung im Wissensgewinnungsprozeß. Dissertation.
Schloesser, J. A.
1999. Aachen 1999. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 20.4.1999
Ein Verfahren zur semi-automatischen Generierung von Mediatorspezifikationen. Dissertation.
Koenig-Ries, B.
1999. Sankt Augustin 1999. (Dissertationen zu Datenbanken und Informationssystemen. 55.) Fak. f. Informatik, Diss. v. 12.2.1999
Optimierung von SIMD-Programmen auf verteilten Systemen. Dissertation.
Eisenbiegler, J.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 9.12.1998
Aspektorientierte Komponentensysteme zur Unterstützung weitreichender Geschäftsprozesse [online]. Dissertation.
Schmidt, R.
1999. Fak. f. Informatik, Diss. v. 16.12.1999
Automatische Einstellung des Parallelitätsgrades von Programmen = [Automatic Tuning of the Degree of Parallelism of Programs]. Dissertation.
Werner-Kytölä, O.
1999
Opto-elektronische Prozessor-Speicher Koppelung in Multiprozessoren = [Opto-Electronic Processor-Memory Interconnects in Multiprocessors] / Paul Lukowicz. Dissertation.
Lukowicz, P.
1999
Ereignisgetriebene CORBA-Dienste für heterogene, verteilte Informationssysteme [online]. Dissertation.
Koschel, A.
1999. Fak. f. Informatik, Diss. v. 1.7.1999

1998

Effiziente Kommunikation in Parallelrechnerarchitekturen. Dissertation.
Warschko, T.
1998. VDI-Verl., Düsseldorf
Visualisierung von Programmabläufen. Dissertation.
Frick, A.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 10, Nr.561.) Fak. f. Informatik, Diss. v. 30.1.1998
Das Netz als universelle Relation: Ein Modell für die integrierte Nutzung von Diensten im Netz. Dissertation.
Reck, C. B.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 10, Nr.528.) Fak. f. Informatik, Diss. v. 15.12.1997
Ein Informationsmodell für Ableitungsprozesse und ihre Ergebnisse im Wissensgewinnungsprozeß. Dissertation.
Breitner, C. A.
1998. Sankt Augustin 1998. (Dissertationen zu Datenbanken und Informationssystemen. 41.) Fak. f. Informatik, Diss. v. 19.12.1997
Effiziente parallele Ausführung irregulärer rekursiver Programme = [Parallelizing Recursive Programs]. Dissertation.
Hänßgen, S. U.
1998. Karlsruhe

1997

Übersetzungsmethoden für strukturprogrammierbare Rechner. Dissertation.
Weinhardt, M.
1997. Berlin 1997. Fak. f. Informatik, Diss. v. 1.7.1997
Optimierung paralleler Programme. Dissertation.
Loewe, W.
1997. Aachen 1997. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 29.5.1996
Überladung in Typsystemen. Dissertation.
Wehr, M.
1997. Fak. f. Informatik, Diss. v. 31.10.1997
Inkrementelle, domänenunabhängige Thesauruserstellung in dokumentbasierten Informationssystemen durch Kombination von Konstruktionsverfahren. Dissertation.
Viegener, J.
1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 28.) Fak. f. Informatik, Diss. v. 30.1.1997
Comparing reduction strategies in resource-conscious lambda calculi. Dissertation.
Maraist, J.
1997. Fak. f. Informatik, Diss. v. 24.10.1996
Dynamische Regelmengen zur Beschreibung von Entwurfsspielräumen. Dissertation.
Sturm, R.
1997. Düsseldorf 1997. (Fortschritt-Berichte VDI. Reihe 10, Nr.495.) Fak. f. Informatik, Diss. v. 19.12.1996
Typsichere Objektbankmigration. Dissertation.
Zachmann, A.
1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 26.) Fak. f. Informatik, Diss. v. 13.2.1997
Analyse und Transformation kontrollfluáparalleler Programme. Dissertation.
Vollmer, J.
1997. Fak. f. Informatik, Diss. v. 7.5.1996

1996

Konsistenzbasierte Handlungsplanung. Dissertation.
Mueller, H.
1996. Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 110.) Fak. f. Informatik, Diss. v. 18.7.1995
Generierung von Programmoptimierungen mit Graphersetzungssystemen. Dissertation.
Assmann, U.
1996. München 1996. (GMD-Bericht. 262.) Fak. f. Informatik, Diss. v. 17.7.1995
Unterstützung anwendungsspezifischer Zugriffsprofile in Objektbanksystemen. Dissertation.
Kilger, C.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 3.) Fak. f. Informatik, Diss. v. 20.7.1995
Emulation eines PRAM Shared Memory Modells mit Triton/1. Dissertation.
Herter, C. G.
1996. Düsseldorf 1996. (Fortschritt-Berichte VDI. Reihe 10, Nr.406.) Fak. f. Informatik, Diss. v. 28.6.1995
Effiziente Konsistenzprüfung in Datenbanksystemen. Dissertation.
Herzog, U.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 15.) Fak. f. Informatik, Diss. v. 9.5.1996
Dynamische Beziehungen als Modell der Kooperation in verteilten Objektsystemen. Dissertation.
Walter, H.-D.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 10.) Fak. f. Informatik, Diss. v. 8.2.1996
Akzeptanz von Netzdiensten und Netzanwendungen. Entwicklung eines Instruments zur permanenten Akzeptanzkontrolle. Dissertation.
Filipp, H.
1996. Fak. f. Informatik, Diss. v. 14.2.1996
Unscharfes Schließen. Dissertation.
Weisbrod, J.
1996. Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 117.) Fak. f. Informatik, Diss. v. 22.11.1995

1995

Konstruktive neuronale Lernverfahren auf Parallelrechnern. Dissertation.
Prechelt, L.
1995. Düsseldorf 1995. (Fortschritt-Berichte VDI. Reihe 10, Nr.367.) Fak. f. Informatik, Diss. v. 15.2.1995
Effiziente Verfahren zur Befehlsanordnung. Dissertation.
Mueller, T.
1995. Fak. f. Informatik, Diss. v. 13.6.1995
Ein objektbasiertes Rollenmodell für situationsbedingtes Verhalten. Dissertation.
Lang, S. M.
1995. Düsseldorf 1995. (Fortschritt-Berichte VDI. Reihe 20, Nr.177.) Fak. f. Informatik, Diss. v. 19.6.1995

1994

Validierung konzeptueller Schemata. Dissertation.
Neufeld, A.
1994. Sankt Augustin 1994. (DISKI. Dissertationen zur künstlichen Intelligenz. 56.) Fak. f. Informatik, Diss. v. 20.12.1993
Schemaübersetzung durch optimierende Kombination partiell anwendbarer elementarer Transformationsverfahren. Dissertation.
Runge, N.
1994. Aachen 1994. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 5.5.1993
Entwicklung ingenieurwissenschaftlicher Datenbankanwendungen. Ein objektorientiertes Datenmodell. Dissertation.
Wallrath, M.
1994. Berlin 1994. (FZI-Berichte Informatik.) Fak. f. Informatik, Diss. v. 18.12.1991
Koordinationsmechanismen für Teamarbeit - Modellbildung und Datenbank-Unterstützung. Dissertation.
Dürr, M.
1994. Düsseldorf 1994. (Fortschrittberichte VDI. Reihe 10, Nr. 296.) Fak. f. Informatik, Diss. v. 8.2.1994
Codeselektion mit regulär gesteuerter Termersetzung. Dissertation.
Emmelmann, H.
1994. München 1994. (GMD-Bericht. 241.) Fak. f. Informatik, Diss. v. 6.7.1994
Optimierungstechniken zur Übersetzung paralleler Programmiersprachen. Dissertation.
Philippsen, M.
1994. Düsseldorf 1994. (Fortschritt-Berichte VDI. Reihe 10, Nr.292.) Fak. f. Informatik, Diss. v. 23.11.1993

1993

The design of an extendible graph editor. Dissertation.
Paulisch, F. N.
1993. Berlin 1993. (Lecture notes in computer science. 704.) Fak. f. Informatik, Diss. v. 7.5.1991
Ein Konzept zur Unterstuetzung der Wartung von Expertensystemen. Dissertation.
Eckert, H.
1993. Fak. f. Informatik, Diss. v. 18.6.1993
Komplexe Objekte und Anfragen in der Programmierung. Dissertation.
Rehm, S.
1993. Wiesbaden 1993. (DUV: Informatik.) Fak. f. Informatik, Diss. v. 1.7.1992

1992

Wissensrepraesentation und -akquisition in einem natuerlichsprachlichen Software-Informationssystem. Dissertation.
Adams, R.
1992. Fak. f. Informatik, Diss. v. 29.10.1992
Spezifikation und Verifikation von Optimierungsalgorithmen fuer imperative Programme. Dissertation.
Kock, G.
1992. Muenchen 1992. (GMD-Bericht. 201.) Fak. f. Informatik, Diss. v. 4.12.1991
Steuerung der Anfragebearbeitung in parallelen Datenbanksystemen. Dissertation.
Kramer, R.
1992. Karlsruhe: FZI 1992. Fak. f. Informatik, Diss. v. 21.12.1992

1991

SQL-Anfragen. Optimierung fuer parallele Bearbeitung. Dissertation.
Bueltzingsloewen, G. von.
1991. Berlin 1991. (FZI-Berichte Informatik.) Fak. f. Informatik, Diss. v. 18.7.1990. [ueberarb. Fassung]
Ein tableaubasierter Theorembeweiser fuer die intuitionistische Logik. Dissertation.
Bittel, O.
1991. Muenchen 1991. (GMD-Bericht. Nr. 198.) Fak. f. Informatik, Diss. v. 3.7.1991
Graphikunterstuetzung fuer den Datenbankentwurf mit freidefinierten Modellierungskonzepten. Dissertation.
Radermacher, K.
1991. Fak. f. Informatik, Diss. v. 9.7.1991
A meta-calculus for formal system development. Dissertation.
Weber, M.
1991. Muenchen 1991. (GMD-Bericht. 195.) Fak. f. Informatik, Diss. v. 19.12.1990

1990

Automatische Komplexitaetsanalyse funktionaler Programme. Dissertation.
Zimmermann, W.
1990. Berlin 1990. (Informatik-Fachberichte. 261.) Fak. f. Informatik, Diss. v. 27.6.1990
Inkonsistenzen in deduktiven Datenbanken. Dissertation.
Moerkotte, G.
1990. Berlin 1990. (Informatik-Fachberichte. 248.) Fak. f. Informatik, Diss. v. 14.7.1989 u.d.T.: Diagnose und Reparatur von Konsistenzverletzungen in deduktiven Datenbanken

1989

Die Modellierung von CAD-Datenbankanwendungen mittels abstrakter Datentypen. Dissertation.
Lueke, B.
1989. Duesseldorf 1989. (Fortschritt-Berichte VDI. Reihe 20, Nr. 14.) Fak. f. Informatik, Diss. v. 20.5.1988
Database recovery in the design environment: requirements analysis and performance evaluation. Dissertation.
Iochpe, C.
1989. Fak. f. Informatik, Diss. v. 12.12.1989
Datenbankgestuetzte Repraesentation und Extraktion von Episodenbeschreibungen aus Bildfolgen. Dissertation.
Walter, I.
1989. Berlin 1989. (Informatik-Fachberichte. 213.) und Fak. f. Informatik, Diss. v. 10.2.1989

1986

File Replication in Distributed Systems. Dissertation.
Ruan, Z.
1986. UMI, Ann Arbor

Abgeschlossene Arbeiten

Studien- / Bachelor- und Diplom- / Masterarbeitet (2018)
Bearbeiter	Titel	Typ
Christopher Kaag	Statische Extraktion von Laufzeit-Indikatoren	Masterarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2017)
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

Studien- / Bachelor- und Diplom- / Masterarbeitet (2016)
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

Studien- / Bachelor- und Diplom- / Masterarbeitet (2015)
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

Studien- / Bachelor- und Diplom- / Masterarbeitet (2014)
Autor	Titel	Typ
Jochen Huck	Automatisierte Parallelisierung mit AutoFutures	Studienarbeit
Jonathan Kim Rudolf Best	Programmieren in natürlicher Sprache - Der Eingabeassistent "Input & Verify AliceNLP"	Diplomarbeit
Sebastian Weigelt	Programmieren in natürlicher Sprache - Erkennen von Entitäten in Texten	Diplomarbeit
Christian Baumgart	Programmieren in natürlicher Sprache - Semantische Entitätenerkennung	Studienarbeit
Michael Nagel	Auto-Tuning im Umfeld von Google Go	Diplomarbeit
Philipp Voigt	Datenverarbeitung in Tabellenkalkulationen durch das natürlichsprachliche Dialogsystem JustLingo	Bachelorarbeit
Steffen Börsig	Fallstudie zur Verbesserung halbautomatisierter Testerzeugung	Diplomarbeit
Tobias Michael Müller	Erstellung und Bewertung einer Bedienoberfläche zur musterbasierten Parallelisierung	Bachelorarbeit
Kamuran Dogan	Erzeugen von Eingabedaten für Test-Klone	Studienarbeit
Fabian Wiest	Interaktive Mustergenerierung als Funktionserweiterung des natürlichsprachlichen Dialogsystems JustLingo	Bachelorarbeit
Jochen Bieler	Vergleich von Parallelisierungsstrategien für eine echte Audio-Anwendung	Diplomarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2013)
Autor	Titel	Typ
Marc Aurel Kiefer (Universität des Saarlandes)	A Backend for the Translation of AIR Intermediate Code into Intel ArBB for the R Parallelization Platform ALCHEMY	Masterarbeit
Jochen Huck	Automatische Generierung paralleler Architektur-beschreibungen durch kombinierte statische und dynamische Analysen	Diplomarbeit
Simon Wagner	Automatische Parallelisierung sequenzieller Programme mittels Architekturbeschreibungen	Diplomarbeit
Johann Böhler	Identifikation von Test-Klonen	Bachelorarbeit
André Wengert	Implementierung des SURE-Verfahrens zur automatischen Parallelisierung verschachtelter Schleifen in R-Programmen	Bachelorarbeit
Sergej Poimzew	Musterbasierte Modelltransformation zur Erzeugung von parallelen Softwaremodellen	Diplomarbeit
Andrea Claudia Kohlmann	Programmieren in natürlicher Sprache - Alice-Kontrollstrukturen aus natürlicher Sprache	Bachelorarbeit
Sven Scheu	Semantische Identifikation von Test-Klonen	Bachelorarbeit
Alexander Bieles	Werkzeugunterstützte Ortung von Parallelisierungspotential	Diplomarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2012)
Autor	Titel	Typ
Sina Hampel	Programmieren in natürlicher Sprache - Aufbau des Alice-Korpus	Bachelorarbeit
Oleg Peters	Programmieren in natürlicher Sprache - Aufbau einer Alice-Ontologie (Teil 1: Ontologie-Entwurf)	Bachelorarbeit
Sebastian Weigelt	Programmieren in natürlicher Sprache - Aufbau einer Alice-Ontologie (Teil 2: Verbinden mit Wordnet)	Studienarbeit
Atanas Dimitrov	Automatische Korrektur von Wettlaufbedingungen	Diplomarbeit
Sebastian Stehle	Automatische Parallelisierung mittels einer Beschreibungssprache für parametrisierbare Muster	Studienarbeit
Adrian Genaid	Automatisierte Qualitätssicherung von User Stories und Assistenz bei der Entwicklung funktionaler Tests (Industrieprojekt)	Diplomarbeit
Christopher Jung	Empirische Untersuchung zum Einsatz des Future-Datentyps zur automatischen Parallelisierung	Studienarbeit
David Pfaff (Universität des Saarlandes)	Implementation of a Method for the Automatic Parallelization of Dynamic Programming in R Programs using Data-parallel Programming Patterns	Bachelorarbeit
Sergej Poimzew	Kontrollflußbasierte Leistungsschätzung zur Parallelisierung	Studienarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2011)
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

Studien- / Bachelor- und Diplom- / Masterarbeitet (2010)
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

Studien- / Bachelor- und Diplom- / Masterarbeitet (2009)
Autor	Titel	Typ
Torben Brumm	Rechnergestützte Verbesserung von textbasierten Softwarespezikationen mit Hilfe von Ontologien	Diplomarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2008)
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

Studien- / Bachelor- und Diplom- / Masterarbeitet (2007)
Autor	Titel	Typ
Frank Otto	Analyse von Java-Programmen auf Synchronisierungsfehler	Diplomarbeit
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

Studien- / Bachelor- und Diplom- / Masterarbeitet (2006)
Autor	Titel	Typ
Christoph A. Schaefer	Entwurf und Bewertung einer Information-Retrieval-Erweiterung für Problem-Lösungs-Datenbanken	Diplomarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2005)
Autor	Titel	Typ
Ali Jannesari	Analysis of Agile Software Development Methods for Embedded Systems	Diplomarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2004)
Autor	Titel	Typ
Florian Hecht	Eine Formularerweiterung für XSL-FO	Studienarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2002)
Autor	Titel	Typ
Tom Gelhausen	X2S - XPath query processing for relational databases	Diplomarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2001)
Autor	Titel	Typ
Tom Gelhausen	Topic Maps und ihre Anwendbarkeit im webbasierten Lern- und Autorensystem Companion	Studienarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (2000)
Autor	Titel	Typ
Jürgen Reuter	Bewertung zweier Ansätze zur verteilten Revisionskontrolle über das Internet	Diplomarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (1996)
Autor	Titel	Typ
Jürgen Reuter	Verteilte Revisionskontrolle über das World Wide Web	Studienarbeit

Studien- / Bachelor- und Diplom- / Masterarbeitet (Sonstige)
Autor	Titel	Typ
	Comparison of the Test-Driven Development Processes of Novice and Expert Programmer Pairs	Diplomarbeit
	XML-Databinding für Java	Diplomarbeit
	Entwicklung einer Aufgabe zur empirischen Untersuchung der testgetriebenen Entwicklung	Studienarbeit
	Ein generischer Diagrammeditor	Studienarbeit
	OMG CORBA im Clustercomputing	Studienarbeit
	Replikation statischer Konstanten in JavaParty	Studienarbeit
	Interaktive Auswahl mittels kopfgesteuerter Phrasenstrukturgrammatik erstellter Analysen von Sätzen deutscher Sprache	Studienarbeit
Alexander M. Turek	Automatische Analyse der Auswirkungen von Änderungen an natürlichsprachlichen Spezifikationen auf Softwaremodelle	Diplomarbeit
Ali Seker	Programmieren in natürlicher Sprache - Erzeugen von Alice-Skripten aus natürlicher Sprache	Diplomarbeit
Andreas Leppert	Ein heuristischer Optimierungsalgorithmus für Laufzeit-Tuning	Diplomarbeit
Artur Walecki	Erstellung einer Ontologie für Baustoffinformationen im Rahmen der Migration der Ecobis Desktopanwendung in eine Webanwendung	Studienarbeit
Björn Deiss	Black-Box-Analyse der Auswirkung von Tuningparametern auf Systemressourcen	Bachelorarbeit
Björn Keuter	FlexiMail - Ein System zur selbstoptimierenden Kategorisierung von E-Mails	Studienarbeit
Björn-Oliver Hartmann	Transparent replizierte Objekte in JavaParty	Studienarbeit
Christian Frommeyer	Parallelisieren von Kürzeste-Wege-Algorithmen für die Anwendung auf Straßengraphen	Diplomarbeit
Christian Hütter	Dynamische Lokalitätsoptimierung von verteilten Java-Anwendungen	Studienarbeit
Christoph Hennebold	Filterung zur Minimierung unkritischer Operationen und false positives in Programmabläufen	Bachelorarbeit
Christophe Schmaltz	Erkennung der Arten von Synchronisierungsprimitiven im universellen Wettlaufsdetektor Helgrind+	Diplomarbeit
Christopher Guckes	Fallstudie zur Laufzeitoptimierbarkeit anhand der Bibliothek "Therading Building Blocks"	Bachelorarbeit
Christopher Kaag	Online-Auto-Tuning von SAH kD-Bäumen	Bachelorarbeit
Claus Wonnemann	Parallelisierung eines Finite-Elemente-Lösers mit JavaParty	Studienarbeit
Fabian Frontzek	Entscheidungs- und Kontextanalyse mithilfe eines Langzeitgedächtnisses im natürlichsprachlichen Dialogsystem JustLingo	Bachelorarbeit
Fabian Kulla	Replizierte Felder in JavaParty	Studienarbeit
Fatih Ok	Finden von UML Modelländerungen für das Anforderungsmanagement	Studienarbeit
Filip Dimitrov	Automatische Testgenerierung für parallele Programme durch dynamische Analyse	Diplomarbeit
Jaron Schaeffer	LORA - Lightweight Object Remote Access	Studienarbeit
Johannes Michler	Erweiterung von Java für ein stromorientiertes Programmiermodell zur parallelen Programmierung	Diplomarbeit
Johannes Sailer	Automatische Generierung von parallelen Testfällen	Bachelorarbeit
Jonas Klamroth	Implementierung des natürlichsprachlichen Dialogsystems JustLingo basierend auf Active Ontologies	Bachelorarbeit
Jonas Thedering	Online-Auto-Tuning für stromorientierte Programmiersprachen	Diplomarbeit
Kai Hüner	SLOBS - Smart Source Code Lookup Ontology-Based Specification	Studienarbeit
Kai-bin Bao	Erkennung von bedingungssynchronisation bei parallelen Programmen mit POSIX-Threads	Studienarbeit
Leo Härdle	Programmieren in natürlicher Sprache - Adaptieren von Implementierungen	Diplomarbeit
Leon Graser	Prototypische Entwicklung eines sprachunabhängigen Parallelisierungsprozesses	Bachelorarbeit
Linus Läfsträm	Automatische Partitionierung partiell replizierter Objekte in JavaParty	Diplomarbeit
Lukas Böhm	Compile-time Code Parallelization For Self-Adapting Acceleration On Intel Xeon Phi	Bachelorarbeit
Markus Braun	Kernelfreies Auto-Tuning	Bachelorarbeit
Markus Westphal	Dynamische Wettlauferkennung für korrelierte Variable in parallelen Programmen	Diplomarbeit
Matthias Dempe	Automatisierte Optimierung von Aufgaben- und Fließbandparallelität	Diplomarbeit
Maxim Kremer	Kostenoptimale Checkpoint-Intervalle auf einem simulierten Exascale-Rechner während seiner Lebenszeit	Studienarbeit
Michael Franzen	Implizite Zellreferenzierung im natürlichsprachigen Dialogsystem JustLingo	Bachelorarbeit
Michael Gebhart	Erzeugung natürlicher Sprache aus TopicMap-ähnlichen Graphen	Studienarbeit
Mohamed Aymen Srasra	Automatische Generierung von CharakterisierungenTests	Bachelorarbeit
Murat Kavak	Dynamische Lastverteilung in einer heterogenen CPU-GPU Umgebung	Masterarbeit
Mustafa Yilmaz	Entwurf und Implementierung eines Benachrichtigungsdienstes für Änderungen in einer Wissensdatenbank	Studienarbeit
Pavel Nikolov	Programmieren in natürlicher Sprache - Auflösen von Referenzen in englischen Texten	Diplomarbeit, Masterarbeit
Philip Haußmann	Laufzeit-Tuning des A*-Algorithmus	Studienarbeit
Philipp Lingel	Automatisches Testen von objektorientierten Entwurfsmustern	Bachelorarbeit
Philipp Schmurr	Wettlauferkennung mittels Symbolischer Ausführung	Bachelorarbeit
Philipp Stevermann	Persistierung von Tuningdaten	Studienarbeit
Philipp Weimann	Onlineerkennung von programmspezifischer Ressourcenauslastungsänderung	Bachelorarbeit
Philipp Zwickel	Entwurf einer adaptiven Sprachkomponente und prototypische Umsetzung für das natürlichsprachliche Dialogsystem JustLingo	Bachelorarbeit
Reiner Schaudel	Eine Multi-Applikationserweiterung für JavaParty	Studienarbeit
Ronny Hug	Programmieren in natürlicher Sprache - Alice-Kontrollstrukturen aus natürlicher Sprache (Teil 2)	Bachelorarbeit
Sascha Schwedes	Betriebssystemintegration eines automatischen Performanzoptimierers für parallele Anwendungen	Diplomarbeit
Sebastian Bonn	Auto-Tuning von MySQL	Diplomarbeit
Stefan Kober	Programmieren in natürlicher Sprache - Erzeugen von Alice-Szenarien aus natürlicher Sprache	Diplomarbeit
Sven Meisinger	Modellbasierte Generierung von Nebenläufigkeitstests	Diplomarbeit
Thomas Karcher	Entwicklung einer Annotationssprache zur automatisierteren Konfiguration paralleler Anwendungen	Diplomarbeit
Tobias Hey	Programmieren in natürlicher Sprache - Zeitliches Sortieren	Bachelorarbeit
Tuan Kiet Bui	An Interpreter and a Type Inference Engine for Controlled Natural Language Descriptions of Ontological Concepts	Studienarbeit