Bild von Institut mit Unilogo
home uni uni suche suche sitemap sitemap kontakt kontakt
unilogo Universität Stuttgart

Computer Science at University of Stuttgart : Publications

Year 2004

search germanicon
 

Technical Reports, Doctoral Theses, Student Theses


 

Technical Reports

  • No. 01:  Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technical Report No. 2004/01.
  • No. 02:  Bauer, Martin: Event Management for Mobile Users, Technical Report No. 2004/02.
  • No. 04:  Bauer, Martin; Dürr, Frank; Geiger, Jan; Grossmann, Matthias; Hönle, Nicola; Joswig, Jean; Nicklas, Daniela; Schwarz, Thomas: Information Management and Exchange in the Nexus Platform, Technical Report No. 2004/04.
  • No. 05:  Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technical Report No. 2004/05.
  • No. 06:  Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technical Report No. 2004/06.
  • No. 07:  Arbter, Bruno; Drosdol, Tobias; Dürr, Frank; Großmann, Matthias; Hönle, Nicola; Volz, Steffen: Das Nexus Relationen- und Topologiekonzept, Technical Report No. 2004/07.
  • No. 08:  Dotti, Fernando Luis; König, Barbara; Marchi do Santos, Osmar; Ribeiro, Leila: A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems, Technical Report No. 2004/08.

Postdoctoral Qualifications

  • Becker, Christian: System Support for Context-aware Computing, Postdoctoral Qualification, 2004.
  • König, Barbara: Analysis and Verification of Systems with Dynamically Evolving Structure, Postdoctoral Qualification, 2004.

Dissertations

  • Hauser, Jürgen: Erweiterbarkeit multimedialer Dokumentensysteme zur dynamischen Anpassung an anwendungsspezifische Anforderungen, Doctoral Thesis, 2004.
  • Hopf, Matthias: Hierarchical methods for filtering and visualization based on graphics hardware, Doctoral Thesis, 2004.
  • Magallón Gherardelli, Marcelo Eduardo: Hardware Accelerated Volume Visualization on PC Clusters, Doctoral Thesis, 2004.
  • Mariucci, Marcello: Design and implementation of a model-driven Earth observation integration framework, Doctoral Thesis, 2004.
  • Rantzau, Ralf: Query Processing Concepts and Techniques for Set Containment Tests, Doctoral Thesis, 2004.
  • Roettger, Stefan: Volumetric methods for the real time display of natural gaseous phenomena, Doctoral Thesis, 2004.
  • Weber, Irene: Suchraumbeschränkung für relationales Data Mining, Doctoral Thesis, 2004.

