Technical Reports, Doctoral Theses, Student Theses

• Technical Reports
• Postdoctoral Qualifications
• Dissertations
• Diploma Theses (archive)
  • Sorted by numbers
  • Sorted by names
• Master Theses
  • Sorted by numbers
  • Sorted by names
• Student Theses (archive)
  • Sorted by numbers
  • Sorted by names
• Student Reports Software Engineering
  • Sorted by numbers
  • Sorted by names
• Bachelor Theses
  • Sorted by numbers
  • Sorted by names

• No. 01:  Lohrey, Markus: Model-Checking Hierarchical Structures, Technical Report No. 2005/01.
• No. 02:  Lohrey, Markus; Ondrusch, Nicole: Inverse monoids: decidability and complexity of algebraic questions, Technical Report No. 2005/02.
• No. 04:  Göller, Stefan; Lohrey, Markus: Fixpoint logics on hierarchical structures, Technical Report No. 2005/04.
• No. 05:  Stegmaier, Simon; Klein, Thomas; Strengert, Magnus; Ertl, Thomas: The Design and Implementation of a Presentation System for Interactive 3D Graphics Applications, Technical Report No. 2005/05.
• No. 06:  Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan: Reachability analysis of multithreaded software with asynchronous communication, Technical Report No. 2005/06.
• No. 07:  Lohrey, Markus; Kuske, Dietrich: First-order and counting theories of omega-automatic structures, Technical Report No. 2005/07.
• No. 08:  Rantzau, Ralf; Mangold, Christoph: Laws for Rewriting Queries Containing Division Operators, Technical Report No. 2005/08.
• No. 09:  Scheibler, Thorsten; Leymann, Frank: Realizing Enterprise Integration Patterns in WebSphere, Technical Report No. 2005/09.

• Haala, Norbert: Multi-Sensor-Photogrammetrie - Vision oder Wirklichkeit?, Postdoctoral Qualification, 2005.
• Schanz, M.: The AnT project: On the simulation and analysis of dynamical systems, Postdoctoral Qualification, 2005.

• Wich, Klaus: Ambiguity functions of context-free grammars and languages, Doctoral Thesis, 2005.

