PhD defenses at the Faculty of Informatics
- 18.04.2012: Modeling of Market Behavior in Different Scales Using Multi-agent Simulation of Participants’ Cognitive Behavior
- 13.02.2012: Change-centric Improvement of Team Collaboration
- 15.12.2011: User Participation and Community Formation in Peer Production Systems
- 30.09.2011: Understanding the Performance of Interactive Applications
- 21.07.2011: Rapid Development of Dynamic Program Analyses
- 01.07.2011: Automatic Workarounds: Exploiting the Intrinsic Redundancy of Software Systems
- 26.05.2011: Towards Self-Adaptive Security for Pervasive Computing Architectures
- 19.05.2011: Architectural Exploration and Scheduling Methods for Coarse Grained Reconfigurable Arrays
- 18.05.2011: Social Shuffle - Tag Navigation and Social Diffusion for Music Discovery
- 04.04.2011: Enhancing Service-oriented Systems with Autonomic Capabilities - CANCELLED
- 03.03.2011: A Design Space Exploration Methodology Supporting Run-Time Resource Management for Multi-core Architectures
- 23.02.2011: Scalable Abstractions for Efficient Security Checks
- 31.01.2011: Power Modeling and Simulation for Wireless Sensor Networks
- 28.01.2011: Algebraic Formal Methods for Invariant Generation
- 10.01.2011: Processing Mesh Animations - From Static to Dynamic Geometry and Back
- 30.11.2010: Semantic Document Architecture for Desktop Data Integration and Management
- 19.10.2010: On the Evolution of Source Code and Software Defects
- 21.09.2010: Software Systems as Cities
- 29.04.2010: Peer-to-Peer Algorithms for Sampling Generic Topologies
- 24.03.2010: Online Dynamic Algorithm Portfolios
- 22.03.2010: Automatically Generated Runtime Checks for Design-Level Constraints
- 17.03.2010: Approximability of Precedence Constrained and Robust Scheduling Problems
- 15.12.2009: A Design Flow and Evaluation Framework for DPA-resistant Embedded Systems - A step towards design automation for security
- 12.10.2009: Reverse Engineering Software Ecosystems
- 09.10.2009: On Multicast Primitives in Large Networks and Partial Replication Protocols
- 12.06.2009: Approximability of Some Classical Graph and Scheduling Problems
- 27.05.2009: Compilation and Design Automation For Extensible Embedded Processors
- 14.05.2009: Teaching Networks How To Learn
- 06.05.2009: On Non-Intrusive Workload-Aware Database Replication
- 01.12.2008: Of Change And Software
- 17.06.2008: Machine Super Intelligence
- 29.04.2008: Multicoordinated Agreement Protocols and the Log Service
- 16.04.2008: Imprecise Probabilistic Graphical Models: Equivalent Representations, Inference Algorithms And Applications