Diploma Theses (sorted by numbers)

  • No. 2115:  Neynens, Mario: Räumlich begrenzte Datenreplikation in mobilen ad hoc Netzwerken, Diploma Thesis No. 2115, 2004.
  • No. 2123:  Geiger, Jan: Entwurf einer Beobachterkomponente für die Diagnose eines Multimedianetzwerks im Fahrzeug, Diploma Thesis No. 2123, 2004.
  • No. 2128:  Lu, Leiqin: Konzeption und Implementierung eines Quellcode-Navigators, Diploma Thesis No. 2128, 2004.
  • No. 2130:  Rau, Alexander: Entwicklung eines Middleware-Teilsystems zur Unterstützung nichtfunktionaler Parameter in ubiquitären Rechnersystemen, Diploma Thesis No. 2130, 2004.
  • No. 2133:  Canadas, Maria Belen: Cooperative EKF Localization, Diploma Thesis No. 2133, 2004.
  • No. 2135:  Haak, Dietrich: Werkzeuggestützte Herleitung von Protokollen, Diploma Thesis No. 2135, 2004.
  • No. 2139:  Wetzel, Matthias: Document-Driven Black-Box-Testing, Diploma Thesis No. 2139, 2004.
  • No. 2142:  Urbanski, Stephan: Entwicklung eines geräteübergreifenden Adaptionsmechanismus für komponentenbasierte Anwendungen in ubiquitären Rechnersystemen, Diploma Thesis No. 2142, 2004.
  • No. 2143:  Lachenmann, Andreas: Entwicklung einer lokalen Ressourcenverwaltung für komponentenbasierte Anwendungen in ubiquitären Rechnersystemen, Diploma Thesis No. 2143, 2004.
  • No. 2144:  Opletal, Sascha: Einsatz einer XML-Anfragesprache für Transformationszwecke, Diploma Thesis No. 2144, 2004.
  • No. 2145:  Wielandt, Thomas: Integration der Merkmallokalisierung in Bauhaus, Diploma Thesis No. 2145, 2004.
  • No. 2147:  Luo, Xiaoxi: Entwurf von Protokollen für die geographische Kommunikation basierend auf symbolischen Koordinaten, Diploma Thesis No. 2147, 2004.
  • No. 2151:  Meidlinger, Daniel: Erstellung eines Simulationswerkzeuges zur Ermittlung von Reisezeiten bei Nutzung von Zielführungssystemen unter besonderer Beachtung der Verkehrsmeldungsqualitäten, Diploma Thesis No. 2151, 2004.
  • No. 2152:  Xu, Li: Business Process Integration, Diploma Thesis No. 2152, 2004.
  • No. 2154:  Siantidis, Zissis: Entwurf und Implementierung eines Lernsystems für gestreute Speicherung, Diploma Thesis No. 2154, 2004.
  • No. 2155:  Ovtcharov, Gueorgui: Leistungsmessung und Leistungssteigerung des Propagationssystems, Diploma Thesis No. 2155, 2004.
  • No. 2156:  Chamsieva, Lilia: Diagnose von Fahrzeugtelematiksystemen anhand ihres Kommunikationsverhaltens, Diploma Thesis No. 2156, 2004.
  • No. 2163:  Wahl, Thomas: Anfrageoptimierung im Spatial Model Server, Diploma Thesis No. 2163, 2004.
  • No. 2164:  Motzer, Steffen: Operator-basierte Anfrageverarbeitung in der Nexus-Föderation, Diploma Thesis No. 2164, 2004.
  • No. 2167:  Yang, Zhenxiang: Entwicklung eines Verfahrens zur Emulation der Medienzugriffssteuerung in Wireless LAN, Diploma Thesis No. 2167, 2004.
  • No. 2169:  Kaiser, Fabian: Entwicklung eines modularen Softwarepaketes für reaktive massiv parallele dreidimensionale Lattice-Boltzmann Strömungsberechnungen, Diploma Thesis No. 2169, 2004.
  • No. 2171:  Koller, Tobias: Entwurf von Reglerkonzepten zur Spurassistenz von PKW auf Basis von Einzelradbremsungen, Diploma Thesis No. 2171, 2004.
  • No. 2174:  Pavlakovic, Drazen: Empirische Untersuchung von Vorgehensweisen in der Softwarewartung, Diploma Thesis No. 2174, 2004.
  • No. 2175:  Keil, Reinhard: Energiebewusstes Cluster-Management in ubiquitären Systemen, Diploma Thesis No. 2175, 2004.
  • No. 2176:  Liu, Yidong: Semiautomatische Entfernung des duplizierten Codes, Diploma Thesis No. 2176, 2004.
  • No. 2177:  Höschle, Frank: Programmierung eines Mikrocontrollers und Kommunikationsschnittstellen zum Tool "Data Management System", Diploma Thesis No. 2177, 2004.
  • No. 2178:  Marquardt, Thilo: Bewertung von Kosten- und Kardinalitätsschätzungen, Diploma Thesis No. 2178, 2004.
  • No. 2179:  Enge, Johannes: Caching in der Nexus Föderation, Diploma Thesis No. 2179, 2004.
  • No. 2180:  Eichler, Marc: Extraktion einer OWL-Ontologie, Diploma Thesis No. 2180, 2004.
  • No. 2181:  Khabi, Dmitri: Parallele Verfahren zur Druckkorrektur bei der Simulation von inkompressiblen Fluiden., Diploma Thesis No. 2181, 2004.
  • No. 2182:  Stürmer, Michael: Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph, Diploma Thesis No. 2182, 2004.
  • No. 2188:  Reinsch, Michael: Entwicklung und Evaluation eines Algorithmus zur initialen Konfiguration von Anwendungen in PCOM, Diploma Thesis No. 2188, 2004.
  • No. 2195:  Moltenbrey, Michael: Entwurf eines adaptiven und interaktiven Systems für die Analyse von Algorithmen zur Datenverwaltung in mobilen Ad-hoc-Netzen, Diploma Thesis No. 2195, 2004.
  • No. 2199:  Zweigle, Oliver: Vergleich unterschiedlicher Trackingverfahren im RoboCup, Diploma Thesis No. 2199, 2004.
  • No. 2200:  Neinert, Sascha: Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS, Diploma Thesis No. 2200, 2004.
  • No. 2202:  Bagci, Sinan: Quellcode-Navigation in Gravis, Diploma Thesis No. 2202, 2004.
  • No. 2203:  Baschny, Ernesto: Generische Modellierung und Aktualisierung von Vertrauen im UniTEC Reputationssystem, Diploma Thesis No. 2203, 2004.
  • No. 2204:  Scheibler, Thorsten: Konzeption und Machbarkeitsstudie eines Sicherheitskonzeptes für einen E-Commerce Marktplatz auf Basis einer Service-orientierten Architektur, Diploma Thesis No. 2204, 2004.
  • No. 2206:  Fritsch, Serena: Erweiterung eines adaptiven und interaktiven Systems für die Analyse von Algorithmen zur Datenverwaltung in mobilen Ad-hoc-Netzen, Diploma Thesis No. 2206, 2004.
  • No. 2207:  Kern, Hans Malte: Analyse eines industriellen Wartungsprozesses und Vorschläge zu dessen Verbesserung, Diploma Thesis No. 2207, 2004.
  • No. 2211:  Traunecker, Jochen: Entwurf und prototypische Realisierung einer policy-basierten Integration transaktionaler Web Services in serviceorientierte Architekturen, Diploma Thesis No. 2211, 2004.
  • No. 2213:  Korth, Jens-Christian: Strategies for Automated Porting of Linux Device Drivers to Athomux, Diploma Thesis No. 2213, 2004.
  • No. 2218:  Yang, Yingwei: Distribution of the Propagation System, Diploma Thesis No. 2218, 2004.
  • No. 2222:  Iofcea, Markus: Kombinierte Zugriffspfade entlang heterogener Dimensionen, Diploma Thesis No. 2222, 2004.
  • No. 2223:  Flaig, Tobias: Gegenüberstellung Nexus-Plattform – OGC Web Services Spezifikation, Diploma Thesis No. 2223, 2004.
  • No. 2224:  Ottenbacher, Heiko: Multiagenten Planmodellierung, Diploma Thesis No. 2224, 2004.
  • No. 2227:  Pichlkostner, Arthur: Interfaces und Multi-Rate Co-Simulation für Reifensimulationsmodelle in der Fahrzeugsimulation, Diploma Thesis No. 2227, 2004.
  • No. 2229:  Vrhovnik, Marko: Update-Propagation in gestaffelten und verteilten Caches, Diploma Thesis No. 2229, 2004.
  • No. 2231:  Siegwart, Kai: Empirische Untersuchung zur analytischen Qualitšatssicherung in der Industrie, Diploma Thesis No. 2231, 2004.