• No. 0003:  Heilemann, Stefan: Entwicklung eines Bewertungsschemas für die Dokumentation in der Software-Wartung, Diploma Thesis No. 3, 2005.
• No. 0004:  Heinemann, Lars: Unit testing in a large scale development environment, Diploma Thesis No. 4, 2005.
• No. 0005:  Schulz, Gerrit: Skalierbare Verfahren zur Selbstorganisation von Sensornetzen mit Echtzeiteinschränkungen, Diploma Thesis No. 5, 2005.
• No. 0006:  Werner, C.: Improvement of the driving using a feedback based on the action of a virtual driver, Diploma Thesis No. 6, 2005.
• No. 0007:  Ott, Marcus: Modellierung kooperativen Verhaltens für eine Gruppe autonomer mobiler Roboter im RoboCup, Diploma Thesis No. 7, 2005.
• No. 0008:  Nonner, Tim: Teilwortprobleme auf komprimierten Wörtern, Diploma Thesis No. 8, 2005.
• No. 0009:  Wagner, Sebastian Friedrich: Entwurf und prototypische Implementierung einer eingebetteten Diagnosekomponente für verteilte Telematiksysteme, Diploma Thesis No. 9, 2005.
• No. 0010:  Schütz, Tibor: Integration eines 3D-CAD-Kerns in Virtual Reality Systeme, Diploma Thesis No. 10, 2005.
• No. 0011:  Breitling, Sonja: Entwicklung eines Trendmonitoring-Softwaremoduls für Innovationsprozesse, Diploma Thesis No. 11, 2005.
• No. 0012:  Leonhardi, Benjamin: Interaktive 3D Darstellung mit einem autostereoskopischen Display, Diploma Thesis No. 12, 2005.
• No. 0013:  Buchholz, Jochen: Design, Implementierung und Evaluation von Recovery-Mechanismen für die Schlüsselaustausch-Algorithmen in G-SPAN, Diploma Thesis No. 13, 2005.
• No. 0014:  Brügmann, Sören: Entwicklung und Implementierung eines Systems zur textuellen Vereinfachung von Patentdokumenten, Diploma Thesis No. 14, 2005.
• No. 0015:  Werner, Ralph: Entwicklung und Implementierung eines UML-Compilers zur Produktmodellgenerierung, Diploma Thesis No. 15, 2005.
• No. 0016:  Schrodt, Martin: Wavelet-basierte Kompression von Strömungsdaten, Diploma Thesis No. 16, 2005.
• No. 0017:  Wu, Yun: Entwicklung eines Algorithmus zur Auswahl relevanter Objekte zur Kollisionswarnung für die Spurprädiktion, Diploma Thesis No. 17, 2005.
• No. 0018:  Xu, Xiaocong: Analyse der Crossover-Operatoren mit mehreren Eltern in genetischen Algorithmen, Diploma Thesis No. 18, 2005.
• No. 0019:  Mabou, Francis: Entwicklung eines interaktiven Informationssystems im Verkehrswesen auf einer embedded Plattform und deren Hyperdokumentation in SCOOL, Diploma Thesis No. 19, 2005.
• No. 2160:  Christl, Andreas: Semi-Automated Mapping for the Reflexion Method, Diploma Thesis No. 2160, 2005.
• No. 2212:  Müller, Markus: Kontrollflussanalyse objektorientierter Programme, Diploma Thesis No. 2212, 2005.
• No. 2236:  Sauter, Robert: Entwicklung eines Systems zur dynamischen Installation von Komponenten in Sensornetzen, Diploma Thesis No. 2236, 2005.
• No. 2238:  Zhang, Yijie: Dienstmodellierung in Nexus, Diploma Thesis No. 2238, 2005.
• No. 2239:  Buck, Alexander: Effiziente Randbehandlung unregelmäßiger Geometrien bei Simulation von Strömungen mit symmetrieerhaltender Diskretisierung, Diploma Thesis No. 2239, 2005.
• No. 2242:  Turan, Sinan: Entwicklung eines Eclipse Plug-Ins für die SESAM-Modellhochsprache, Diploma Thesis No. 2242, 2005.
• No. 2246:  Sheng, Wanli: Integration von daten- und dienst-orientierten Interaktionsformen in spontan vernetzten Rechnersystemen, Diploma Thesis No. 2246, 2005.
• No. 2256:  Knoll, Mirko: Entwurf und Evaluation einer knotendisjunkten Pfadsuche in s-verbundenen Graphen, Diploma Thesis No. 2256, 2005.
• No. 2257:  Schönleber, Tim: Entwicklung eines webbasierten Systems zur Erfassung und Bearbeitung von Modification Requests, Diploma Thesis No. 2257, 2005.
• No. 2258:  Lösch, Felix: Instrumentation of Java Program Code for Control Flow Analysis, Diploma Thesis No. 2258, 2005.
• No. 2260:  Buchholz, Martin: Identifikation des Beladungszustandes einer Zugmaschine mit Auflieger auf Basis der Wankbewegung, Diploma Thesis No. 2260, 2005.
• No. 2262:  Merkel, Marcel: Lokalisierung und Navigation eines autonomen Roboters in Fluren unter Verwendung eines omnidirektionalen Kamerasystems, Diploma Thesis No. 2262, 2005.
• No. 2264:  Pflüger, Dirk: Data Mining mit Dünnen Gittern, Diploma Thesis No. 2264, 2005.
• No. 2267:  Hoh, Jörg: Definition und Überwachung von Qualitätskriterien für realitätsnahe und skalierbare Netzwerkemulation, Diploma Thesis No. 2267, 2005.
• No. 2268:  Radeschütz, Sylvia: Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken, Diploma Thesis No. 2268, 2005.
• No. 2272:  Schmider, Patrick: Erkennen verbotswidrigen Linksabbiegens in Bildsequenzen, Diploma Thesis No. 2272, 2005.
• No. 2274:  Gauger, Matthias: Dynamischer Austausch von Komponenten in TinyOS, Diploma Thesis No. 2274, 2005.
• No. 2277:  Müller, Thorsten: Statistikpropagation und Kostenschätzung für Anfragesequenzen, Diploma Thesis No. 2277, 2005.
• No. 2282:  Hoffmann, Sarah: Costing of Database Activities, Diploma Thesis No. 2282, 2005.
• No. 2284:  Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diploma Thesis No. 2284, 2005.
• No. 2288:  Kozas, Anastasios: OLAP-Analyse von Propagationsprozessen, Diploma Thesis No. 2288, 2005.
• No. 2291:  Störzbach, Andreas: Entwicklung und Evaluation eines Algorithmus zur Anpassung von Anwendungen in PCOM, Diploma Thesis No. 2291, 2005.
• No. 2295:  Peng, Haiyi: Synthetischer Nachrichtengenerator für SIES, Diploma Thesis No. 2295, 2005.
• No. 2296:  Fink, Miriam: Metrikeinsatz in Software-Projekten, Diploma Thesis No. 2296, 2005.
• No. 2300:  Neun, Daniel: Codemetriken zur Bewertung und Prognose der Fehlerhäufigkeit, Diploma Thesis No. 2300, 2005.
• No. 2301:  Sprandel, Sven: Entwicklung eines Quelladapters für relationale Datenbanken, Diploma Thesis No. 2301, 2005.
• No. 2304:  Wieland, Matthias: Entwicklung eines Frameworks für Nexus-Anwendungen, Diploma Thesis No. 2304, 2005.
• No. 2305:  Unger, Tobias: Aggregation von QoS und SLAs in BPEL Geschäftsprozessen, Diploma Thesis No. 2305, 2005.
• No. 2307:  Schwab, Magnus: Ein Planungssystem für örtlich verteilte Ausbildungskurse, Diploma Thesis No. 2307, 2005.
• No. 2308:  Marks, Michael: Modellierung und Automatisierung von Web Service Resourcen am Beispiel von BPEL Prozessen, Diploma Thesis No. 2308, 2005.
• No. 2311:  Grieb, Melanie: Synthetische Biologie - Automatische Familienklassifikation von Proteinen, Diploma Thesis No. 2311, 2005.
• No. 2314:  Vu, Tien Minh: Entwicklung eines Zieladapters für relationale Datenbanken, Diploma Thesis No. 2314, 2005.
• No. 2316:  Lange, Ralph: Energieschonung im Lokationsmanagement, Diploma Thesis No. 2316, 2005.
• No. 2319:  Schwegmann, Christian: Entwicklung eines Rahmenwerks zur Modellierung von Qualitätsmerkmalen für Konfigurationen in PCOM, Diploma Thesis No. 2319, 2005.
• No. 2323:  Keul, Steffen: Generierung der Zwischendarstellung IML für Ada95 Programme, Diploma Thesis No. 2323, 2005.
• No. 2324:  Kern, Achim: Layoutalgorithmen für hierarchische Graphen, Diploma Thesis No. 2324, 2005.
• No. 2328:  Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diploma Thesis No. 2328, 2005.
• No. 2330:  Staiger, Stefan: Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen, Diploma Thesis No. 2330, 2005.
• No. 2331:  Cipriani, Nazario: Cursor-Konzepte für das Nexus-Umgebungsmodell, Diploma Thesis No. 2331, 2005.
• No. 2336:  Grottel, Sebastian: Visualisierung von Clustering­fluktuationen über Zeit, Diploma Thesis No. 2336, 2005.
• No. 2337:  Lechler, Renate: Entwicklung eines energieeffizienten Dienstauffindungsverfahrens für mobile ad-hoc Netzwerke, Diploma Thesis No. 2337, 2005.
• No. 2341:  Kopp, Oliver: Abbildung von EPKs nach BPEL anhand des Prozessmodellierungswerkzeugs Nautilus, Diploma Thesis No. 2341, 2005.
• No. 2345:  Ambühler, Thomas: UML 2.0 Profile for WS-BPEL with Mapping to WS-BPEL, Diploma Thesis No. 2345, 2005.
• No. 2352:  Limam, Mourad: Conception and Implementation of an Agreement Protocol for Fault-Tolerant Automotive Embedded Systems, Diploma Thesis No. 2352, 2005.
• No. 2359:  Pfahl, Timo: Entwicklung von Verfahren zur Cluster-Bildung in einem Informationsgraphen für die Vorabübertragung von Webseiten., Diploma Thesis No. 2359, 2005.
• No. 2362:  Holzhausen, Henrik: Compilation of SQL Stored Procedures, Diploma Thesis No. 2362, 2005.
• No. 2366:  Wallwitz, Fabian: Entwurf von geographischen Multicast-Protokollen, Diploma Thesis No. 2366, 2005.
• No. 2368:  Heidenreich, Sebastian: Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV, Diploma Thesis No. 2368, 2005.
• No. 2373:  Schüle, Michael: Anwendung gekoppelter Selektionsgleichungen zur Aufgabenverteilung an autonome mobile Roboter in dynamischen Umgebungen Beispiel RoboCup, Diploma Thesis No. 2373, 2005.
• No. 2430:  Kreiser, Matthias: Konzeption und Realisierung eines Softwaretools zur Formoptimierung von FEM-Volumenstrukturen, Diploma Thesis No. 2430, 2005.
• External:  Benner, Anne: Mikroskopische Verkehrsflusssimulation in großen Netzen unter besonderer Berücksichtigung der Skalierbarkeit, External Diploma Thesis, 2005.

