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 2010

search germanicon
 

Technical Reports, Doctoral Theses, Student Theses


 

Technical Reports

  • No. 01:  Dartois, Luc; Kufleitner, Manfred; Lauser, Alexander: Rankers over Infinite Words, Technical Report No. 2010/01.
  • No. 02:  Kopecki, Steffen: On the Iterated Hairpin Completion, Technical Report No. 2010/02.
  • No. 03:  Kufleitner, Manfred; Lauser, Alexander: Partially Ordered Two-way Büchi Automata, Technical Report No. 2010/03.
  • No. 04:  Diekert, Volker; Kopecki, Steffen: Complexity Results and the Growths of Hairpin Completions of Regular Languages, Technical Report No. 2010/04.
  • No. 05:  Lewandowski, Stefan: Shortest Paths and Negative Cycle Detection in Graphs with Negative Weights - I: The Bellman-Ford-Moore Algorithm Revisited, Technical Report No. 2010/05.
  • No. 06:  Hoffmann, Benjamin: Comparison of Standard and Zipf-Based Document Retrieval Heuristics, Technical Report No. 2010/06.
  • No. 07:  Mancioppi, Michele; Danylevych, Olha; Papazoglou, Mike P.; Leymann, Frank: A Language-Agnostic Framework for the Analysis of the Syntactic Structure of Process Fragments, Technical Report No. 2010/07.
  • No. 08:  Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander: First-order Fragments with Successor over Infinite Words, Technical Report No. 2010/08.
  • No. 09:  Burkovski, Andre; Heidemann, Gunther; Hamidreza, Kobdani; Schütze, Hinrich: Methods for Coreference Visualization and Annotation, Technical Report No. 2010/09.
  • No. 3043:  Gabb, Michael: Hierarchische Klassifikation von Fahrzeugsichten, Technical Report No. 2010/3043.

Dissertations

  • Dürr, Frank: Geographische Kommunikationsmechanismen auf Basis von feingranularen räumlichen Umgebungsmodellen, Doctoral Thesis, 2010.
  • Hampp, Tilmann: Ein Kosten-Nutzen-Modell für die Softwareprüfung, Doctoral Thesis, 2010.
  • Lange, Ralph: Scalable Management of Trajectories and Context Model Descriptions, Doctoral Thesis, 2010.
  • Martin, Daniel: A Tuplespace-Based Execution Model for Decentralized Workflow Enactment, Doctoral Thesis, 2010.
  • Mietzner, Ralph: A method and implementation to define and provision variable composite applications, and its usage in cloud computing, Doctoral Thesis, 2010.
  • Scharf, M.: Fast Startup Internet Congestion Control Mechanisms for Broadband Interactive Applications (eingereichte Dissertation), External Doctoral Thesis, , 2010.
  • Scheibler, Thorsten: Ausführbare Integrationsmuster, Doctoral Thesis, 2010.
  • Wutke, Daniel: Eine Infrastruktur für die dezentrale Ausführung von BPEL-Prozessen, Doctoral Thesis, 2010.