Diploma Theses (sorted by names)

  • Bagci, Sinan: Quellcode-Navigation in Gravis, Diploma Thesis No. 2202, 2004.
  • Baschny, Ernesto: Generische Modellierung und Aktualisierung von Vertrauen im UniTEC Reputationssystem, Diploma Thesis No. 2203, 2004.
  • Canadas, Maria Belen: Cooperative EKF Localization, Diploma Thesis No. 2133, 2004.
  • Chamsieva, Lilia: Diagnose von Fahrzeugtelematiksystemen anhand ihres Kommunikationsverhaltens, Diploma Thesis No. 2156, 2004.
  • Eichler, Marc: Extraktion einer OWL-Ontologie, Diploma Thesis No. 2180, 2004.
  • Enge, Johannes: Caching in der Nexus Föderation, Diploma Thesis No. 2179, 2004.
  • Flaig, Tobias: Gegenüberstellung Nexus-Plattform – OGC Web Services Spezifikation, Diploma Thesis No. 2223, 2004.
  • Fritsch, Serena: Erweiterung eines adaptiven und interaktiven Systems für die Analyse von Algorithmen zur Datenverwaltung in mobilen Ad-hoc-Netzen, Diploma Thesis No. 2206, 2004.
  • Geiger, Jan: Entwurf einer Beobachterkomponente für die Diagnose eines Multimedianetzwerks im Fahrzeug, Diploma Thesis No. 2123, 2004.
  • Haak, Dietrich: Werkzeuggestützte Herleitung von Protokollen, Diploma Thesis No. 2135, 2004.
  • Höschle, Frank: Programmierung eines Mikrocontrollers und Kommunikationsschnittstellen zum Tool "Data Management System", Diploma Thesis No. 2177, 2004.
  • Iofcea, Markus: Kombinierte Zugriffspfade entlang heterogener Dimensionen, Diploma Thesis No. 2222, 2004.
  • Kaiser, Fabian: Entwicklung eines modularen Softwarepaketes für reaktive massiv parallele dreidimensionale Lattice-Boltzmann Strömungsberechnungen, Diploma Thesis No. 2169, 2004.
  • Keil, Reinhard: Energiebewusstes Cluster-Management in ubiquitären Systemen, Diploma Thesis No. 2175, 2004.
  • Kern, Hans Malte: Analyse eines industriellen Wartungsprozesses und Vorschläge zu dessen Verbesserung, Diploma Thesis No. 2207, 2004.
  • Khabi, Dmitri: Parallele Verfahren zur Druckkorrektur bei der Simulation von inkompressiblen Fluiden., Diploma Thesis No. 2181, 2004.
  • Koller, Tobias: Entwurf von Reglerkonzepten zur Spurassistenz von PKW auf Basis von Einzelradbremsungen, Diploma Thesis No. 2171, 2004.
  • Korth, Jens-Christian: Strategies for Automated Porting of Linux Device Drivers to Athomux, Diploma Thesis No. 2213, 2004.
  • Lachenmann, Andreas: Entwicklung einer lokalen Ressourcenverwaltung für komponentenbasierte Anwendungen in ubiquitären Rechnersystemen, Diploma Thesis No. 2143, 2004.
  • Liu, Yidong: Semiautomatische Entfernung des duplizierten Codes, Diploma Thesis No. 2176, 2004.
  • Lu, Leiqin: Konzeption und Implementierung eines Quellcode-Navigators, Diploma Thesis No. 2128, 2004.
  • Luo, Xiaoxi: Entwurf von Protokollen für die geographische Kommunikation basierend auf symbolischen Koordinaten, Diploma Thesis No. 2147, 2004.
  • Marquardt, Thilo: Bewertung von Kosten- und Kardinalitätsschätzungen, Diploma Thesis No. 2178, 2004.
  • Meidlinger, Daniel: Erstellung eines Simulationswerkzeuges zur Ermittlung von Reisezeiten bei Nutzung von Zielführungssystemen unter besonderer Beachtung der Verkehrsmeldungsqualitäten, Diploma Thesis No. 2151, 2004.
  • Moltenbrey, Michael: Entwurf eines adaptiven und interaktiven Systems für die Analyse von Algorithmen zur Datenverwaltung in mobilen Ad-hoc-Netzen, Diploma Thesis No. 2195, 2004.
  • Motzer, Steffen: Operator-basierte Anfrageverarbeitung in der Nexus-Föderation, Diploma Thesis No. 2164, 2004.
  • Neinert, Sascha: Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS, Diploma Thesis No. 2200, 2004.
  • Neynens, Mario: Räumlich begrenzte Datenreplikation in mobilen ad hoc Netzwerken, Diploma Thesis No. 2115, 2004.
  • Opletal, Sascha: Einsatz einer XML-Anfragesprache für Transformationszwecke, Diploma Thesis No. 2144, 2004.
  • Ottenbacher, Heiko: Multiagenten Planmodellierung, Diploma Thesis No. 2224, 2004.
  • Ovtcharov, Gueorgui: Leistungsmessung und Leistungssteigerung des Propagationssystems, Diploma Thesis No. 2155, 2004.
  • Pavlakovic, Drazen: Empirische Untersuchung von Vorgehensweisen in der Softwarewartung, Diploma Thesis No. 2174, 2004.
  • Pichlkostner, Arthur: Interfaces und Multi-Rate Co-Simulation für Reifensimulationsmodelle in der Fahrzeugsimulation, Diploma Thesis No. 2227, 2004.
  • Rau, Alexander: Entwicklung eines Middleware-Teilsystems zur Unterstützung nichtfunktionaler Parameter in ubiquitären Rechnersystemen, Diploma Thesis No. 2130, 2004.
  • Reinsch, Michael: Entwicklung und Evaluation eines Algorithmus zur initialen Konfiguration von Anwendungen in PCOM, Diploma Thesis No. 2188, 2004.
  • Scheibler, Thorsten: Konzeption und Machbarkeitsstudie eines Sicherheitskonzeptes für einen E-Commerce Marktplatz auf Basis einer Service-orientierten Architektur, Diploma Thesis No. 2204, 2004.
  • Siantidis, Zissis: Entwurf und Implementierung eines Lernsystems für gestreute Speicherung, Diploma Thesis No. 2154, 2004.
  • Siegwart, Kai: Empirische Untersuchung zur analytischen Qualitšatssicherung in der Industrie, Diploma Thesis No. 2231, 2004.
  • Stürmer, Michael: Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph, Diploma Thesis No. 2182, 2004.
  • Traunecker, Jochen: Entwurf und prototypische Realisierung einer policy-basierten Integration transaktionaler Web Services in serviceorientierte Architekturen, Diploma Thesis No. 2211, 2004.
  • Urbanski, Stephan: Entwicklung eines geräteübergreifenden Adaptionsmechanismus für komponentenbasierte Anwendungen in ubiquitären Rechnersystemen, Diploma Thesis No. 2142, 2004.
  • Vrhovnik, Marko: Update-Propagation in gestaffelten und verteilten Caches, Diploma Thesis No. 2229, 2004.
  • Wahl, Thomas: Anfrageoptimierung im Spatial Model Server, Diploma Thesis No. 2163, 2004.
  • Wetzel, Matthias: Document-Driven Black-Box-Testing, Diploma Thesis No. 2139, 2004.
  • Wielandt, Thomas: Integration der Merkmallokalisierung in Bauhaus, Diploma Thesis No. 2145, 2004.
  • Xu, Li: Business Process Integration, Diploma Thesis No. 2152, 2004.
  • Yang, Yingwei: Distribution of the Propagation System, Diploma Thesis No. 2218, 2004.
  • Yang, Zhenxiang: Entwicklung eines Verfahrens zur Emulation der Medienzugriffssteuerung in Wireless LAN, Diploma Thesis No. 2167, 2004.
  • Zweigle, Oliver: Vergleich unterschiedlicher Trackingverfahren im RoboCup, Diploma Thesis No. 2199, 2004.