• Ambühler, Thomas: UML 2.0 Profile for WS-BPEL with Mapping to WS-BPEL, Diploma Thesis No. 2345, 2005.
• Benner, Anne: Mikroskopische Verkehrsflusssimulation in großen Netzen unter besonderer Berücksichtigung der Skalierbarkeit, External Diploma Thesis, 2005.
• Breitling, Sonja: Entwicklung eines Trendmonitoring-Softwaremoduls für Innovationsprozesse, Diploma Thesis No. 11, 2005.
• Brügmann, Sören: Entwicklung und Implementierung eines Systems zur textuellen Vereinfachung von Patentdokumenten, Diploma Thesis No. 14, 2005.
• Buchholz, Jochen: Design, Implementierung und Evaluation von Recovery-Mechanismen für die Schlüsselaustausch-Algorithmen in G-SPAN, Diploma Thesis No. 13, 2005.
• Buchholz, Martin: Identifikation des Beladungszustandes einer Zugmaschine mit Auflieger auf Basis der Wankbewegung, Diploma Thesis No. 2260, 2005.
• Buck, Alexander: Effiziente Randbehandlung unregelmäßiger Geometrien bei Simulation von Strömungen mit symmetrieerhaltender Diskretisierung, Diploma Thesis No. 2239, 2005.
• Christl, Andreas: Semi-Automated Mapping for the Reflexion Method, Diploma Thesis No. 2160, 2005.
• Cipriani, Nazario: Cursor-Konzepte für das Nexus-Umgebungsmodell, Diploma Thesis No. 2331, 2005.
• Fink, Miriam: Metrikeinsatz in Software-Projekten, Diploma Thesis No. 2296, 2005.
• Gauger, Matthias: Dynamischer Austausch von Komponenten in TinyOS, Diploma Thesis No. 2274, 2005.
• Grieb, Melanie: Synthetische Biologie - Automatische Familienklassifikation von Proteinen, Diploma Thesis No. 2311, 2005.
• Grottel, Sebastian: Visualisierung von Clustering­fluktuationen über Zeit, Diploma Thesis No. 2336, 2005.
• Heidenreich, Sebastian: Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV, Diploma Thesis No. 2368, 2005.
• Heilemann, Stefan: Entwicklung eines Bewertungsschemas für die Dokumentation in der Software-Wartung, Diploma Thesis No. 3, 2005.
• Heinemann, Lars: Unit testing in a large scale development environment, Diploma Thesis No. 4, 2005.
• Hoffmann, Sarah: Costing of Database Activities, Diploma Thesis No. 2282, 2005.
• Hoh, Jörg: Definition und Überwachung von Qualitätskriterien für realitätsnahe und skalierbare Netzwerkemulation, Diploma Thesis No. 2267, 2005.
• Holzhausen, Henrik: Compilation of SQL Stored Procedures, Diploma Thesis No. 2362, 2005.
• Kern, Achim: Layoutalgorithmen für hierarchische Graphen, Diploma Thesis No. 2324, 2005.
• Keul, Steffen: Generierung der Zwischendarstellung IML für Ada95 Programme, Diploma Thesis No. 2323, 2005.
• Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diploma Thesis No. 2284, 2005.
• Knoll, Mirko: Entwurf und Evaluation einer knotendisjunkten Pfadsuche in s-verbundenen Graphen, Diploma Thesis No. 2256, 2005.
• Kopp, Oliver: Abbildung von EPKs nach BPEL anhand des Prozessmodellierungswerkzeugs Nautilus, Diploma Thesis No. 2341, 2005.
• Kozas, Anastasios: OLAP-Analyse von Propagationsprozessen, Diploma Thesis No. 2288, 2005.
• Kreiser, Matthias: Konzeption und Realisierung eines Softwaretools zur Formoptimierung von FEM-Volumenstrukturen, Diploma Thesis No. 2430, 2005.
• Lange, Ralph: Energieschonung im Lokationsmanagement, Diploma Thesis No. 2316, 2005.
• Lechler, Renate: Entwicklung eines energieeffizienten Dienstauffindungsverfahrens für mobile ad-hoc Netzwerke, Diploma Thesis No. 2337, 2005.
• Leonhardi, Benjamin: Interaktive 3D Darstellung mit einem autostereoskopischen Display, Diploma Thesis No. 12, 2005.
• Limam, Mourad: Conception and Implementation of an Agreement Protocol for Fault-Tolerant Automotive Embedded Systems, Diploma Thesis No. 2352, 2005.
• Lösch, Felix: Instrumentation of Java Program Code for Control Flow Analysis, Diploma Thesis No. 2258, 2005.
• Mabou, Francis: Entwicklung eines interaktiven Informationssystems im Verkehrswesen auf einer embedded Plattform und deren Hyperdokumentation in SCOOL, Diploma Thesis No. 19, 2005.
• Marks, Michael: Modellierung und Automatisierung von Web Service Resourcen am Beispiel von BPEL Prozessen, Diploma Thesis No. 2308, 2005.
• Merkel, Marcel: Lokalisierung und Navigation eines autonomen Roboters in Fluren unter Verwendung eines omnidirektionalen Kamerasystems, Diploma Thesis No. 2262, 2005.
• Müller, Markus: Kontrollflussanalyse objektorientierter Programme, Diploma Thesis No. 2212, 2005.
• Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diploma Thesis No. 2328, 2005.
• Müller, Thorsten: Statistikpropagation und Kostenschätzung für Anfragesequenzen, Diploma Thesis No. 2277, 2005.
• Neun, Daniel: Codemetriken zur Bewertung und Prognose der Fehlerhäufigkeit, Diploma Thesis No. 2300, 2005.
• Nonner, Tim: Teilwortprobleme auf komprimierten Wörtern, Diploma Thesis No. 8, 2005.
• Ott, Marcus: Modellierung kooperativen Verhaltens für eine Gruppe autonomer mobiler Roboter im RoboCup, Diploma Thesis No. 7, 2005.
• Peng, Haiyi: Synthetischer Nachrichtengenerator für SIES, Diploma Thesis No. 2295, 2005.
• Pfahl, Timo: Entwicklung von Verfahren zur Cluster-Bildung in einem Informationsgraphen für die Vorabübertragung von Webseiten., Diploma Thesis No. 2359, 2005.
• Pflüger, Dirk: Data Mining mit Dünnen Gittern, Diploma Thesis No. 2264, 2005.
• Radeschütz, Sylvia: Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken, Diploma Thesis No. 2268, 2005.
• Sauter, Robert: Entwicklung eines Systems zur dynamischen Installation von Komponenten in Sensornetzen, Diploma Thesis No. 2236, 2005.
• Schmider, Patrick: Erkennen verbotswidrigen Linksabbiegens in Bildsequenzen, Diploma Thesis No. 2272, 2005.
• Schönleber, Tim: Entwicklung eines webbasierten Systems zur Erfassung und Bearbeitung von Modification Requests, Diploma Thesis No. 2257, 2005.
• Schrodt, Martin: Wavelet-basierte Kompression von Strömungsdaten, Diploma Thesis No. 16, 2005.
• Schüle, Michael: Anwendung gekoppelter Selektionsgleichungen zur Aufgabenverteilung an autonome mobile Roboter in dynamischen Umgebungen Beispiel RoboCup, Diploma Thesis No. 2373, 2005.
• Schütz, Tibor: Integration eines 3D-CAD-Kerns in Virtual Reality Systeme, Diploma Thesis No. 10, 2005.
• Schulz, Gerrit: Skalierbare Verfahren zur Selbstorganisation von Sensornetzen mit Echtzeiteinschränkungen, Diploma Thesis No. 5, 2005.
• Schwab, Magnus: Ein Planungssystem für örtlich verteilte Ausbildungskurse, Diploma Thesis No. 2307, 2005.
• Schwegmann, Christian: Entwicklung eines Rahmenwerks zur Modellierung von Qualitätsmerkmalen für Konfigurationen in PCOM, Diploma Thesis No. 2319, 2005.
• Sheng, Wanli: Integration von daten- und dienst-orientierten Interaktionsformen in spontan vernetzten Rechnersystemen, Diploma Thesis No. 2246, 2005.
• Sprandel, Sven: Entwicklung eines Quelladapters für relationale Datenbanken, Diploma Thesis No. 2301, 2005.
• Staiger, Stefan: Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen, Diploma Thesis No. 2330, 2005.
• Störzbach, Andreas: Entwicklung und Evaluation eines Algorithmus zur Anpassung von Anwendungen in PCOM, Diploma Thesis No. 2291, 2005.
• Turan, Sinan: Entwicklung eines Eclipse Plug-Ins für die SESAM-Modellhochsprache, Diploma Thesis No. 2242, 2005.
• Unger, Tobias: Aggregation von QoS und SLAs in BPEL Geschäftsprozessen, Diploma Thesis No. 2305, 2005.
• Vu, Tien Minh: Entwicklung eines Zieladapters für relationale Datenbanken, Diploma Thesis No. 2314, 2005.
• Wagner, Sebastian Friedrich: Entwurf und prototypische Implementierung einer eingebetteten Diagnosekomponente für verteilte Telematiksysteme, Diploma Thesis No. 9, 2005.
• Wallwitz, Fabian: Entwurf von geographischen Multicast-Protokollen, Diploma Thesis No. 2366, 2005.
• Werner, C.: Improvement of the driving using a feedback based on the action of a virtual driver, Diploma Thesis No. 6, 2005.
• Werner, Ralph: Entwicklung und Implementierung eines UML-Compilers zur Produktmodellgenerierung, Diploma Thesis No. 15, 2005.
• Wieland, Matthias: Entwicklung eines Frameworks für Nexus-Anwendungen, Diploma Thesis No. 2304, 2005.
• Wu, Yun: Entwicklung eines Algorithmus zur Auswahl relevanter Objekte zur Kollisionswarnung für die Spurprädiktion, Diploma Thesis No. 17, 2005.
• Xu, Xiaocong: Analyse der Crossover-Operatoren mit mehreren Eltern in genetischen Algorithmen, Diploma Thesis No. 18, 2005.
• Zhang, Yijie: Dienstmodellierung in Nexus, Diploma Thesis No. 2238, 2005.