Diploma Theses (sorted by numbers)

  • No. 2893:  Haag, Florian: Entwicklung eines flexiblen Widget-Sets für die Stuttgarter Stiftplatte, Diploma Thesis No. 2893, 2010.
  • No. 2941:  Gorski, Robert: Entwurf und Erstellung einer CTI-Middleware, Diploma Thesis No. 2941, 2010.
  • No. 2942:  Ristic, Sladjana: Performance-Analyse von Methoden zum Vergleich der Formähnlichkeit für die CAD-Konstruktion, Diploma Thesis No. 2942, 2010.
  • No. 2945:  Schneider, Johannes: Schnelle Erzeugung von virtuellen Punktlichtquellen auf Grafik-Hardware für Instant-Radiosity Verfahren, Diploma Thesis No. 2945, 2010.
  • No. 2950:  Schnitzer, Stephan: Geographical distribution schemes to support Publish/Subscribe in Mobile Ad Hoc Networks, Diploma Thesis No. 2950, 2010.
  • No. 2953:  Schmidt, Thorsten-Walther: Indirekte Beleuchtung mit Antiradiance-Splatting im Bildraum, Diploma Thesis No. 2953, 2010.
  • No. 2956:  Grüninger, Christoph: Discontinuous Galerkin Methods for Two-phase Flows in Porous Media, Diploma Thesis No. 2956, 2010.
  • No. 2957:  Hanussek, Robert: A Multi-Level Application Isolation Framework for Peer-to-Peer Desktop Grid Platforms, Diploma Thesis No. 2957, 2010.
  • No. 2959:  Prakljacic, Igor: Globale Beleuchtung von punktbasierten Isoflächen mittels Antiradiance, Diploma Thesis No. 2959, 2010.
  • No. 2960:  Sanzenbacher, Sascha: Darstellung von Kaustiken und Lichtstreuung in Interaktiven anwendungen, Diploma Thesis No. 2960, 2010.
  • No. 2964:  Keil, Benjamin: Situationsanalyse von Spielsituationen im RoboCup Szenario, Diploma Thesis No. 2964, 2010.
  • No. 2965:  Wittlinger, Markus: Selbstdiagnose und Fehlerzustandsermittlung autonomer Roboter, Diploma Thesis No. 2965, 2010.
  • No. 2966:  Fritzler, Andreas: Migrating WS-BPEL Process Instances, Diploma Thesis No. 2966, 2010.
  • No. 2967:  Zeng, Zhen: Anwendungsspezifische Prozessvisualisierung, Diploma Thesis No. 2967, 2010.
  • No. 2969:  Rühle, Fabian: Adaptive Rekonfiguration von Korrelationsnetzen, Diploma Thesis No. 2969, 2010.
  • No. 2970:  Reiner, Tim-Christopher: Interactive Modeling with Distance Fields, Diploma Thesis No. 2970, 2010.
  • No. 2971:  Fechter, Michael: Entwicklung eines mandantenfähigen Software-Dienstes zur Email-Archivierung, Diploma Thesis No. 2971, 2010.
  • No. 2972:  Seifert, Robert: Bicluster visualisierung, Diploma Thesis No. 2972, 2010.
  • No. 2973:  Kessler, Wiltrud: Analysis and Visualization of Coreference Features, Diploma Thesis No. 2973, 2010.
  • No. 2975:  Xuejing, Chen: Integration of the Result Visualization into a Workflow Modeling Tool, Diploma Thesis No. 2975, 2010.
  • No. 2977:  Dengel, Bernd-Simon: Modellierung von regeltreuen Geschäftsprozessen anhand von Compliance Templates, Diploma Thesis No. 2977, 2010.
  • No. 2978:  Shi, Qinghua: Automatic Provisioning of Sametime 3D on a Cloud Infrastructure, Diploma Thesis No. 2978, 2010.
  • No. 2981:  Wulf, Dimitrij: Entwicklung einer interaktiven un dezentralen Prozessumgebung, Diploma Thesis No. 2981, 2010.
  • No. 2982:  Brutzer, Sebastian: Background Subtraction in der Videoüberwachung, Diploma Thesis No. 2982, 2010.
  • No. 2984:  Müller, Christoph Marian: Development of an Integrated Database Architecture for a Runtime Environment for Simulation Workflows, Diploma Thesis No. 2984, 2010.
  • No. 2985:  Naatz, Stephan: Konfiguration von Cloud Anwendungen mittels eines Case Handling Systems, Diploma Thesis No. 2985, 2010.
  • No. 2986:  Bartels, Giso: Interaktionsorientierte Mobilgeräte-Unterstützung für Benutzer in öffentlichen Räumen, Diploma Thesis No. 2986, 2010.
  • No. 2987:  Wagner, Sebastian: A Concept of Human-oriented Workflows, Diploma Thesis No. 2987, 2010.
  • No. 2988:  Ruthardt, Frank: Event-driven Production Rescheduling, Diploma Thesis No. 2988, 2010.
  • No. 2989:  Thom, Dennis: Kompressionsbasierte Mustererkennung auf Bildern, Diploma Thesis No. 2989, 2010.
  • No. 2990:  Bors, Sergej: A Runtime for BPEL4Chor Cross-Partner-Scopes, Diploma Thesis No. 2990, 2010.
  • No. 2991:  Schäfer, Michael: Entwicklung eines Anwendungs-Konzepts zur Nutzung kontextbezogener Workflows in der Smart Factory, Diploma Thesis No. 2991, 2010.
  • No. 2992:  Telezhnikov, Sergey: Prozessfragmente: Metamodell und Ausführung, Diploma Thesis No. 2992, 2010.
  • No. 2994:  Zhang, Yong: Anfragenverwaltung für ein System zur verteilten Windfeldberechnung, Diploma Thesis No. 2994, 2010.
  • No. 2995:  Buchholz, Andreas: Multi-tenant-fähige BPEL-Engines, Diploma Thesis No. 2995, 2010.
  • No. 2996:  Schächterle, Uwe: Modellierung und Simulation bildgebender Systeme für partikelbeladene Strömungen, Diploma Thesis No. 2996, 2010.
  • No. 2997:  Li, Changhua: An Editing Environment for BPEL4Chor Cross-Partner Scopes, Diploma Thesis No. 2997, 2010.
  • No. 2999:  Eckhardt, Oliver: Menschen-zentrierte Restrukturierung von Human Tasks, Diploma Thesis No. 2999, 2010.
  • No. 3000:  Bormann, Kai: Optimierung des persönlichen Arbeitslaufes mit Hilfe constraint-basierter Prozesse, Diploma Thesis No. 3000, 2010.
  • No. 3001:  Poszlovszki, Andreas: Process Fragment Recognition and Emphasis, Diploma Thesis No. 3001, 2010.
  • No. 3003:  Kilic, Ozan: Identifikation und Extraktion relevanter Kenngrößen aus IML-Graphen, Diploma Thesis No. 3003, 2010.
  • No. 3004:  Eichel, Alexander: Interaktives Monitoring von wissenschaftlichen Workflows, Diploma Thesis No. 3004, 2010.
  • No. 3006:  Henke, Sebastian: Unterstützung für externe Transaktionen in Apache ODE, Diploma Thesis No. 3006, 2010.
  • No. 3007:  Trummer, Immanuel: Cost-Optimal Provisioning of Cloud Applications, Diploma Thesis No. 3007, 2010.
  • No. 3012:  Brunk, Sören: Interaktive visuelle Erstellung und Verwendung komplexer Facetten zur Filterung semantischer Daten, Diploma Thesis No. 3012, 2010.
  • No. 3013:  Baier, Patrick: Effiziente automatisierte Erstellung von Straßenkarten, Diploma Thesis No. 3013, 2010.
  • No. 3015:  Keller, Christine: Theoretical and Practical Perspectives on Ontology Learning from Folksonomies, Diploma Thesis No. 3015, 2010.
  • No. 3016:  Bonilla, Daniel Rubio: Automatic color segmentation enhancement based on world knowledge, Diploma Thesis No. 3016, 2010.
  • No. 3017:  Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diploma Thesis No. 3017, 2010.
  • No. 3018:  Waldraff, Tassilo: Technologiebewertung für die Realisierung einer verteilten Simulationsumgebung für die Entwicklung von Insassenschutzsystemen, Diploma Thesis No. 3018, 2010.
  • No. 3020:  Paulenz, Marc Dennis: Modellgestütztes End-User-Development für Multi-Touch-Benutzungsschnittstellen, Diploma Thesis No. 3020, 2010.
  • No. 3021:  Richter, Matthias: Verteiltes,kooperatives Caching von Umgebungsmodelldaten, Diploma Thesis No. 3021, 2010.
  • No. 3023:  Neuendorf, Dennis: Wrapper-Optimierung im 3D-Entwurf, Diploma Thesis No. 3023, 2010.
  • No. 3024:  Gruber, Klaus Peter: Expressive context prediction using Model Checking, Diploma Thesis No. 3024, 2010.
  • No. 3025:  Thomaß, Bertram: GPU-basierte Simulation und in-situ Visualisierung von 3D Fluiden in porösen Medien, Diploma Thesis No. 3025, 2010.
  • No. 3026:  Kieß, Steffen: GPU-basierte Beschleunigung der diskreten Dipol-Approximation für Streulichtsimulationen, Diploma Thesis No. 3026, 2010.
  • No. 3027:  Mattes, Michael: Design and Implementation of a Framework for Online Evolution of Robotic Behaviour, Diploma Thesis No. 3027, 2010.
  • No. 3028:  Grass, Tobias Markus: Anforderungsspezifikation für interaktive Systeme mit Interaction Cases und Use Cases, Diploma Thesis No. 3028, 2010.
  • No. 3029:  Hotta, Sven: Ausführung von Festkörpersimulationen auf Basis der Workflow Technologie, Diploma Thesis No. 3029, 2010.
  • No. 3030:  Stahr, Frederik: Tracking von Gegenständen mit einem verteilten Multi-Kamera-System, Diploma Thesis No. 3030, 2010.
  • No. 3031:  Reis, Susana dos: Konzeption und Realisierung einer Intranet-Lösung mit TYPO3 und Neustrukturierung bestehender Prozesse am Beispiel der CENIT AG, Diploma Thesis No. 3031, 2010.
  • No. 3033:  Huber, Raimund: Konzeption und Realisierung eines Auslastungsdienstes für eine verteilte Ausführungsumgebung, Diploma Thesis No. 3033, 2010.
  • No. 3034:  Schuhmacher, Tim: Entwicklung eines echtzeitfähigen Ethernet-Protokolls auf einem Field Programmable Gate Array (FPGA) zur Übertragung von Auswertungs- und Bilddaten, Diploma Thesis No. 3034, 2010.
  • No. 3036:  Latuske, Gregor: Sichten auf Geschäftsprozesse als Werkzeug zur Darstellung laufender Prozessinstanzen, Diploma Thesis No. 3036, 2010.
  • No. 3037:  Li, Li: Transaction Flow Generation for SWOM, Diploma Thesis No. 3037, 2010.
  • No. 3038:  Beck, Daniel: Design and Prototypical implementation of a Linguistic Search Engine, Diploma Thesis No. 3038, 2010.
  • No. 3039:  Mayer, Philipp: Globale volumetrische Beleuchtung mit hierarchischer Mehrfachstreuung in partizipierenden Medien, Diploma Thesis No. 3039, 2010.
  • No. 3040:  Röhle, Nadine: Merkmalsbasierte Registrierung von hochaufgelösten 3D-Punktwolken auf projizierten Daten, Diploma Thesis No. 3040, 2010.
  • No. 3044:  Wild, Andreas: Implementierung eines Verfahrens zur Erkennung koexistierender Attraktoren in AnT 4.669, Diploma Thesis No. 3044, 2010.
  • No. 3046:  Kötter, Falko: Prozessvarianten in unternehmensübergreifenden Servicenetzwerken, Diploma Thesis No. 3046, 2010.
  • No. 3047:  Marei, Ahmed Mohamed: Development of a Mass Memory Unit for a small University Satellite, Diploma Thesis No. 3047, 2010.
  • No. 3053:  Paul, Andreas: Entwurf und Implementierung einer Anwendung für mobile Endgeräte zur Sucheergebnisvisualisierung im Webmining-Umfeld, Diploma Thesis No. 3053, 2010.
  • No. 3054:  Hristova, Hristina: Visualisierung von Person-Centric Flows, Diploma Thesis No. 3054, 2010.
  • No. 3056:  Puff, Jochen: Hybrides Ray Tracing auf GPU-Cluster-Computern, Diploma Thesis No. 3056, 2010.
  • No. 3059:  Berthelot, Adam: Entwicklung und Vergleich von Verfahren zur fahrzeugtauglichen Bestimmung von Kritikalitätsmaßen für komplexe Verkehrssituationen, Diploma Thesis No. 3059, 2010.
  • No. 3062:  Krämer, Eugen: Anpassbare Darstellung von Prozessmodellen, Diploma Thesis No. 3062, 2010.
  • No. 3064:  Palauro, Jonas: Navigation in prozess-basierten kontextbezogenen Anwendungen unter Verwendung von unscharfen Zuständen, Diploma Thesis No. 3064, 2010.
  • No. 3065:  Depold, Lucian Cristian: Framework zur Steuerung von prototypischen 3D-Ink-Jet-druckanlagen auf der basis von national Instruments Embedded Controllern, Diploma Thesis No. 3065, 2010.
  • No. 3066:  Hofmann, Daniel: Entwurf und Implementierung der Klonerkennung mittels Suffix-Arrays, Diploma Thesis No. 3066, 2010.
  • No. 3086:  Mueller, Matthias: Dynamic learning algorithm for scene analysis with Cognitive Ontologies, Diploma Thesis No. 3086, 2010.
  • No. 3087:  Schubert, Yves: WS-Policy Sprache für das Monitoring von Service-Choreographien, Diploma Thesis No. 3087, 2010.
  • No. 3094:  Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diploma Thesis No. 3094, 2010.
  • No. 3095:  Bischoff, Bastian: Wortbegrenzung unter Involution, Diploma Thesis No. 3095, 2010.
  • No. 3118:  Walter, Thomas: Development of a User Interface for Electric Cars, Diploma Thesis No. 3118, 2010.