Student Theses (sorted by numbers)

  • No. 1912:  Kuntz, Reinhard: Kollaborative Weiterentwicklung von Lernmaterial unter Verwendung eines Trust-Management-Systems, Student Thesis No. 1912, 2004.
  • No. 1914:  Flaig, Tobias: Flaig, Tobias, Erstellung einer Testumgebung für Anfragesequenz-Rewrite-Regeln, Student Thesis No. 1914, 2004.
  • No. 1915:  Müller, Markus: Konzeption und Generierung eines RFG für COBOL, Student Thesis No. 1915, 2004.
  • No. 1917:  Stoerzbach, Andreas: Emulation mobiler Geraete: Integration eines Batteriemodells, Student Thesis No. 1917, 2004.
  • No. 1923:  Müller, Felix: Simulation von Strömungen in unregelmäßig berandeten Gebieten mit symmetrieerhaltender Diskretisierung, Student Thesis No. 1923, 2004.
  • No. 1930:  Knoll, Mirko: Entwurf und Bewertung von Lokationsmodellen, Student Thesis No. 1930, 2004.
  • No. 1932:  Yilian, Shen; Ye, Feng: Entwicklung einer einheitlichen Datenstruktur und bedienungsfreundlichen Benutzerführung für ein EDV-Tool, Student Thesis No. 1932, 2004.
  • No. 1937:  Kanne, J.: Anwendung von Neuro-Fuzzy Methoden für die Robotersteuerung, Student Thesis No. 1937, 2004.
  • No. 1945:  Müller, Thorsten: Realisierung des TPC-H-Schemas auf einem Oracle-Datenbanksystem., Student Thesis No. 1945, 2004.
  • No. 1952:  Gauger, Matthias: Auswertung von Kommunikationsmustern und Kenngrößen hinsichtlich der Erkennung von Fehlerbildern verteilter Telematiksysteme, Student Thesis No. 1952, 2004.
  • No. 1956:  Garbaa, Kiredin: Dynamische dreidimensionale Fahrbahnvermessung, Student Thesis No. 1956, 2004.