• No. 0001:  Fuentes Caselles, Juan: Exploration of embodiment in real microrobotic swarm, Master Thesis No. 1, 2005.
• No. 0002:  Gunasekaran, Rajalingam: Simulation of Typical Corporate Networl Systems, Master Thesis No. 2, 2005.
• No. 0003:  Gattu, Suresh Kumar: Analysis, Design and Implementation of the Bus Functional Model for faster verification of Systems-on-Chip products, Master Thesis No. 3, 2005.
• No. 0004:  Warraich, Omer Amin: Mechanism of cooperation and functional self-organization in a swarm of micro-robots, Master Thesis No. 4, 2005.
• No. 0005:  Perez, David E. Gil: Analysis of tempo estimation algorithms and implementation of a perceived tempo estimator, Master Thesis No. 5, 2005.
• No. 0006:  Guo, Xiao Lei: Development of a Generic Gateway for an Event controlled Communication based on a reconfigurable FPGA Architecture with a Soft-core Microcontroller, Master Thesis No. 6, 2005.
• No. 0007:  Pichika, Naga Trinadh Kiran: Zentrales Konfigurations-Management in geclusterten Systemen, Master Thesis No. 7, 2005.
• No. 0008:  Fernandez Pradier, Mauricio Julio: Collective classification in a swarm of microrobots, Master Thesis No. 8, 2005.
• No. 0009:  Fu, Zheng: Swarm-based computation and spatial decision making, Master Thesis No. 9, 2005.
• No. 0010:  Mangasandra, Sreenivas: Evaluation and Assessment of Performance Constraints of Workflow Systems imposed by varying underlying Infrastructures, Master Thesis No. 10, 2005.
• No. 0011:  Madasu, Venkata Subba Rao: Intelligent Decoding of a Location Reference in Digital Road Maps, Master Thesis No. 11, 2005.
• No. 0012:  Dharanikota, Sai Srinivas: Management of Virtual Machines in Grid Computing, Master Thesis No. 12, 2005.
• No. 0013:  Kottam, Kashi Vishwanath Reddy: Logging Strategies in Clustered J2EE Systems, Master Thesis No. 13, 2005.
• No. 0014:  Xu, Xuefang: Different Approaches to Self-Healing System, Master Thesis No. 14, 2005.
• No. 0015:  Tamimi, Hiba: Investigating an Online Testing Technique for Dynamic Memories, Master Thesis No. 15, 2005.
• No. 0016:  Zhang, Zao: Increasing the Simulation Speed of a Virtual Prototype of an SDR Baseband Platform by Parallelization, Master Thesis No. 16, 2005.
• No. 0017:  Nigorra Pascual, Pablo: Analysis and Implementation of a Ray Tracer Optimized for the Cell Processor, Master Thesis No. 17, 2005.
• No. 0018:  Dolado, Manuel Palao: Role of Data Mining in IBM's Basel II Risk Solution, Master Thesis No. 18, 2005.