Diploma Theses (sorted by names)

  • Baier, Patrick: Effiziente automatisierte Erstellung von Straßenkarten, Diploma Thesis No. 3013, 2010.
  • Bartels, Giso: Interaktionsorientierte Mobilgeräte-Unterstützung für Benutzer in öffentlichen Räumen, Diploma Thesis No. 2986, 2010.
  • Beck, Daniel: Design and Prototypical implementation of a Linguistic Search Engine, Diploma Thesis No. 3038, 2010.
  • Berthelot, Adam: Entwicklung und Vergleich von Verfahren zur fahrzeugtauglichen Bestimmung von Kritikalitätsmaßen für komplexe Verkehrssituationen, Diploma Thesis No. 3059, 2010.
  • Bischoff, Bastian: Wortbegrenzung unter Involution, Diploma Thesis No. 3095, 2010.
  • Bonilla, Daniel Rubio: Automatic color segmentation enhancement based on world knowledge, Diploma Thesis No. 3016, 2010.
  • Bormann, Kai: Optimierung des persönlichen Arbeitslaufes mit Hilfe constraint-basierter Prozesse, Diploma Thesis No. 3000, 2010.
  • Bors, Sergej: A Runtime for BPEL4Chor Cross-Partner-Scopes, Diploma Thesis No. 2990, 2010.
  • Brunk, Sören: Interaktive visuelle Erstellung und Verwendung komplexer Facetten zur Filterung semantischer Daten, Diploma Thesis No. 3012, 2010.
  • Brutzer, Sebastian: Background Subtraction in der Videoüberwachung, Diploma Thesis No. 2982, 2010.
  • Buchholz, Andreas: Multi-tenant-fähige BPEL-Engines, Diploma Thesis No. 2995, 2010.
  • Dengel, Bernd-Simon: Modellierung von regeltreuen Geschäftsprozessen anhand von Compliance Templates, Diploma Thesis No. 2977, 2010.
  • Depold, Lucian Cristian: Framework zur Steuerung von prototypischen 3D-Ink-Jet-druckanlagen auf der basis von national Instruments Embedded Controllern, Diploma Thesis No. 3065, 2010.
  • Eckhardt, Oliver: Menschen-zentrierte Restrukturierung von Human Tasks, Diploma Thesis No. 2999, 2010.
  • Eichel, Alexander: Interaktives Monitoring von wissenschaftlichen Workflows, Diploma Thesis No. 3004, 2010.
  • Fechter, Michael: Entwicklung eines mandantenfähigen Software-Dienstes zur Email-Archivierung, Diploma Thesis No. 2971, 2010.
  • Fritzler, Andreas: Migrating WS-BPEL Process Instances, Diploma Thesis No. 2966, 2010.
  • Gorski, Robert: Entwurf und Erstellung einer CTI-Middleware, Diploma Thesis No. 2941, 2010.
  • Grass, Tobias Markus: Anforderungsspezifikation für interaktive Systeme mit Interaction Cases und Use Cases, Diploma Thesis No. 3028, 2010.
  • Gruber, Klaus Peter: Expressive context prediction using Model Checking, Diploma Thesis No. 3024, 2010.
  • Grüninger, Christoph: Discontinuous Galerkin Methods for Two-phase Flows in Porous Media, Diploma Thesis No. 2956, 2010.
  • Haag, Florian: Entwicklung eines flexiblen Widget-Sets für die Stuttgarter Stiftplatte, Diploma Thesis No. 2893, 2010.
  • Hanussek, Robert: A Multi-Level Application Isolation Framework for Peer-to-Peer Desktop Grid Platforms, Diploma Thesis No. 2957, 2010.
  • Henke, Sebastian: Unterstützung für externe Transaktionen in Apache ODE, Diploma Thesis No. 3006, 2010.
  • Hofmann, Daniel: Entwurf und Implementierung der Klonerkennung mittels Suffix-Arrays, Diploma Thesis No. 3066, 2010.
  • Hotta, Sven: Ausführung von Festkörpersimulationen auf Basis der Workflow Technologie, Diploma Thesis No. 3029, 2010.
  • Hristova, Hristina: Visualisierung von Person-Centric Flows, Diploma Thesis No. 3054, 2010.
  • Huber, Raimund: Konzeption und Realisierung eines Auslastungsdienstes für eine verteilte Ausführungsumgebung, Diploma Thesis No. 3033, 2010.
  • Keil, Benjamin: Situationsanalyse von Spielsituationen im RoboCup Szenario, Diploma Thesis No. 2964, 2010.
  • Keller, Christine: Theoretical and Practical Perspectives on Ontology Learning from Folksonomies, Diploma Thesis No. 3015, 2010.
  • Kessler, Wiltrud: Analysis and Visualization of Coreference Features, Diploma Thesis No. 2973, 2010.
  • Kieß, Steffen: GPU-basierte Beschleunigung der diskreten Dipol-Approximation für Streulichtsimulationen, Diploma Thesis No. 3026, 2010.
  • Kilic, Ozan: Identifikation und Extraktion relevanter Kenngrößen aus IML-Graphen, Diploma Thesis No. 3003, 2010.
  • Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diploma Thesis No. 3017, 2010.
  • Kötter, Falko: Prozessvarianten in unternehmensübergreifenden Servicenetzwerken, Diploma Thesis No. 3046, 2010.
  • Krämer, Eugen: Anpassbare Darstellung von Prozessmodellen, Diploma Thesis No. 3062, 2010.
  • Latuske, Gregor: Sichten auf Geschäftsprozesse als Werkzeug zur Darstellung laufender Prozessinstanzen, Diploma Thesis No. 3036, 2010.
  • Li, Changhua: An Editing Environment for BPEL4Chor Cross-Partner Scopes, Diploma Thesis No. 2997, 2010.
  • Li, Li: Transaction Flow Generation for SWOM, Diploma Thesis No. 3037, 2010.
  • Marei, Ahmed Mohamed: Development of a Mass Memory Unit for a small University Satellite, Diploma Thesis No. 3047, 2010.
  • Mattes, Michael: Design and Implementation of a Framework for Online Evolution of Robotic Behaviour, Diploma Thesis No. 3027, 2010.
  • Mayer, Philipp: Globale volumetrische Beleuchtung mit hierarchischer Mehrfachstreuung in partizipierenden Medien, Diploma Thesis No. 3039, 2010.
  • Müller, Christoph Marian: Development of an Integrated Database Architecture for a Runtime Environment for Simulation Workflows, Diploma Thesis No. 2984, 2010.
  • Mueller, Matthias: Dynamic learning algorithm for scene analysis with Cognitive Ontologies, Diploma Thesis No. 3086, 2010.
  • Naatz, Stephan: Konfiguration von Cloud Anwendungen mittels eines Case Handling Systems, Diploma Thesis No. 2985, 2010.
  • Neuendorf, Dennis: Wrapper-Optimierung im 3D-Entwurf, Diploma Thesis No. 3023, 2010.
  • Palauro, Jonas: Navigation in prozess-basierten kontextbezogenen Anwendungen unter Verwendung von unscharfen Zuständen, Diploma Thesis No. 3064, 2010.
  • Paul, Andreas: Entwurf und Implementierung einer Anwendung für mobile Endgeräte zur Sucheergebnisvisualisierung im Webmining-Umfeld, Diploma Thesis No. 3053, 2010.
  • Paulenz, Marc Dennis: Modellgestütztes End-User-Development für Multi-Touch-Benutzungsschnittstellen, Diploma Thesis No. 3020, 2010.
  • Poszlovszki, Andreas: Process Fragment Recognition and Emphasis, Diploma Thesis No. 3001, 2010.
  • Prakljacic, Igor: Globale Beleuchtung von punktbasierten Isoflächen mittels Antiradiance, Diploma Thesis No. 2959, 2010.
  • Puff, Jochen: Hybrides Ray Tracing auf GPU-Cluster-Computern, Diploma Thesis No. 3056, 2010.
  • Reiner, Tim-Christopher: Interactive Modeling with Distance Fields, Diploma Thesis No. 2970, 2010.
  • Reis, Susana dos: Konzeption und Realisierung einer Intranet-Lösung mit TYPO3 und Neustrukturierung bestehender Prozesse am Beispiel der CENIT AG, Diploma Thesis No. 3031, 2010.
  • Richter, Matthias: Verteiltes,kooperatives Caching von Umgebungsmodelldaten, Diploma Thesis No. 3021, 2010.
  • Ristic, Sladjana: Performance-Analyse von Methoden zum Vergleich der Formähnlichkeit für die CAD-Konstruktion, Diploma Thesis No. 2942, 2010.
  • Röhle, Nadine: Merkmalsbasierte Registrierung von hochaufgelösten 3D-Punktwolken auf projizierten Daten, Diploma Thesis No. 3040, 2010.
  • Rühle, Fabian: Adaptive Rekonfiguration von Korrelationsnetzen, Diploma Thesis No. 2969, 2010.
  • Ruthardt, Frank: Event-driven Production Rescheduling, Diploma Thesis No. 2988, 2010.
  • Sanzenbacher, Sascha: Darstellung von Kaustiken und Lichtstreuung in Interaktiven anwendungen, Diploma Thesis No. 2960, 2010.
  • Schächterle, Uwe: Modellierung und Simulation bildgebender Systeme für partikelbeladene Strömungen, Diploma Thesis No. 2996, 2010.
  • Schäfer, Michael: Entwicklung eines Anwendungs-Konzepts zur Nutzung kontextbezogener Workflows in der Smart Factory, Diploma Thesis No. 2991, 2010.
  • Schmidt, Thorsten-Walther: Indirekte Beleuchtung mit Antiradiance-Splatting im Bildraum, Diploma Thesis No. 2953, 2010.
  • Schneider, Johannes: Schnelle Erzeugung von virtuellen Punktlichtquellen auf Grafik-Hardware für Instant-Radiosity Verfahren, Diploma Thesis No. 2945, 2010.
  • Schnitzer, Stephan: Geographical distribution schemes to support Publish/Subscribe in Mobile Ad Hoc Networks, Diploma Thesis No. 2950, 2010.
  • Schubert, Yves: WS-Policy Sprache für das Monitoring von Service-Choreographien, Diploma Thesis No. 3087, 2010.
  • Schuhmacher, Tim: Entwicklung eines echtzeitfähigen Ethernet-Protokolls auf einem Field Programmable Gate Array (FPGA) zur Übertragung von Auswertungs- und Bilddaten, Diploma Thesis No. 3034, 2010.
  • Seifert, Robert: Bicluster visualisierung, Diploma Thesis No. 2972, 2010.
  • Shi, Qinghua: Automatic Provisioning of Sametime 3D on a Cloud Infrastructure, Diploma Thesis No. 2978, 2010.
  • Stahr, Frederik: Tracking von Gegenständen mit einem verteilten Multi-Kamera-System, Diploma Thesis No. 3030, 2010.
  • Telezhnikov, Sergey: Prozessfragmente: Metamodell und Ausführung, Diploma Thesis No. 2992, 2010.
  • Thom, Dennis: Kompressionsbasierte Mustererkennung auf Bildern, Diploma Thesis No. 2989, 2010.
  • Thomaß, Bertram: GPU-basierte Simulation und in-situ Visualisierung von 3D Fluiden in porösen Medien, Diploma Thesis No. 3025, 2010.
  • Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diploma Thesis No. 3094, 2010.
  • Trummer, Immanuel: Cost-Optimal Provisioning of Cloud Applications, Diploma Thesis No. 3007, 2010.
  • Wagner, Sebastian: A Concept of Human-oriented Workflows, Diploma Thesis No. 2987, 2010.
  • Waldraff, Tassilo: Technologiebewertung für die Realisierung einer verteilten Simulationsumgebung für die Entwicklung von Insassenschutzsystemen, Diploma Thesis No. 3018, 2010.
  • Walter, Thomas: Development of a User Interface for Electric Cars, Diploma Thesis No. 3118, 2010.
  • Wild, Andreas: Implementierung eines Verfahrens zur Erkennung koexistierender Attraktoren in AnT 4.669, Diploma Thesis No. 3044, 2010.
  • Wittlinger, Markus: Selbstdiagnose und Fehlerzustandsermittlung autonomer Roboter, Diploma Thesis No. 2965, 2010.
  • Wulf, Dimitrij: Entwicklung einer interaktiven un dezentralen Prozessumgebung, Diploma Thesis No. 2981, 2010.
  • Xuejing, Chen: Integration of the Result Visualization into a Workflow Modeling Tool, Diploma Thesis No. 2975, 2010.
  • Zeng, Zhen: Anwendungsspezifische Prozessvisualisierung, Diploma Thesis No. 2967, 2010.
  • Zhang, Yong: Anfragenverwaltung für ein System zur verteilten Windfeldberechnung, Diploma Thesis No. 2994, 2010.

