Fakultät Informatik

Dissertations

Jahrgang: 2008

 Kirsch, Alexandra:
Integration of Programming and Learning in a Control Language for Autonomous Robots Performing Everyday Activities
Ref:Prof. Beetz, Prof. Rachid Alami, LAAS/CNRS, Toulouse, 01.02.2008

 Landes, Tobias:
Kausale Ordnungen in dynamischen nebenläufigen Systemen
Ref:Prof. Spies, Prof. Bode, 07.02.2008

 Chang, Rui:
Advanced Probabilistic Network Modeling Framework with Qualitative Prior Knowledge
Ref:Prof. Brauer, Prof. Brügge, 07.02.2008

 Preißinger, Jörg:
Fehlertoleranz durch automatisierte Diversität im Management verteilter nebenläufiger Systeme
Ref:Prof. Spies, Prof. Bode, 25.02.2008

 Sielhorst, Tobias:
New Methods for Medical Augmented Reality
Ref:Prof. Navab, Prof. Henry Fuchs, University of North Carolina, 06.03.2008

 Kuntschke, Richard:
Network-Aware Optimization in Distributed Data Stream Management Systems
Ref:Prof. Kemper, Prof. Seeger, Universität Marburg, 31.03.2008

 Groher, Martin:
2D-3D Registration of Vascular Images - Towards 3D-Guided Catheter Intervention
Ref:Prof. Navab, Prof. Viergever, Universiteit Utrecht, 09.04.2008

 Schweiger, Andreas:
Agentenbasiertes Konstruieren von verteilten Systemen am Beispiel Gesundheitswesen
Ref:Prof. Krcmar, Prof. Bauer, Universität Augsburg, 09.04.2008

 Chaieb, Amine:
Automated Methods for Formal Proofs in Simple Arithmetics and Algebra
Ref:Prof. Nipkow, Prof. Avigad, Carnegie Mellon University, 11.04.2008

 Scheidemann, Kathrin:
Verifying Families of System Configurations
Ref:Prof. Broy, Prof. Veith, TU Darmstadt, 15.04.2008

 Rückert, Ulrich:
A Statistical Approach to Rule Learning
Ref:Prof. Kramer, Prof. Fürnkranz, TU Darmstadt, 16.04.2008

 Laurent, Céline:
A Methodology to Configure IT-Collaboration-Platforms Based on Fuzzy Logic
Ref:Prof. Broy, Prof. Beetz, 17.04.2008

 Mayer, Hermann:
Human-Machine Skill Transfer in Robot Assisted Minimally Invasive Surgery
Ref:Prof. Knoll, Prof. Mitsuishi, University Tokio, 30.04.2008

 Szabo, Miruna:
Neurodynamical competition and cooperation mechanisms in brain functions: Attentional filtering and perceptual learning
Ref:Prof. Brauer, Prof. Deco, Universität Pompeu Fabra, Barcelona, 08.05.2008

 Dötzer, Florian:
Security Concepts for Robust and Highly Mobile Ad-hoc Networks
Ref:Prof. Baumgarten, Prof. Eckert, TU Darmstadt, 09.05.2008

 Obua, Steven:
Flyspeck II: The Basic Linear Programs
Ref:Prof. Nipkow, Prof. Hales, University of Pittsburgh, 21.05.2008

 Dümichen, Ulrich:
Mobile Services: A Platform-independent Structure for Development and Usage
Ref:Prof. Baumgarten, Prof. Schlichter, 27.05.2008

 Schiwietz, Thomas:
Accleration of Medical Imaging Algorithms Using Programmable Graphics Hardware
Ref:Prof. Westermann, Prof. Preim, Universität Magdeburg, 06.06.2008

 Förster, Claudia:
Risikomanagement in Web-Projekten
Ref:Prof. Krcmar, Prof. Schlichter, 18.06.2008

 Hillebrand, Christian:
Terminalbasierte Positionsbestimmung als Grundlage von proaktiven Location Based (Community) Services in mobilen Funknetzwerken
Ref:Prof. Baumgarten, Prof. Schlichter, 24.06.2008

 Kuhrmann, Marco:
Konstruktion modularer Vorgehensmodelle
Ref:Prof. Broy, Prof. Schürr, TU Darmstadt, 26.06.2008

 Graves, Alex:
Supervised Sequence Labelling with Recurrent Neural Networks
Ref:Prof. Schmidhuber, Prof. Kramer, 01.07.2008

 Kammenhuber, Nils:
Traffic Adaptive Routing
Ref:Prof. Feldmann, TU Berlin, Prof. Fuhrmann, 09.07.2008

 Li, Tianchao:
Grid Resource Management with Service Level Agreements
Ref:Prof. Gerndt, Prof. Bichler, 14.07.2008

 Kramm, Matthias:
Kompression großer Bilddatenbanken mittels Ähnlichkeitsgruppierung
Ref:Prof. Schlichter, Prof. Borghoff, Universität der Bundeswehr München, 18.07.2008

 Müller, Armin:
Transformational Planning for Autonomous Household Robots Using Libraries of Robust and Flexible Plans
Ref:Prof. Beetz, Prof. Hertzberg, Universität Osnabrück, 21.07.2008

 Pikovsky, Alexander:
Pricing and Bidding Strategies in Iterative Combinatorial Auctions
Ref:Prof. Bichler, Prof. Kemper, 25.07.2008

 Stodden, Daniel:
Live Replication of Paravirtual Machines
Ref:Prof. Bode, Prof. Baumgarten, 28.07.2008

 Beneken, Gerd:
LOGISCHE ARCHITEKTUREN - Eine Theorie der Strukturen und ihre Anwendung in Dokumentation und Projektmanagement
Ref:Prof. Broy, Prof. Brügge, 29.07.2008

 Fleischmann, Andreas:
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich
Ref:Prof. Broy, Prof. Partsch, Universität Ulm, 30.07.2008

 Deubler, Martin:
Strukturierte Nutzungssicht für multifunktionale Systeme
Ref:Prof. Broy, Prof. Schlichter, 22.09.2008

 Reich, Jochen:
Supporting the Execution of Knowledge Intensive Processes by Means of Expert and Best-Practice Mediation
Ref:Prof. Schlichter, Prof. Baumgarten, 23.09.2008

 Rittmann, Sabine:
A methodology for modeling usage behavior of multi-functional systems
Ref:Prof. Broy, Prof. Glinz, Universität Zürich, 23.09.2008

 Buckl, Christian:
Model-Based Development of Fault-Tolerant Real-Time Systems
Ref:Prof. Knoll, Prof. Lee, UC Berkley, 01.10.2008

 Weber, Tjark:
SAT-Based Finite Model Generation for Higher-Order Logic
Ref:Prof. Nipkow, Prof. Veith, TU Darmstadt, 09.10.2008

 Lasowski, Ruxandra:
Visualization modes for CT-fluoroscopy guided RF liver ablation
Ref:Prof. Navab, Prof. Meinzer, DKFZ Heidelberg, 17.10.2008

 Hammerschall, Ulrike:
Flexible Methodenintegration an anpassbare Vorgehensmodelle
Ref:Prof. Broy, Prof. Brügge, 27.10.2008

 Walchshäusl, Leonhard:
Maschinelle Erkennung von Verkehrsteilnehmern mittels heterogener Sensorik
Ref:Prof. Klinker, Prof. Burschka, 29.10.2008

 Muntean, Ioan Lucian:
Efficient Distributed Numerical Simulations on the Grid
Ref:Prof. Bungartz, Prof. Nagel, TU Dresden, 31.10.2008

 Lankes, Josef:
Metrics for Application Landscapes: Status Quo, Developtment, and a Case Study
Ref:Prof. Matthes, Prof. Bichler, 03.11.2008

 Kondratieva, Polina:
Real-Time Approaches for the Model-Based Reconstruction and Visualization of Flow Fields
Ref:Prof. Westermann, Prof. Ertl, Universität Stuttgart, 06.11.2008

 Sekatzek, Eva Peggy:
Einsatzentscheidung und -steuerung von SAP Standard Business Software in der deutschen Automobilindustrie
Ref:Prof. Krcmar, Prof. Matthes, 06.11.2008

 Traub, Jörg:
New Concepts for Design and Workflow Driven Evaluation of Computer Assisted Surgey Solutions
Ref:Prof. Navab, Prof. Jannin, McGill University, Prof. Euler, LMU Fakultät ME, 12.11.2008

 Tönnis, Marcus:
Towards Automotive Augmented Reality
Ref:Prof. Klinker, Prof. Bubb, TUM Fakultät MW, 17.11.2008

 Botaschanjan, Jewgenij:
Techniques for Property Preservation in the Development of Real-Time Systems
Ref:Prof. Broy, Prof. Knoll, 18.12.2008

 Thurimella, Anil Kumar:
Issue-based Variability Modeling
Ref:Prof. Brügge, Prof. Grünbacher, Universität Linz, 19.12.2008

 zurück

 

Department Events

 all
12.09.13
SAP Academic Conference EMEA...: The 18th SAP Academic Conference EMEA and 10th Anniversary of the SAP...  [more]
11.07.13
in.tum.summer party: The Department of Informatics would like to invite its students and...  [more]
RSS-Feed subscribe RSS