• Dharanikota, Sai Srinivas: Management of Virtual Machines in Grid Computing, Master Thesis No. 12, 2005.
• Dolado, Manuel Palao: Role of Data Mining in IBM's Basel II Risk Solution, Master Thesis No. 18, 2005.
• Fernandez Pradier, Mauricio Julio: Collective classification in a swarm of microrobots, Master Thesis No. 8, 2005.
• Fu, Zheng: Swarm-based computation and spatial decision making, Master Thesis No. 9, 2005.
• Fuentes Caselles, Juan: Exploration of embodiment in real microrobotic swarm, Master Thesis No. 1, 2005.
• Gattu, Suresh Kumar: Analysis, Design and Implementation of the Bus Functional Model for faster verification of Systems-on-Chip products, Master Thesis No. 3, 2005.
• Gunasekaran, Rajalingam: Simulation of Typical Corporate Networl Systems, Master Thesis No. 2, 2005.
• Guo, Xiao Lei: Development of a Generic Gateway for an Event controlled Communication based on a reconfigurable FPGA Architecture with a Soft-core Microcontroller, Master Thesis No. 6, 2005.
• Kottam, Kashi Vishwanath Reddy: Logging Strategies in Clustered J2EE Systems, Master Thesis No. 13, 2005.
• Madasu, Venkata Subba Rao: Intelligent Decoding of a Location Reference in Digital Road Maps, Master Thesis No. 11, 2005.
• Mangasandra, Sreenivas: Evaluation and Assessment of Performance Constraints of Workflow Systems imposed by varying underlying Infrastructures, Master Thesis No. 10, 2005.
• Nigorra Pascual, Pablo: Analysis and Implementation of a Ray Tracer Optimized for the Cell Processor, Master Thesis No. 17, 2005.
• Perez, David E. Gil: Analysis of tempo estimation algorithms and implementation of a perceived tempo estimator, Master Thesis No. 5, 2005.
• Pichika, Naga Trinadh Kiran: Zentrales Konfigurations-Management in geclusterten Systemen, Master Thesis No. 7, 2005.
• Tamimi, Hiba: Investigating an Online Testing Technique for Dynamic Memories, Master Thesis No. 15, 2005.
• Warraich, Omer Amin: Mechanism of cooperation and functional self-organization in a swarm of micro-robots, Master Thesis No. 4, 2005.
• Xu, Xuefang: Different Approaches to Self-Healing System, Master Thesis No. 14, 2005.
• Zhang, Zao: Increasing the Simulation Speed of a Virtual Prototype of an SDR Baseband Platform by Parallelization, Master Thesis No. 16, 2005.