Master Theses (sorted by numbers)

  • No. 2946:  Lui, Shuo: Evaluation of FPGA/Host Communication Based on Ethernet, Master Thesis No. 2946, 2010.
  • No. 2955:  Dallou, Tamer: Software-Based Self-Test For SUN's UltraSPARC T2 SoC, Master Thesis No. 2955, 2010.
  • No. 2993:  Grob, Thomas: Implementation of a FPGA-based Interface to a High Speed Image Sensor, Master Thesis No. 2993, 2010.
  • No. 3010:  Martin, Juan Jose Sanz: Recognition of motion patterns based on mobile device sensor data, Master Thesis No. 3010, 2010.
  • No. 3048:  Mahmoud, Ahmed: Machine Learning in Physical Cryptography, Master Thesis No. 3048, 2010.
  • No. 3050:  Stankovic, Nenad: Hardware-accelerated continuous particle image velocimetry based on reconfigurable logic, Master Thesis No. 3050, 2010.
  • No. 3051:  Ravindran, Dinesh: Evaluation of a Novel General Purpose Coprocessor Architecture based on Programmable Finite State Machine Technology, Master Thesis No. 3051, 2010.
  • No. 3071:  Mheidat, Moath: Development of Stochastic Floating Point for Numerical Accuracy Analysis, Master Thesis No. 3071, 2010.
  • No. 3120:  Traub, Johannes: Program Analysis and Probabilistic SAT-solving, Master Thesis No. 3120, 2010.