Student Theses (sorted by names)

  • Flaig, Tobias: Flaig, Tobias, Erstellung einer Testumgebung für Anfragesequenz-Rewrite-Regeln, Student Thesis No. 1914, 2004.
  • Garbaa, Kiredin: Dynamische dreidimensionale Fahrbahnvermessung, Student Thesis No. 1956, 2004.
  • Gauger, Matthias: Auswertung von Kommunikationsmustern und Kenngrößen hinsichtlich der Erkennung von Fehlerbildern verteilter Telematiksysteme, Student Thesis No. 1952, 2004.
  • Kanne, J.: Anwendung von Neuro-Fuzzy Methoden für die Robotersteuerung, Student Thesis No. 1937, 2004.
  • Knoll, Mirko: Entwurf und Bewertung von Lokationsmodellen, Student Thesis No. 1930, 2004.
  • Kuntz, Reinhard: Kollaborative Weiterentwicklung von Lernmaterial unter Verwendung eines Trust-Management-Systems, Student Thesis No. 1912, 2004.
  • Müller, Felix: Simulation von Strömungen in unregelmäßig berandeten Gebieten mit symmetrieerhaltender Diskretisierung, Student Thesis No. 1923, 2004.
  • Müller, Markus: Konzeption und Generierung eines RFG für COBOL, Student Thesis No. 1915, 2004.
  • Müller, Thorsten: Realisierung des TPC-H-Schemas auf einem Oracle-Datenbanksystem., Student Thesis No. 1945, 2004.
  • Stoerzbach, Andreas: Emulation mobiler Geraete: Integration eines Batteriemodells, Student Thesis No. 1917, 2004.
  • Yilian, Shen; Ye, Feng: Entwicklung einer einheitlichen Datenstruktur und bedienungsfreundlichen Benutzerführung für ein EDV-Tool, Student Thesis No. 1932, 2004.

Student Reports Software Engineering (sorted by numbers)

  • No. 0029:  Fink, Miriam; Kiefner, Dominique Xavier; Uktin, Eugenia: Vergleich von Wissensmanagementsystemen, Student Report Software Engineering No. 29, 2004.
  • No. 0030:  Scheibler, Thorsten; Unger, Tobias; Traunecker, Jochen: Bewertung von Frameworks für Personal Digital Assistants, Student Report Software Engineering No. 30, 2004.
  • No. 0031:  Dudzik, Stefan; Einhorn, Jochen; Schönleber, Tim: Untersuchung des IBM Autonomic Computing Toolkits, Student Report Software Engineering No. 31, 2004.
  • No. 0032:  Früh, Manuel; Häuser, Philipp; Marks, Michael: Bewertung von XSLT-Prozessoren, Student Report Software Engineering No. 32, 2004.

Student Reports Software Engineering (sorted by names)