• No. 1960:  Lange, Ralph: Energieeffiziente Dienstnutzung in spontan vernetzten ubiquitären Rechnersystemen, Student Thesis No. 1960, 2005.
• No. 1966:  Schütz, Tibor: Interaktive NPR-Darstellung von Metalloberflächen in Airbrushtechnik, Student Thesis No. 1966, 2005.
• No. 1967:  Trigui, Aymen: Natural Neighbour Coordinates on Irregular Staggered Grids, Student Thesis No. 1967, 2005.
• No. 1968:  Müller, Martin: Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML, Student Thesis No. 1968, 2005.
• No. 1969:  Casper, Mirko: Verzögerungszeiten von Vermittlungsstellen in einem Netzwerkemulationssystem, Student Thesis No. 1969, 2005.
• No. 1975:  Katz, Holger: Entwicklung eines asynchronen und indirekten Kommunikationsmechanismus für ubiquitäre Systeme, Student Thesis No. 1975, 2005.
• No. 1976:  Heidenreich, Sebastian: Simulation von Fluid-Struktur-Wechselwirkunsproblemen mit symmetrieerhaltender Diskretisierung in zwei Raumdimensionen, Student Thesis No. 1976, 2005.
• No. 1990:  Schwab, Magnus: Graphenbasiertes Multitarget-Tracking im Roboterverbund, Student Thesis No. 1990, 2005.
• No. 1995:  Klenk, Sebastian: Erfassung und Modellierung eines Prozesses mit DPM, Student Thesis No. 1995, 2005.
• No. 2003:  Jenz, Domenic: Implementierung Hierarchische Matrizen, Student Thesis No. 2003, 2005.
• No. 2007:  Hoffmann, Benjamin: Faktorisierung grosser Zahlen mit dem Quadratischen Sieb, Student Thesis No. 2007, 2005.
• No. 2008:  Oberfell, Joerg: Faktorisierung mit elliptischen Kurven, Student Thesis No. 2008, 2005.
• No. 2012:  Hohmann, Dennis: Anforderungsnahe Realisierung der Laufzeitmodifikationen WS-BPEL basierter Business-Prozesse, Student Thesis No. 2012, 2005.
• No. 2020:  Kible, Ralf: Entwicklung eines Cache- und SSE2-optimierten Lattice-Boltzmann-Strömungssimulationsprogramms, Student Thesis No. 2020, 2005.
• No. 2022:  Pachner, Andrea: Konzeption einer internetbasierten Datenbankanwendung zur Verwaltung und Analyse von Patienten- und Krankheitsdaten, Student Thesis No. 2022, 2005.
• No. 2025:  Koch, Gerald Georg: Untersuchung von Verfahren zur Partitionserkennung in mobilen ad-hoc Netzen, Student Thesis No. 2025, 2005.