Master Theses (sorted by names)

  • Dallou, Tamer: Software-Based Self-Test For SUN's UltraSPARC T2 SoC, Master Thesis No. 2955, 2010.
  • Grob, Thomas: Implementation of a FPGA-based Interface to a High Speed Image Sensor, Master Thesis No. 2993, 2010.
  • Lui, Shuo: Evaluation of FPGA/Host Communication Based on Ethernet, Master Thesis No. 2946, 2010.
  • Mahmoud, Ahmed: Machine Learning in Physical Cryptography, Master Thesis No. 3048, 2010.
  • Martin, Juan Jose Sanz: Recognition of motion patterns based on mobile device sensor data, Master Thesis No. 3010, 2010.
  • Mheidat, Moath: Development of Stochastic Floating Point for Numerical Accuracy Analysis, Master Thesis No. 3071, 2010.
  • Ravindran, Dinesh: Evaluation of a Novel General Purpose Coprocessor Architecture based on Programmable Finite State Machine Technology, Master Thesis No. 3051, 2010.
  • Stankovic, Nenad: Hardware-accelerated continuous particle image velocimetry based on reconfigurable logic, Master Thesis No. 3050, 2010.
  • Traub, Johannes: Program Analysis and Probabilistic SAT-solving, Master Thesis No. 3120, 2010.

