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 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 (sorted by numbers)

  • 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. 2251:  Kahl, Hardy: Trasparently distributed ATHOMUX, Diploma Thesis No. 2251, 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. 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.
  • External:  Benner, Anne: Mikroskopische Verkehrsflusssimulation in großen Netzen unter besonderer Berücksichtigung der Skalierbarkeit, External Diploma Thesis, 2005.

Diploma Theses (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.
  • 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.
  • Heidenreich, Sebastian: Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV, Diploma Thesis No. 2368, 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.
  • Kahl, Hardy: Trasparently distributed ATHOMUX, Diploma Thesis No. 2251, 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Wallwitz, Fabian: Entwurf von geographischen Multicast-Protokollen, Diploma Thesis No. 2366, 2005.
  • Wieland, Matthias: Entwicklung eines Frameworks für Nexus-Anwendungen, Diploma Thesis No. 2304, 2005.
  • Zhang, Yijie: Dienstmodellierung in Nexus, Diploma Thesis No. 2238, 2005.

Student Theses (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 (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)