• Casper, Mirko: Verzögerungszeiten von Vermittlungsstellen in einem Netzwerkemulationssystem, Student Thesis No. 1969, 2005.
• Heidenreich, Sebastian: Simulation von Fluid-Struktur-Wechselwirkunsproblemen mit symmetrieerhaltender Diskretisierung in zwei Raumdimensionen, Student Thesis No. 1976, 2005.
• Hoffmann, Benjamin: Faktorisierung grosser Zahlen mit dem Quadratischen Sieb, Student Thesis No. 2007, 2005.
• Hohmann, Dennis: Anforderungsnahe Realisierung der Laufzeitmodifikationen WS-BPEL basierter Business-Prozesse, Student Thesis No. 2012, 2005.
• Jenz, Domenic: Implementierung Hierarchische Matrizen, Student Thesis No. 2003, 2005.
• Katz, Holger: Entwicklung eines asynchronen und indirekten Kommunikationsmechanismus für ubiquitäre Systeme, Student Thesis No. 1975, 2005.
• Kible, Ralf: Entwicklung eines Cache- und SSE2-optimierten Lattice-Boltzmann-Strömungssimulationsprogramms, Student Thesis No. 2020, 2005.
• Klenk, Sebastian: Erfassung und Modellierung eines Prozesses mit DPM, Student Thesis No. 1995, 2005.
• Koch, Gerald Georg: Untersuchung von Verfahren zur Partitionserkennung in mobilen ad-hoc Netzen, Student Thesis No. 2025, 2005.
• Lange, Ralph: Energieeffiziente Dienstnutzung in spontan vernetzten ubiquitären Rechnersystemen, Student Thesis No. 1960, 2005.
• Müller, Martin: Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML, Student Thesis No. 1968, 2005.
• Oberfell, Joerg: Faktorisierung mit elliptischen Kurven, Student Thesis No. 2008, 2005.
• Pachner, Andrea: Konzeption einer internetbasierten Datenbankanwendung zur Verwaltung und Analyse von Patienten- und Krankheitsdaten, Student Thesis No. 2022, 2005.
• Schütz, Tibor: Interaktive NPR-Darstellung von Metalloberflächen in Airbrushtechnik, Student Thesis No. 1966, 2005.
• Schwab, Magnus: Graphenbasiertes Multitarget-Tracking im Roboterverbund, Student Thesis No. 1990, 2005.
• Trigui, Aymen: Natural Neighbour Coordinates on Irregular Staggered Grids, Student Thesis No. 1967, 2005.