Student Theses (sorted by numbers)

  • No. 2232:  Wang, Chen: Launch Pad for SWoM Installation, Student Thesis No. 2232, 2010.
  • No. 2233:  Müller, Thomas: Addressing the Punctuation Marks Problem in Automatic Handwriting Recognition, Student Thesis No. 2233, 2010.
  • No. 2235:  Goloubets, Boris: Sonifizierung von Videoüberwachungsdaten, Student Thesis No. 2235, 2010.
  • No. 2237:  Weißer, Julian: Algorithmen zum effizienten Erfassen von Sensorwerten entlang von Straßenabschnitten, Student Thesis No. 2237, 2010.
  • No. 2240:  Biliniewicz, Daniel: Support for QoS in Publish/Subscribe systems by partitioning the event space Unterstützung von Dienstgüte in Publish/Subscribe Systemen durch Partitionierung des Ereignisraums, Student Thesis No. 2240, 2010.
  • No. 2241:  Schiller, Benjamin: Mandantenpartitionierung in einem RDBMS, Student Thesis No. 2241, 2010.
  • No. 2242:  Braun, Matthias: Semitransparente Moleküloberflächen mittels Depth Peeling, Student Thesis No. 2242, 2010.
  • No. 2244:  Thomaß, Bertram: Realisierung eines hochperformanten, ressourceneffizienten Korrelationsalgorithmus auf einem Field Programmable Gate Array mittels High-Level-synthese, Student Thesis No. 2244, 2010.
  • No. 2245:  Reitschuster, Bastian: Entwurf und Implementierung einer mobilen Anwendung zur kollaborativen Terminplanung in Ad-hoc-Umgebung, Student Thesis No. 2245, 2010.
  • No. 2246:  Gao, Yangyang: Implementierung einer Datenflussanalyse für WS-BPEL 2.0, Student Thesis No. 2246, 2010.
  • No. 2247:  Tsendragchaa, Davaadorj: Interaktive Erstellung und Verwendung von Linsen zur Exploration semantischer Daten, Student Thesis No. 2247, 2010.
  • No. 2248:  Zwirn, Felix: Muster basierte Generierung von realistischen Workflow-Modellen, Student Thesis No. 2248, 2010.
  • No. 2249:  Walter, Thomas: Entwicklung eines Lernsystems zur Adaption optimaler Controllereinstellungen einer Motorsteuerung, Student Thesis No. 2249, 2010.
  • No. 2250:  Cai, Jiayang: Abstrakte Sichten auf BPEL Prozesse, Student Thesis No. 2250, 2010.
  • No. 2252:  Schmidt, Robert: Implementierung eines Inertialnavigationssystems für mobile Geräte, Student Thesis No. 2252, 2010.
  • No. 2254:  Ull, Dominik: Practical Approach to In-Field Hardware Testing, Student Thesis No. 2254, 2010.
  • No. 2257:  Bischoff, Bastian: Algebraische Hilfsmittel für die Aneinanderreihung von Nebenläufigen Systemen, Student Thesis No. 2257, 2010.
  • No. 2258:  Bernd, Florian; Wagner, Dominic: Webservice und Workflow-Technologie für Proteinmodellierung, Student Thesis No. 2258, 2010.
  • No. 2259:  Wen, Ruojin: JAX-WS Test Client for SWoM, Student Thesis No. 2259, 2010.
  • No. 2260:  Schneider, Valeri: Statistik manager für SWoM, Student Thesis No. 2260, 2010.
  • No. 2261:  Maier, Bernhard: Progressives Rendering multivariater Daten, Student Thesis No. 2261, 2010.
  • No. 2263:  Jonas, Thorsten: Verhaltenssteuerung durch gekoppelte Selektionsgleichungen, Student Thesis No. 2263, 2010.
  • No. 2264:  Schembera, Björn: Implementierung und Evaluation mehrdimensionaler Bereichsanfragen mittels raumfüllender Kurven, Student Thesis No. 2264, 2010.
  • No. 2266:  Qin, Qi: System Activity Monitor for SWoM, Student Thesis No. 2266, 2010.
  • No. 2268:  Qian, Changsheng: Wait Activity for SWoM, Student Thesis No. 2268, 2010.
  • No. 2269:  Bayha, Stefan: Hardware Entwurf eines eingebauten Selbsttests für digitale Schaltnetze, Student Thesis No. 2269, 2010.
  • No. 2270:  Decker, Normann: A Continuous Truth Domain for Runtime Verification, Student Thesis No. 2270, 2010.
  • No. 2272:  Hartmann, Tino: Indirekte Beleuchtung mit Ray Casting und Kugelhierarchien, Student Thesis No. 2272, 2010.
  • No. 2273:  Schirmer, Markus: Distributed Emulation of Mobile Applications in TVEE, Student Thesis No. 2273, 2010.
  • No. 2274:  Klenske, Edgar: Textvisualisierung zur Koreferenzerkennung, Student Thesis No. 2274, 2010.
  • No. 2275:  Wang, Xuan: Concept and Implementation of a Graphical Editor for Composite application Templates, Student Thesis No. 2275, 2010.
  • No. 2276:  Futter, Ben W.: Investigation of a Discontinuous Piecewise Linear Map Defined on Three Partitions, Student Thesis No. 2276, 2010.
  • No. 2278:  Starke, Stephan: Ambient Occlusion für große, zeitabhängige Molekulardynamikdaten, Student Thesis No. 2278, 2010.
  • No. 2281:  Klingel, Sven: In-Situ-Visualisierung von N-Körper- Simulationen von Planetenringsystemen, Student Thesis No. 2281, 2010.
  • No. 2282:  Weiß, Armin: Implementation of Parallel CRR Division on GPUs, Student Thesis No. 2282, 2010.
  • No. 2284:  Hartmann, Tino: Erzeugung und Anwendung von kontextuellen Wörterbüchern, Student Thesis No. 2284, 2010.
  • No. 2285:  Wu, Jinxu: Benchmarking Apache ODE, Student Thesis No. 2285, 2010.
  • No. 2286:  Schilli, Tom: Bildstatistik für die texturbasierte Strömungsvisualisierung, Student Thesis No. 2286, 2010.
  • No. 2287:  Cao, Bo: Benchmarking IBM Process Server, Student Thesis No. 2287, 2010.
  • No. 2288:  Netzel, Rudolf: Bewegungserkennung mithilfe von Rechteckmerkmalen, Student Thesis No. 2288, 2010.
  • No. 2290:  Pflüger, Hermann: Berechnung eines Aufmerksamkeitsmodells aus videodaten mittels Rechteckmerkmalen, Student Thesis No. 2290, 2010.
  • No. 2292:  Haag, Jochen: Analysis and Implementation of Virus-like Horizontal Gene Transfer for Neural Networks, Student Thesis No. 2292, 2010.
  • No. 2299:  Birkhold, Markus: Development of the next generation main board for the jasmine swarm robot, Student Thesis No. 2299, 2010.
  • No. 2300:  Riegger, Philipp: Literature Survey on Nearest Neighbor Search and Search in Graphs, Student Thesis No. 2300, 2010.
  • No. 2302:  Voetter, Andreas: Adaptives Model-Checking reaktiver Systeme, Student Thesis No. 2302, 2010.
  • No. 2982:  Gründer, Patrick: Analyse kompressionsbasierter Ähnlichkeitsmetrik für mehrdimensionale Objekte, Student Thesis No. 2982, 2010.

