Bild von Institut mit Unilogo
home uni uni suche suche sitemap sitemap kontakt kontakt
unilogo Universität Stuttgart
Faculty | Computer Science | Library

Computer Science at University of Stuttgart : Publications

Year 2005

search germanicon
 

Technical Reports, Doctoral Theses, Student Theses

 

Technical Reports

  • 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.

Postdoctoral Qualifications

  • 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.

Dissertations

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

Diploma Theses (archive) (sorted by numbers)

  • 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.

Diploma Theses (archive) (sorted by names)

  • 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.

Master Theses (sorted by numbers)

  • 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.

Master Theses (sorted by names)

  • 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.

Student Theses (archive) (sorted by numbers)

  • 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.

Student Theses (archive) (sorted by names)

  • 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.

Student Reports Software Engineering (sorted by numbers)

  • 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.

Student Reports Software Engineering (sorted by names)

Bachelor Theses (sorted by numbers)

  • 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.

Bachelor Theses (sorted by names)

  • 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.
 
  
Last Modified April 3, 2025( Mail to "Webmaster" )  | © University of Stuttgart |  Legal notice