• No. 0038:  Bischoff, Georg; Kersten, Roland; Vetter, Thorsten: Vergleich von BPEL-Workflow Modellierungstools, Student Report Software Engineering No. 38, 2005.
• No. 0047:  Abidin, Sumeyra; Chiriacescu, Rares; Münsch, Friedrich: Evaluierung von Werkzeugen zur Datenmodellierung in Business-Intelligence-Projekten, Student Report Software Engineering No. 47, 2005.
• No. 0048:  Hildebrandt, Ingo; Wagner, Marc; Stützner, Carsten: Evaluierung verschiedener Szenarien zur Anwendung von BPEL und WS-CDL, Student Report Software Engineering No. 48, 2005.
• No. 0052:  van Lessen, Tammo; Pingel, Steffen; Schulz, Gerrit: Seiteneffekte in Anwendungsfunktionalität: Aspekt- und Serviceorientierte Architekturen im Vergleich, Student Report Software Engineering No. 52, 2005.

• Abidin, Sumeyra; Chiriacescu, Rares; Münsch, Friedrich: Evaluierung von Werkzeugen zur Datenmodellierung in Business-Intelligence-Projekten, Student Report Software Engineering No. 47, 2005.
• Bischoff, Georg; Kersten, Roland; Vetter, Thorsten: Vergleich von BPEL-Workflow Modellierungstools, Student Report Software Engineering No. 38, 2005.
• Hildebrandt, Ingo; Wagner, Marc; Stützner, Carsten: Evaluierung verschiedener Szenarien zur Anwendung von BPEL und WS-CDL, Student Report Software Engineering No. 48, 2005.
• van Lessen, Tammo; Pingel, Steffen; Schulz, Gerrit: Seiteneffekte in Anwendungsfunktionalität: Aspekt- und Serviceorientierte Architekturen im Vergleich, Student Report Software Engineering No. 52, 2005.

• No. 0001:  Holst, Stefan: Adaptive Fehlersuche in Schaltnetzen, Bachelor Thesis No. 1, 2005.
• No. 0002:  Volk, Eugen: Entwicklung und Implementierung von kooperativen Suchstrategien in Multiagenten-Szenarien, Bachelor Thesis No. 2, 2005.

• Holst, Stefan: Adaptive Fehlersuche in Schaltnetzen, Bachelor Thesis No. 1, 2005.
• Volk, Eugen: Entwicklung und Implementierung von kooperativen Suchstrategien in Multiagenten-Szenarien, Bachelor Thesis No. 2, 2005.