Student Theses (sorted by names)

  • Bayha, Stefan: Hardware Entwurf eines eingebauten Selbsttests für digitale Schaltnetze, Student Thesis No. 2269, 2010.
  • Bernd, Florian; Wagner, Dominic: Webservice und Workflow-Technologie für Proteinmodellierung, Student Thesis No. 2258, 2010.
  • Biliniewicz, Daniel: Support for QoS in Publish/Subscribe systems by partitioning the event space Unterstützung von Dienstgüte in Publish/Subscribe Systemen durch Partitionierung des Ereignisraums, Student Thesis No. 2240, 2010.
  • Birkhold, Markus: Development of the next generation main board for the jasmine swarm robot, Student Thesis No. 2299, 2010.
  • Bischoff, Bastian: Algebraische Hilfsmittel für die Aneinanderreihung von Nebenläufigen Systemen, Student Thesis No. 2257, 2010.
  • Braun, Matthias: Semitransparente Moleküloberflächen mittels Depth Peeling, Student Thesis No. 2242, 2010.
  • Cai, Jiayang: Abstrakte Sichten auf BPEL Prozesse, Student Thesis No. 2250, 2010.
  • Cao, Bo: Benchmarking IBM Process Server, Student Thesis No. 2287, 2010.
  • Decker, Normann: A Continuous Truth Domain for Runtime Verification, Student Thesis No. 2270, 2010.
  • Futter, Ben W.: Investigation of a Discontinuous Piecewise Linear Map Defined on Three Partitions, Student Thesis No. 2276, 2010.
  • Gao, Yangyang: Implementierung einer Datenflussanalyse für WS-BPEL 2.0, Student Thesis No. 2246, 2010.
  • Goloubets, Boris: Sonifizierung von Videoüberwachungsdaten, Student Thesis No. 2235, 2010.
  • Gründer, Patrick: Analyse kompressionsbasierter Ähnlichkeitsmetrik für mehrdimensionale Objekte, Student Thesis No. 2982, 2010.
  • Haag, Jochen: Analysis and Implementation of Virus-like Horizontal Gene Transfer for Neural Networks, Student Thesis No. 2292, 2010.
  • Hartmann, Tino: Indirekte Beleuchtung mit Ray Casting und Kugelhierarchien, Student Thesis No. 2272, 2010.
  • Hartmann, Tino: Erzeugung und Anwendung von kontextuellen Wörterbüchern, Student Thesis No. 2284, 2010.
  • Jonas, Thorsten: Verhaltenssteuerung durch gekoppelte Selektionsgleichungen, Student Thesis No. 2263, 2010.
  • Klenske, Edgar: Textvisualisierung zur Koreferenzerkennung, Student Thesis No. 2274, 2010.
  • Klingel, Sven: In-Situ-Visualisierung von N-Körper- Simulationen von Planetenringsystemen, Student Thesis No. 2281, 2010.
  • Maier, Bernhard: Progressives Rendering multivariater Daten, Student Thesis No. 2261, 2010.
  • Müller, Thomas: Addressing the Punctuation Marks Problem in Automatic Handwriting Recognition, Student Thesis No. 2233, 2010.
  • Netzel, Rudolf: Bewegungserkennung mithilfe von Rechteckmerkmalen, Student Thesis No. 2288, 2010.
  • Pflüger, Hermann: Berechnung eines Aufmerksamkeitsmodells aus videodaten mittels Rechteckmerkmalen, Student Thesis No. 2290, 2010.
  • Qian, Changsheng: Wait Activity for SWoM, Student Thesis No. 2268, 2010.
  • Qin, Qi: System Activity Monitor for SWoM, Student Thesis No. 2266, 2010.
  • Reitschuster, Bastian: Entwurf und Implementierung einer mobilen Anwendung zur kollaborativen Terminplanung in Ad-hoc-Umgebung, Student Thesis No. 2245, 2010.
  • Riegger, Philipp: Literature Survey on Nearest Neighbor Search and Search in Graphs, Student Thesis No. 2300, 2010.
  • Schembera, Björn: Implementierung und Evaluation mehrdimensionaler Bereichsanfragen mittels raumfüllender Kurven, Student Thesis No. 2264, 2010.
  • Schiller, Benjamin: Mandantenpartitionierung in einem RDBMS, Student Thesis No. 2241, 2010.
  • Schilli, Tom: Bildstatistik für die texturbasierte Strömungsvisualisierung, Student Thesis No. 2286, 2010.
  • Schirmer, Markus: Distributed Emulation of Mobile Applications in TVEE, Student Thesis No. 2273, 2010.
  • Schmidt, Robert: Implementierung eines Inertialnavigationssystems für mobile Geräte, Student Thesis No. 2252, 2010.
  • Schneider, Valeri: Statistik manager für SWoM, Student Thesis No. 2260, 2010.
  • Starke, Stephan: Ambient Occlusion für große, zeitabhängige Molekulardynamikdaten, Student Thesis No. 2278, 2010.
  • Thomaß, Bertram: Realisierung eines hochperformanten, ressourceneffizienten Korrelationsalgorithmus auf einem Field Programmable Gate Array mittels High-Level-synthese, Student Thesis No. 2244, 2010.
  • Tsendragchaa, Davaadorj: Interaktive Erstellung und Verwendung von Linsen zur Exploration semantischer Daten, Student Thesis No. 2247, 2010.
  • Ull, Dominik: Practical Approach to In-Field Hardware Testing, Student Thesis No. 2254, 2010.
  • Voetter, Andreas: Adaptives Model-Checking reaktiver Systeme, Student Thesis No. 2302, 2010.
  • Walter, Thomas: Entwicklung eines Lernsystems zur Adaption optimaler Controllereinstellungen einer Motorsteuerung, Student Thesis No. 2249, 2010.
  • Wang, Chen: Launch Pad for SWoM Installation, Student Thesis No. 2232, 2010.
  • Wang, Xuan: Concept and Implementation of a Graphical Editor for Composite application Templates, Student Thesis No. 2275, 2010.
  • Weiß, Armin: Implementation of Parallel CRR Division on GPUs, Student Thesis No. 2282, 2010.
  • Weißer, Julian: Algorithmen zum effizienten Erfassen von Sensorwerten entlang von Straßenabschnitten, Student Thesis No. 2237, 2010.
  • Wen, Ruojin: JAX-WS Test Client for SWoM, Student Thesis No. 2259, 2010.
  • Wu, Jinxu: Benchmarking Apache ODE, Student Thesis No. 2285, 2010.
  • Zwirn, Felix: Muster basierte Generierung von realistischen Workflow-Modellen, Student Thesis No. 2248, 2010.

Student Reports Software Engineering (sorted by numbers)

  • No. 0108:  Lanig, Stefan; Lemcke, Manuel; Mayer, Philipp: Evaluation von Data Mining Werkzeugen, Student Report Software Engineering No. 108, 2010.
  • No. 0110:  Dridiger, Alexander; Knittig, Markus; Wokusch, Stefan: Modellgetriebene und generative Benutzungsschnittstellen, Student Report Software Engineering No. 110, 2010.
  • No. 0112:  Burger, F.; Debicki, P.; Kötter, F.: Vergleich von Complex Event Processing-Ansätzen für Business Activity Monitoring, Student Report Software Engineering No. 112, 2010.
  • No. 0113:  Coehne, Dirk; Rothmaier, Gregor; Schulz, Christoph: Vergleich von Speichersystemen für RDF-Datenbanken auf mobilen Geräten, Student Report Software Engineering No. 113, 2010.
  • No. 0114:  Breitenbücher, Uwe; Schubert, Yves; Schumann, Jens: Auswahl, Klassifikation und Evaluation aktueller Widgets für Web-Anwendungen, Student Report Software Engineering No. 114, 2010.
  • No. 0115:  Grohe, Stefan; Schlameuß, Christoph; Sommer, Ralf: Performancevergleich von CEP-Engines, Student Report Software Engineering No. 115, 2010.
  • No. 0122:  Tolev, Aleksander; Alvi, Modood; Giuliani, Timotheus: Kollaborative Entwicklungsplattformnen, Student Report Software Engineering No. 122, 2010.
  • No. 0124:  Brull, Ruslana; Kandratau, Sergej; Karsten, Thomas: Analyse und Vergleich von Produktdatenmanagementsystemen, Student Report Software Engineering No. 124, 2010.

Student Reports Software Engineering (sorted by names)

Bachelor Theses (sorted by numbers)

  • No. 2279:  Selim, John Samy: Semi-Automatic Labeling of Mobile Device Sensor Data, Bachelor Thesis No. 2279, 2010.
  • No. 2291:  Farrag, Sara Ahmed Reda: Trajectory Retrieval for visual Surveillance, Bachelor Thesis No. 2291, 2010.

Bachelor Theses (sorted by names)

  • Farrag, Sara Ahmed Reda: Trajectory Retrieval for visual Surveillance, Bachelor Thesis No. 2291, 2010.
  • Selim, John Samy: Semi-Automatic Labeling of Mobile Device Sensor Data, Bachelor Thesis No. 2279, 2010.