2024

Wolski, André (2024)
Local-First Enterprise Applications.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00027006
Master Thesis, Primary publication, Publisher's Version

2023

Balduin, Norbert ; Becker, Georg ; Brand, Jürgen ; Görgen, Michael ; Hannappel, Mario ; Hasenfuß, Patrick ; Ley, Benedikt ; Pipek, Volkmar ; Probst, Florian ; Reuter, Christian ; Rose, Thomas ; Rusch, Gebhard ; Wiedenhoefer, Torben ; Zinnen, Andreas (2023)
InfoStrom: Learning information infrastructures for crisis management in case of medium to large electrical power breakdowns.
Future Security - 5th Security Research Conference. Berlin, Germany (07.09.2010-09.09.2010)
doi: 10.26083/tuprints-00022509
Conference or Workshop Item, Secondary publication, Publisher's Version

Leopold, Inken ; Reuter, Christian (2023)
Kundenakzeptanz von Bluetooth-Beacons im Lebensmittelhandel.
Mensch & Computer 2017. Regensburg, Germany (10.09.2017-13.09.2017)
doi: 10.26083/tuprints-00022393
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Amelunxen, Christoph ; Moi, Matthias (2023)
Semi-Automatic Alerts and Notifications for Emergency Services based on Cross-Platform Social Media Data - Evaluation of a Prototype.
Informatik 2016: von Menschen für Menschen. Klagenfurt, Austria (26.09.2016-30.09.2016)
doi: 10.26083/tuprints-00022395
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Geilen, Gordian ; Gellert, Robin (2023)
Sicherheit vs. Privatsphäre: Zur Akzeptanz von Überwachung in sozialen Medien im Kontext von Terrorkrisen.
Informatik 2016: von Menschen für Menschen. Klagenfurt, Austria (26.09.2016-30.09.2016)
doi: 10.26083/tuprints-00022394
Conference or Workshop Item, Secondary publication, Publisher's Version

Riebe, Thea ; Nordmann, Alfred ; Reuter, Christian (2023)
Responsible Research and Innovation: Interdisziplinärer Workshop von IANUS und Schader-Stiftung.
In: Wissenschaft & Frieden, 2018, 2018 (3)
doi: 10.26083/tuprints-00022510
Article, Secondary publication, Publisher's Version

2022

Reuter, Christian ; Wiegärtner, Daniel ; Müller, Claudia (2022)
DIVOA – Unterstützung der älteren Bevölkerung bei Schadenslagen.
Mensch & Computer 2017. Regensburg, Germany (10.09.2017-13.09.2017)
doi: 10.26083/tuprints-00022389
Conference or Workshop Item, Secondary publication, Publisher's Version

2020

Schmitz, Martin (2020)
3D-Printed Interaction: Digital Fabrication of Touch, Deformation, and Environmental Sensing.
doi: 10.25534/tuprints-00011445
Book, Primary publication, Publisher's Version

Stute, Milan (2020)
Availability by Design: Practical Denial-of-Service-Resilient Distributed Wireless Networks.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011457
Ph.D. Thesis, Primary publication, Publisher's Version

2019

Demmler, Daniel (2019)
Towards Practical Privacy-Preserving Protocols.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Drechsler, Joscha (2019)
Concurrency and Distribution in Reactive Programming.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Gebhardt, Gregor H.W. (2019)
Using Mean Embeddings for State Estimation and Reinforcement Learning.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Gens, David (2019)
OS-level Attacks and Defenses: from Software to Hardware-based Exploits.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Getto, Roman (2019)
Parametric Procedural Models for 3D Object Retrieval, Classification and Parameterization.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ibrahim, Ahmad (2019)
Securing Embedded Networks Through Secure Collective Attestation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ludwig, Thomas ; Reuter, Christian (2019)
Entwicklung einer mobilen Reporting-Applikation zur Artikulation entscheidungsrelevanter Informationsbedarfe im Katastrophenschutz.
Informatik 2014 - Big Data - Komplexität meistern. Stuttgart, Germany (22.09.2014-26.09.2014)
doi: 10.26083/tuprints-00022477
Conference or Workshop Item, Secondary publication, Publisher's Version

Miettinen, Markus (2019)
Context and communication profiling for IoT security and privacy: techniques and applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Reuter, Christian ; Heger, Oliver (2019)
Informelle E-Partizipation in Parteien.
Mensch & Computer 2016. Aachen, Germany (04.09.2016-07.09.2016)
doi: 10.26083/tuprints-00022473
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Hupertz, Julian (2019)
Sozial auch ohne Netz – Soziale Medien bei Infrastrukturproblemen.
Mensch & Computer 2016. Aachen, Germany (04.09.2016-07.09.2016)
doi: 10.26083/tuprints-00022475
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Kaufhold, Marc-André (2019)
Warum Katastrophenschutzbehörden soziale Medien nicht nutzen wollen.
Mensch & Computer 2016. Aachen, Germany (04.09.2016-07.09.2016)
doi: 10.26083/tuprints-00022396
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Ludwig, Thomas (2019)
Anforderungen und technische Konzepte der Krisenkommunikation bei Stromausfall.
Informatik 2013 - Informatik angepasst an Mensch, Organisation und Umwelt. Koblenz, Germany (16.09.2013-20.09.2013)
doi: 10.26083/tuprints-00022478
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Mentler, Tilo ; Geisler, Stefan ; Herczeg, Michael ; Ludwig, Thomas ; Pipek, Volkmar ; Nestler, Simon ; Sautter, Johannes (2019)
Aktuelle Ansätze zur Mensch-Computer-Interaktion in sicherheitskritischen Systemen.
Mensch & Computer 2016. Aachen, Germany (04.09.2016-07.09.2016)
doi: 10.26083/tuprints-00022474
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Pätsch, Katja ; Runft, Elena (2019)
Terrorismus und soziale Medien – Propaganda und Gegenpropaganda.
Mensch & Computer 2016. Aachen, Germany (04.09.2016-07.09.2016)
doi: 10.26083/tuprints-00022398
Conference or Workshop Item, Secondary publication, Publisher's Version

Reuter, Christian ; Ritzkatis, Michael ; Ludwig, Thomas (2019)
Entwicklung eines SOA-basierten und anpassbaren Bewertungsdienstes für Inhalte aus sozialen Medien.
Informatik 2014 - Big Data - Komplexität meistern. Stuttgart, Germany (22.09.2014-26.09.2014)
doi: 10.26083/tuprints-00022476
Conference or Workshop Item, Secondary publication, Publisher's Version

Riemann, Jan (2019)
Interaction Concepts for Knowledge Work on Augmented Desktops.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Saissi, Habib (2019)
On the Application of Formal Techniques for Dependable Concurrent Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schnitzer, Steffen (2019)
Task Recommendation in Crowdsourcing Platforms.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Stock, Florian-Wolfgang (2019)
Rapid Prototyping and Exploration Environment for Generating C-to-Hardware-Compilers.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Tavakol, Maryam (2019)
Contextual Models for Sequential Recommendation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wiedenhoefer, Torben ; Reuter, Christian ; Ley, Benedikt ; Pipek, Volkmar (2019)
Entwicklung IT-basierter interorganisationaler Krisenmanagement-Infrastrukturen für Stromausfälle.
Informatik 2013 - Informatik angepasst an Mensch, Organisation und Umwelt. Koblenz, Germany (16.09.2013-20.09.2013)
doi: 10.26083/tuprints-00022479
Conference or Workshop Item, Secondary publication, Publisher's Version

2018

Amann, Sven (2018)
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bindel, Nina (2018)
On the Security of Lattice-Based Signature Schemes in a Post-Quantum World.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bürdek, Johannes (2018)
Rekonfigurierbare Software-Systeme: Spezifikation und Testfallgenerierung.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Büscher, Niklas (2018)
Compilation for More Practical Secure Multi-Party Computation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Euler, Juliane (2018)
Optimal Cooperative Control of UAVs for Dynamic Data-Driven Monitoring Tasks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ewerton, Marco ; Rother, David ; Weimar, Jakob ; Kollegger, Gerrit ; Wiemeyer, Josef ; Peters, Jan ; Maeda, Guilherme (2018)
Assisting Movement Training and Execution With Visual and Haptic Feedback.
In: Frontiers in Neurorobotics, 2018, 12
Article, Secondary publication, Publisher's Version

Geihs, Matthias (2018)
Long-Term Protection of Integrity and Confidentiality – Security Foundations and System Constructions.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Günther, Felix (2018)
Modeling Advanced Security Aspects of Key Exchange and Secure Channel Protocols.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Heß, Martin Philipp (2018)
Visual Search and Analysis in Molecular Biology.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kirchhoff, Jérôme (2018)
Towards Dependability of Ultra Lightweight Tendon Driven Series Elastic Robots.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Krämer, Michel (2018)
A microservice architecture for the processing of large geospatial data in the Cloud.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Langguth, Fabian (2018)
Gradient Domain Methods for Image-based Reconstruction and Rendering.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Liebchen, Christopher (2018)
Advancing Memory-corruption Attacks and Defenses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Rehfeld, Timo (2018)
Combining Appearance, Depth and Motion for Efficient Semantic Scene Understanding.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Reimers, Nils Fabian (2018)
Universal Machine Learning Methods for Detecting and Temporal Anchoring of Events.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Reuter, Christian ; Mentler, Tilo ; Geisler, Stefan ; Herczeg, Michael ; Ludwig, Thomas ; Pipek, Volkmar ; Nestler, Simon (2018)
4. Workshop Mensch-Maschine-Interaktion in sicherheitskritischen Systemen.
Mensch und Computer 2017. Regensburg, Germany (10.09.2017-13.09.2017)
doi: 10.26083/tuprints-00022392
Conference or Workshop Item, Secondary publication, Publisher's Version

Samelin, Kai (2018)
Personal and Password-Based Cryptography.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schulz, Matthias (2018)
Teaching Your Wireless Card New Tricks: Smartphone Performance and Security Enhancements Through Wi-Fi Firmware Modifications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Stohr, Denny (2018)
User-centric Video in the Future Internet: QoE in Participatory Video Generation and Distribution.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Vinogradska, Julia (2018)
Gaussian Processes in Reinforcement Learning: Stability Analysis and Efficient Value Propagation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wolski, André (2018)
Spezifikation einer Ausführungssemantik für das Subjektorientierte Prozessmanagement mit CoreASM.
Technische Universität Darmstadt
Bachelor Thesis, Primary publication

Wunderer, Thomas (2018)
On the Security of Lattice-Based Cryptography Against Lattice Reduction and Hybrid Attacks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2017

Arzt, Steven (2017)
Static Data Flow Analysis for Android Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bleikertz, Sören (2017)
Automated Security Analysis of Virtualized Infrastructures.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Demir, Kubilay (2017)
A Secure and Reliable Communication Platform for the Smart Grid.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Flekova, Lucie (2017)
Leveraging Lexical-Semantic Knowledge for Text Classification Tasks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Follner, Andreas (2017)
On Generating Gadget Chains for Return-Oriented Programming.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Gay, Richard (2017)
A Generic Framework for Enforcing Security in Distributed Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ghiglieri, Marco (2017)
Smart TV Privacy Risks and Protection Measures.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Göbel, Stefan (2017)
Autorenumgebung für Serious Games - StoryTec: Eine Autorenumgebung und narrative Objekte für personalisierte Serious Games.
Technische Universität Darmstadt, 2017
Habilitation, Secondary publication

Heuschkel, Jens ; Hofmann, Tobias ; Hollstein, Thorsten ; Kuepper, Joel (2017)
Introduction to Raw-sockets.
Report, Primary publication

Huthmann, Jens Christoph (2017)
An Execution Model and High-Level-Synthesis System for Generating SIMT Multi-Threaded Hardware from C Source Code.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Marson, Giorgia Azzurra (2017)
Real-World Aspects of Secure Channels: Fragmentation, Causality, and Forward Security.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Proksch, Sebastian (2017)
Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ritter, Tobias (2017)
PDE-Based Dynamic Data-Driven Monitoring of Atmospheric Dispersion Processes.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schaller, André (2017)
Lightweight Protocols and Applications for Memory-Based Intrinsic Physically Unclonable Functions on Commercial Off-The-Shelve Devices.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Waechter, Michael (2017)
Novel View Prediction Error as a Quality Metric for Image-Based Modeling and Rendering.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wirth, Christian (2017)
Efficient Preference-based Reinforcement Learning.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Zmudzinski, Sascha (2017)
Digital Watermarking for Verification of Perception-based Integrity of Audio Data.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2016

Budurushi, Jurlind (2016)
Usable Security Evaluation of EasyVote in the Context of Complex Elections.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Büttner, Carsten (2016)
Anonymous Authenticated Car-to-X Communication.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Engel, Andreas (2016)
A Heterogeneous System Architecture for Low-Power Wireless Sensor Nodes in Compute-Intensive Distributed Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Frischbier, Sebastian (2016)
Runtime Support for Quality of Information Requirements in Event-based Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Frömmgen, Alexander ; Hassan, Mohamed ; Kluge, Roland ; Mousavi, Mahdi ; Mühlhäuser, Max ; Müller, Sabrina ; Schnee, Mathias ; Stein, Michael ; Weckesser, Markus
ed.: Mühlhäuser, Max (2016)
Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
Report, Primary publication

Göpfert, Florian (2016)
Securely Instantiating Cryptographic Schemes Based on the Learning with Errors Assumption.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hentschel, Martin (2016)
Integrating Symbolic Execution, Debugging and Verification.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hermann, Ben (2016)
Full-Stack Static Security Analysis for the Java Platform.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Herzog, Arthur (2016)
A3ME – Device-Agent based Middleware for Mixed Mode Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication, Publisher's Version

Lehn, Max (2016)
InterestCast: Adaptive Event Dissemination for Interactive Real-Time Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lerch, Johannes (2016)
On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Li, Zhen (2016)
Discovery of Potential Parallelism in Sequential Programs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mariano, Artur (2016)
High performance algorithms for lattice-based cryptanalysis.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mäurer, Daniel (2016)
Rational Decision Support with a Natural Language Dialogue System.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Neumann, Stephan (2016)
Evaluation and Improvement of Internet Voting Schemes Based on Legally-Founded Security Requirements.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Prabhakaran, Suraj (2016)
Dynamic Resource Management and Job Scheduling for High Performance Computing.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Riedl, Martin (2016)
Unsupervised Methods for Learning and Using Semantics of Natural Language.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Salah, Hani (2016)
Measuring, Understanding, and Improving Content Distribution Technologies.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Samadzadegan, Sepideh (2016)
Printing Beyond Color: Spectral and Specular Reproduction.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Scholz, Dorian (2016)
On the Design and Development of Musculoskeletal Bipedal Robots.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schwierczek, Kai (2016)
Computing Joint Delay Distributions for Trains in Railway Networks.
Technische Universität Darmstadt
Bachelor Thesis, Primary publication

Schäfer, Marcel (2016)
Collusion Secure Fingerprint Watermarking.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wilk, Stefan (2016)
Quality-aware Content Adaptation in Digital Video Streaming.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

van Hoof, Herke (2016)
Machine Learning through Exploration for Perception-Driven Robotics.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2015

Bernard, Jürgen (2015)
Exploratory search in time-oriented primary data.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Borges de Oliveira, Fábio (2015)
On Privacy-Preserving Protocols for Smart Metering Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Davi, Lucas Vincenzo (2015)
Code-Reuse Attacks and Defenses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dezfuli, Niloofar (2015)
Novel Interaction Concepts for Event Participation Through Social Television.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dmitrienko, Alexandra (2015)
Security and privacy aspects of mobile platforms and applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Freudenreich, Tobias (2015)
Simplifying the use of event-based systems with context mediation and declarative descriptions.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Germanus, Daniel (2015)
Increasing Structured P2P Protocol Resilience to Localized Attacks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Grosse-Puppendahl, Tobias (2015)
Capacitive Sensing and Communication for Ubiquitous Interaction and Environmental Perception.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hammer, Volker (2015)
TORA - Three Level Ordered Requirements Analysis.
Report, Primary publication

Hauke, Sascha (2015)
On the Statistics of Trustworthiness Prediction.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Heinrichs, Farid Hamza Felix (2015)
Mobile Pen and Paper Interaction.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kohlbrecher, Stefan (2015)
A Holistic Approach for Highly Versatile Supervised Autonomous Urban Search and Rescue Robots.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kroemer, Oliver B. (2015)
Machine Learning for Robot Grasping and Manipulation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Loch Navarro, Adrian Carlos (2015)
Enabling Efficient, Robust, and Scalable Wireless Multi-Hop Networks: A Cross-Layer Approach Exploiting Cooperative Diversity.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Matuschek, Michael (2015)
Word Sense Alignment of Lexical Resources.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Miche, Markus (2015)
Content Placement Strategies for Smart Products.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Piper, Thorsten (2015)
Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Riecker, Michael (2015)
Lightweight Intrusion Detection in Wireless Sensor Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Van Ham, Jurgen Michael (2015)
Seamless Concurrent Programming of Objects, Aspects and Events.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Winter, Stefan (2015)
On the Utility of Higher Order Fault Models for Fault Injections.
Book, Primary publication

2014

Aly, Mohamed Abdulazim Mohamed (2014)
An Extension Interface Concept for Multilayered Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Appel, Stefan (2014)
Integration of Event Processing with Service-oriented Architectures and Business Processes.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Baecher, Paul (2014)
Cryptographic Reductions: Classification and Applications to Ideal Models.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Becker, Meike (2014)
Patientenspezifische Planung für die Multi-Port Otobasischirurgie.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Berlin, Eugen (2014)
Early Abstraction of Inertial Sensor Data for Long-Term Deployments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bißmeyer, Norbert (2014)
Misbehavior Detection and Attacker Identification in Vehicular Ad-hoc Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Braun, Andreas (2014)
Application and validation of capacitive proximity sensing systems in smart environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Breitinger, Frank (2014)
On the utility of bytewise approximate matching in computer science with a special focus on digital forensics investigations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Demirel, Denise (2014)
Universally Verifiable Poll-Site Voting Schemes Providing Everlasting Privacy.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Eckart de Castilho, Richard (2014)
Natural Language Processing: Integration of Automatic and Manual Analysis.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Gündling, Felix ; Keyhani, Mohammad Hossein ; Schnee, Mathias ; Weihe, Karsten (2014)
Fully Realistic Multi-Criteria Multi-Modal Routing.
Report, Primary publication

Habib, Sheikh Mahbub (2014)
Trust Establishment Mechanisms for Distributed Service Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ji, Ran (2014)
Sound Program Transformation Based on Symbolic Execution and Deduction.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kahn, Svenja (2014)
Precise Depth Image Based Real-Time 3D Difference Detection.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Khalilbeigi Khameneh, Mohammadreza (2014)
Physical Interaction Concepts for Knowledge Work Practices.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lissermann, Roman (2014)
Novel Devices and Interaction Concepts for Fluid Collaboration.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Luck, Kevin Sebastian (2014)
Latent Space Reinforcement Learning.
Technische Universität Darmstadt
Bachelor Thesis, Primary publication

Mitschke, Ralf (2014)
Scalable Automated Incrementalization for Real-Time Static Analyses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mysore Sachidananda, Vinay (2014)
On Maximizing the Efficiency of Multipurpose WSNs Through Avoidance of Over- or Under-Provisioning of Information.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Panitzek, Kamill (2014)
Mobile Service Provision in Harsh Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Petersen, Karen (2014)
General Concepts for Human Supervision of Autonomous Robot Teams.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Radkhah, Katayon (2014)
Advancing Musculoskeletal Robot Design for Dynamic and Energy-Efficient Bipedal Locomotion.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schmittner, Milan (2014)
Scalable and Secure Multicast Routing for Mobile Ad-hoc Networks.
Technische Universität Darmstadt
Master Thesis, Primary publication

Schulz, Axel (2014)
Mining User-Generated Content for Incidents.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Steger, Teena (2014)
Bronchoskopische Navigation mittels Pose Estimation des C-Bogens aus musterkodierten Fluoroskopie-Aufnahmen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wachsmann, Christian (2014)
Trusted and Privacy-preserving Embedded Systems: Advances in Design, Analysis and Application of Lightweight Privacy-preserving Authentication and Physical Security Primitives.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2013

Christin, Delphine (2013)
Privacy in Participatory Sensing - User-controlled Privacy-preserving Solutions for Mobile Sensing Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

EL Yousfi Alaoui, Sidi Mohamed (2013)
Code-based Identification and Signature Schemes.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Güttinger, Dennis (2013)
A New Metaheuristic Approach for Stabilizing the Solution Quality of Simulated Annealing and Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hülsing, Andreas (2013)
Practical Forward Secure Signatures using Minimal Security Assumptions.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kirschner, Matthias (2013)
The Probabilistic Active Shape Model: From Model Construction to Flexible Medical Image Segmentation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Loza Mencía, Eneldo (2013)
Efficient Pairwise Multilabel Classification.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Muelling, Katharina (2013)
Modeling and Learning of Complex Motor Tasks: A Case Study with Robot Table Tennis.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Peter, Andreas (2013)
Securely Outsourcing Computations using Homomorphic Encryption.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Qizhi, Tian (2013)
Novel Power Trace Processing Methods for Side-Channel Analysis of Cryptosystems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Scherer, Maximilian (2013)
Information Retrieval for Multivariate Research Data Repositories.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schröder, Heike (2013)
Physically Uncloneable Functions in the Stand-Alone and Universally Composable Framework.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Strenzke, Falko (2013)
Efficiency and Implementation Security of Code-based Cryptosystems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Thiemert, Stefan (2013)
Digitale Wasserzeichen zum Integritätsschutz von Videodaten.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Walk, Stefan (2013)
Multi-Cue People Detection from Video.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Willkomm, Johannes (2013)
Computing Second Order Derivatives with ADiMat.
Colloquium of the Interdisciplinary Center for Scientific Computing (IWR). Heidelberg University
Conference or Workshop Item, Primary publication

2012

Bruch, Marcel (2012)
IDE 2.0: Leveraging the Wisdom of the Software Engineering Crowds.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Janssen, Frederik (2012)
Heuristic Rule Learning.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Leidl-Müller, Martin (2012)
Bildungsorientierte Gestaltung medialer Lernumgebungen - Eine normative Anforderungsanalyse für mediale Lernumgebungen ausgehend vom Normbereich Bildung.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lens, Thomas (2012)
Physical Human-Robot Interaction with a Lightweight, Elastic Tendon Driven Robotic Arm.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Majuntke, Matthias (2012)
Data Consistency and Coordination for Untrusted Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Nickel, Claudia (2012)
Accelerometer-based Biometric Gait Recognition for Authentication on Smartphones.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Onete, Maria Cristina (2012)
Security Aspects of Distance-Bounding Protocols.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Park, Sang-Hyeun (2012)
Efficient Decomposition-Based Multiclass and Multilabel Classification.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Petter, Andreas (2012)
Modell-zu-Modell-Transformation von Modellen von Benutzerschnittstellen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Poettering, Bertram (2012)
Privacy Protection for Authentication Protocols.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Sewe, Andreas (2012)
Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Tews, Erik (2012)
DECT Security Analysis.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Zhou, Xuebing (2012)
Privacy and Security Assessment of Biometric Template Protection.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2011

Andriluka, Mykhaylo (2011)
Detection, Tracking and Pose Estimation of People in Challenging Real-World Scenes.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bhatti, Nadeem (2011)
Visual Semantic Analysis to Support Semi Automatic Modeling of Service Descriptions.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dinkelaker, Tom (2011)
Reflective Embedding of Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ediger, Patrick (2011)
Modellierung und Techniken zur Optimierung von Multiagentensystemen in Zellularen Automaten.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hartmann, René (2011)
Subdivision Surfaces: C2 schemes and generalized control nets.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hülsing, Andreas ; Buchmann, J. ; Weber, Stefan G. ; Petzoldt, Albrecht ; Thomae, Enrico ; Krämer, Juliane ; Cayrel, Pierre-Louis ; Barreto, Paulo ; Heuser, Annelie
eds.: Peter, Andreas ; Katzenbeisser, Stefan ; Technische Universität Darmstadt (2011)
Tagungsband des 13. Kryptotags. Workshop der Fachgruppe "Angewandte Kryptographie" der "Gesellschaft für Informatik e.V.".
Book, Primary publication

Jakob, Niklas (2011)
Extracting Opinion Targets from User-Generated Discourse with an Application to Recommendation Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kibria, Raihan Hassnain (2011)
Soft Computing Approaches to DPLL SAT Solver Optimization.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kohler, Mathias (2011)
A Framework for ProActive Caching in Business Process-driven Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2010

Fischer, Lars (2010)
Measuring Unlinkability for Privacy Enhancing Technologies.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Friedmann, Martin (2010)
Simulation of Autonomous Robot Teams with Adaptable Levels of Abstraction.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Gasiūnas, Vaidas (2010)
Advanced Object-Oriented Language Mechanisms for Variability Management.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Girschick, Martin (2010)
Implementing Architecture Stratification.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hartmann, Melanie (2010)
Context-Aware Intelligent User Interfaces for Supporting System Use.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hemker, Thomas (2010)
Derivative Free Surrogate Optimization for Mixed-Integer Nonlinear Black Box Problems in Engineering.
Book, Primary publication

Hofmann, Cristian Erick (2010)
Process-based Design of Multimedia Annotation Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kinder, Johannes (2010)
Static Analysis of x86 Executables.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Krumov, Lachezar (2010)
Local Structures Determine Performance within Complex Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lehmann, Anja (2010)
On the Security of Hash Function Combiners.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Reinl, Christian (2010)
Trajektorien- und Aufgabenplanung kooperierender Fahrzeuge: Diskret-kontinuierliche Modellierung und Optimierung.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schnitzspan, Paul (2010)
Conditional Random Fields for Detection of Visual Object Classes.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schröder, Dominique (2010)
On the Complexity of Blind Signatures.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Serafini, Marco (2010)
Efficient and Low-Cost Fault Tolerance for Web-Scale Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Shaikh, Faisal Karim (2010)
Tunable Reliability of Information Transport in Wireless Sensor Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Stark, Michael (2010)
On Knowledge Transfer in Object Class Recognition.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Stikic, Maja (2010)
Towards Less Supervision for Scalable Recognition of Daily Activities.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Tzvetkov, Vesselin Dimitrov (2010)
Virtual Private Networks for mobile environments. Development of protocol for mobile security and algorithms for location update.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Willkomm, Johannes (2010)
Automatic Differentiation for Matlab (ADiMat).
One Minute Madness - Tag der Informatik. RWTH Aachen University
Conference or Workshop Item, Primary publication

2009

Aderhold, Markus Axel (2009)
Verification of Second-Order Functional Programs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dinkelaker, Tom ; Wende, Christian ; Lochmann, Henrik (2009)
Implementing and Composing MDSD-Typical DSLs.
Report, Primary publication

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut (2009)
A Precise Specification Framework for White Box Program Testing.
Report, Primary publication

Nazari Shirehjini, Ali Asghar (2009)
Interaktion in Ambient Intelligence -- Konzeption eines intuitiven Assistenten zur ganzheitlichen und konfliktfreien Interaktion in adaptiven Umgebungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schnee, Mathias (2009)
Fully Realistic Multi-Criteria Timetable Information Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Willkomm, Johannes (2009)
Introduction to Automatic Differentiation.
PLEIAD-Seminar. Universidad de Chile
Conference or Workshop Item, Primary publication

Willkomm, Johannes (2009)
Parallel Summation of Inter-Particle Forces in SPH.
Fifth International Workshop on Meshfree Methods for Partial Differential Equations. Universität Bonn
Conference or Workshop Item, Primary publication

Zhu, Zhemin ; Bernhard, Delphine ; Gurevych, Iryna (2009)
A Multi-Dimensional Model for Assessing the Quality of Answers in Social Q&A Sites.
Report, Primary publication

2008

eds.: Reinl, Christian ; Petersen, Karen ; Stryk, Oskar von ; DFG Graduiertenkolleg 1362 "Cooperative, Adaptive and Responsive Monitoring in Mixed Mode Environments" (2008)
Summer School "Monitoring and Coordination Across Networked Autonomous Entities".
Book, Primary publication

Adamson, Anders (2008)
Computing Curves and Surfaces from Points.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Alexa, Marc (2008)
Shape Spaces from Morphing.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Behr, Johannes (2008)
Avalon: Ein skalierbares Rahmensystem für dynamische Mixed-Reality Anwendungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bimber, Oliver (2008)
Interactive Rendering For Projection-Based Augmented Reality Displays.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Blechschmitt, Eric (2008)
Adaptive Mensch-Maschine Interaktion für mobile Agenten.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Coors, Volker (2008)
Graphical Abstraction and Progressive Transmission in Internet-based 3D-Geoinformationsystems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Döring, Martin (2008)
On the Theory and Practice of Quantum-Immune Cryptography.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Enzmann, Matthias (2008)
Methods to Improve Privacy and Loyalty in Online Commerce.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Finke, Matthias (2008)
Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Firle, Evelyn A. (2008)
Automatische multimodale nicht-elastische Registrierung und Visualisierung medizinischer 2D, 3D und 4D Datensätze.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Fröhlich, Torsten (2008)
Dynamisches Objektverhalten in Virtuellen Umgebungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Fuhrmann, Arnulph (2008)
Interaktive Animation textiler Materialien.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Graf, Frank (2008)
Lernspezifische Sicherheitsmechanismen in Lernumgebungen mit modularem Lernmaterial.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Großkopf, Stefan (2008)
Realitätsnahe Modellierung und Visualisierung dynamischer medizinischer Bilddaten mittels aktiver Konturen, aktiver Regionen und deformierbarer Modelle.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hellenschmidt, Michael (2008)
Software-Infrastruktur und Entwicklungsumgebung für selbstorganisierende multimediale Ensembles in Ambient-Intelligence-Umgebungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hildenbrand, Dietmar (2008)
Geometric Computing in Computer Graphics and Robotics using Conformal Geometric Algebra.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Huynh, Duy Tâm Gilles (2008)
Human Activity Recognition with Wearable Sensors.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Iurgel, Ido Aharon (2008)
An Authoring Framework for Interactive Narrative with Virtual Characters.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Johansson, Andréas (2008)
Robustness Evaluation of Operating Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Jung, Volker (2008)
Integrierte Benutzerunterstuetzung fuer die Visualisierung in Geo-Informationssystemen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Karangelis, Grigorios (2008)
3D simulation of external beam radiotherapy.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Klein, Konrad (2008)
Automatisierung der 3D-Rekonstruktion aus mehreren Tiefenbildern durch Optimierung prädizierter Qualitätsgewinne.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Klug, Tobias (2008)
Prozessunterstützung für den Entwurf von Wearable-Computing-Systemen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Knöpfle, Christian (2008)
Intuitive und Immersive Interaktion für Virtuelle Umgebungen am Beispiel von VR-Design Review.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kresse, Wolfram (2008)
Photometrisch konsistente Radiositysimulation und Bildwiedergabe in Virtual und Augmented Reality Anwendungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kretschmer, Ursula (2008)
Tracking einer Person im urbanen Umfeld mit Positions- und Blickrichtungsbestimmung auf Basis eines 3D-Stadtmodells.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Liu, Huajian (2008)
Digital Watermarking for Image Content Authentication.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lutz, Bernd (2008)
Konzepte für den Einsatz von Virtueller und Erweiterter Realität zur interaktiven Wissensvermittlung.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Peters, Ralph (2008)
Interaktion und Transparenz im Kontext computergestützter kooperativer Verwaltungsumgebungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Posada-Velasquez, Jorge-Leon (2008)
A Methodology for the Semantic Visualization of Industrial Plant CAD Models for Virtual Reality Walkthroughs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Pyshkin, Andrey (2008)
Algebraic Cryptanalysis of Block Ciphers Using Groebner Bases.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Richter, Kai (2008)
Methoden zur Unterstützung bei der Entwicklung plattformübergreifender Benutzerschnittstellen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Roeder, Patrick (2008)
History-Based Access Control for XML Documents.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Roth, Marcus (2008)
Parallele Bildberechnung in einem Netzwerk von Workstations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Sahm, Jörg (2008)
Kollaborative Visualisierung großer, interaktiver und dynamischer 3D Szenen auf verteilten Endgeräten.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schneider, Sascha (2008)
Interaktive massiv-parallele Visualisierung großer Datenmengen aus Strömungssimulationen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schwald, Bernd (2008)
Punktbasiertes 3D-Tracking starrer und dynamischer Modelle mit einem Stereokamerasystem für Mixed Reality.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Stille, Wolfgang (2008)
Solution Techniques for specific Bin Packing Problems with Applications to Assembly Line Optimization.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication, Publisher's Version

Stricker, Didier (2008)
Computer-Vision-basierte Tracking- und Kalibrierungsverfahren für Augmented Reality.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Taponecco, Francesca (2008)
Steerable Texture Synthesis for Vector Field Visualization.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Volmer, Stephan (2008)
Inhaltsbasierte Bildsuche mittels visueller Merkmale.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Weidenhausen, Jens-Martin (2008)
Mobile Mixed Reality Platform.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wesarg, Stefan (2008)
Automatisierte Analyse und Visualisierung der Koronararterien und großen Kavitäten des Herzens für die klinische Anwendung.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2007

Behnel, Stefan (2007)
A Model Driven Architecture for Adaptable Overlay Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Charfi, Anis (2007)
Aspect-Oriented Workflow Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Eichberg, Michael (2007)
Open Integrated Development and Analysis Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Haisch, Michael Karl Dieter (2007)
Sicheres Übergangsloses Roaming.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hauck, Oliver (2007)
Asynchronous Wave Pipelines for Energy Efficient GigaHertz VLSI.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Heinemann, Andreas (2007)
Collaboration in Opportunistic Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hochstein, Jan M. (2007)
Maximale Flüsse in fast-planaren Graphen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Karatsiolis, Evangelos (2007)
Flexible Certificate Management in Public Key Infrastructures.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kneević, Predrag (2007)
High Data Availability and Consistency for Distributed Hash Tables Deployed in Dynamic Peer-to-peer Communities.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

L'Abbate, Marcello (2007)
Modelling Proactive Behaviour of Conversational Interfaces.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Martin, Roland (2007)
Breaking Weak Symmetries in Constraint Programming.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Overbeck, Raphael (2007)
Public Key Cryptography based on Coding Theory.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schmidt, Arthur (2007)
Zur Lösung von zahlentheoretischen Problemen mit klassischen und Quantencomputern.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schnelle, Dirk (2007)
Context Aware Voice User Interfaces for Workflow Support.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schweitzer, Dirk Stephan (2007)
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Shoufan, Abdulhadi (2007)
Group Key Management.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2006

Chen, Libo (2006)
Automatic Construction of Domain-Specific Concept Structures.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Coronado García, Luis Carlos (2006)
Provably Secure and Practical Signature Schemes.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Haupt, Michael (2006)
Virtual Machine Support for Aspect-Oriented Programming Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hein, Matthias (2006)
Geometrical aspects of statistical learning theory.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hörmann, Stefan (2006)
Wiederverwendung von digitalen Lernobjekten in einem auf Aggregation basierenden Autorenprozess.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kuß, Malte (2006)
Gaussian Process Models for Robust Regression, Classification, and Reinforcement Learning.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lehti, Patrick (2006)
Unsupervised Duplicate Detection Using Sample Non-Duplicates.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ludwig, Christoph (2006)
Practical Lattice Basis Sampling Reduction.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mahleko, Bendick (2006)
Efficient Matchmaking of Business Processes in Web Service Infrastructures.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Meyer, Andreas (2006)
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Meyer, Ulrike (2006)
Secure Roaming and Handover Procedures in Wireless Access Networks.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Risse, Thomas (2006)
Design and Configuration of Distributed Job Processing Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schmidt-Samoa, Katja (2006)
Contributions to Provable Security and Efficient Cryptography.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Stibor, Thomas (2006)
On the Appropriateness of Negative Selection for Anomaly Detection and Network Intrusion Detection.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Straub, Tobias (2006)
Usability Challenges of PKI.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wombacher, Andreas (2006)
Decentralized establishment of consistent, multi-lateral collaborations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Yuan, Song (2006)
Digital Watermarking-Based Authentication Techniques For Real-Time Multimedia Communication.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2005

Besten, Matthijs Leendert den (2005)
Simple Metaheuristics for Scheduling.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Cepa, Vasian (2005)
Product-Line development for mobile device applications with attribute supported containers.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Chiarandini, Marco (2005)
Stochastic Local Search Methods for Highly Constrained Combinatorial Optimisation Problems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dehmer, Matthias (2005)
Strukturelle Analyse Web-basierter Dokumente.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Fiege, Ludger (2005)
Visibility in Event-Based Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Glier, Oliver (2005)
Persistent Arrays, Path Problems, and Context-free Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Heckmann, Oliver (2005)
A System-oriented Approach to Efficiency and Quality of Service for Internet Service Providers.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hühnlein, Detlef (2005)
Kryptosysteme auf Basis imaginärquadratischer Nichtmaximalordnungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kaes, Stefan (2005)
Parametrischer Polymorphismus, Überladungen und Konversionen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kilian, Jürgen (2005)
Inferring Score Level Musical Information From Low-Level Musical Data.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Varrentrapp, Klaus E. (2005)
A Practical Framework for Adaptive Metaheuristics.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Zeidler, Andreas (2005)
A Distributed Publish/Subscribe Notification Service for Pervasive Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2004

Braun, Norbert (2004)
Nonlinear Storytelling.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Busse, Ralph (2004)
Objektorientierte Sichten zur Integration statisch getypter Objektbanken.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Faatz, Andreas (2004)
Ein Verfahren zur Anreicherung fachgebietsspezifischer Ontologien durch Begriffsvorschläge.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Fraikin, Falk (2004)
Entwicklungsbegleitendes Testen mittels UML Sequenzdiagrammen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Henhapl, Birgit (2004)
Zur Effizienz von Elliptische-Kurven-Kryptographie.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Jhumka, Arshad (2004)
Automated Design of Efficient Fail-Safe Fault Tolerance.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Klupsch, Steffen (2004)
Entwurfsmethodik heterogener Systeme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Leissler, Martin (2004)
A Generic Framework for the Development of 3D Information Visualization Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

On, Giwon (2004)
Quality of Availability for Widely Distributed and Replicated Content Stores.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Qiu, Zhanzi (2004)
Hyperstructure-Based Search Methods for the World Wide Web.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Tandler, Peter (2004)
Synchronous Collaboration in Ubiquitous Computing Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Vogt, Holger (2004)
Fairer Austausch.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Vollmer, Ulrich (2004)
Rigorously Analyzed Algorithms for the Discrete Logarithm Problem in Quadratic Number Fields.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Yevtushenko, Serhiy (2004)
Computing and Visualizing Concept Lattices.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2003

Ackermann, Ralf (2003)
Gateways and Components for Supplementary IP Telephony Services in Heterogeneous Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Alves dos Santos, Luiz Manoel (2003)
Asymmetric and Adaptive Conference Systems for Enabling Computer-Supported Mobile Activities.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Baumgart, Jörg (2003)
Analyse, Entwurf und Generierung von Rollen- und Variantenmodellen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Handl, Daniela (2003)
HotFlow und StAdT.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Huang, Lieming (2003)
Challenging the Invisible Web.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Martin, Ludger (2003)
Visuelles Komponieren und Testen von Komponenten am Beispiel von Agenten im elektronischen Handel.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Moschgath, Marie-Luise (2003)
Kontextabhängige Zugriffskontrolle für Anwendungen im Ubiquitous Computing.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Möller, Bodo (2003)
Public-Key Cryptography.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Ostermann, Klaus (2003)
Modules for Hierarchical and Crosscutting Models.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Reinema, Rolf (2003)
Co-operative Workplaces – Workspaces of the Future.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Rensing, Christoph (2003)
Eine policybasierte Zugriffskontrollarchitektur für das Multi Service Internet.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2002

Baier, Harald (2002)
Efficient Algorithms for Generating Elliptic Curves over Finite Fields Suitable for Use in Cryptography.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hamdy, Safuat (2002)
Über die Sicherheit und Effizienz kryptographischer Verfahren mit Klassengruppen imaginär-quadratischer Zahlkörper.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kilian-Kehr, Roger (2002)
Mobile Security with Smartcards.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kügler, Dennis (2002)
Ein mißbrauchfreies anonymes elektronisches Zahlungssystem.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Liepert, Michael (2002)
Rechte, Benutzerrollen und Inhaltsversionierung für verteilte Multimedia-Autorensysteme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Maseberg, Jan Sönke (2002)
Fail-Safe-Konzept für Public-Key-Infrastrukturen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mühl, Gero (2002)
Large-Scale Content-Based Publish-Subscribe Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Neis, Stefan (2002)
Zur Berechnung von Klassengruppen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Reiners, Dirk (2002)
OpenSG.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Renz, Kai (2002)
Algorithms and Data Structures for a Music Notation System based on GUIDO Music Notation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Roedig, Utz (2002)
Firewall-Architekturen für Multimedia-Applikationen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Rosenberger, Ralf (2002)
Zur Generierung von Verhaltensmodellen für gemischt analog/digitale Schaltungen auf Basis der Theorie dynamischer Systeme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Steinacker, Achim (2002)
Medienbausteine für web-basierte Lernsysteme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Wu, Yongmei (2002)
Design Patterns and Frameworks for Developing WIMP+ User Interfaces.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2001

Gärtner, Felix Christoph (2001)
Formale Grundlagen der Fehlertoleranz in verteilten Systemen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Siemon, Elke Anette (2001)
Über den Entwurf von Benutzungsschnittstellen technischer Anwendungen mit visuellen Spezifikationsmethoden und Werkzeugen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Stork, André (2001)
Effiziente 3D-Interaktions- und Visualisierungstechniken für benutzer-zentrierte Modellierungssysteme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Takagi, Tsuyoshi (2001)
New public-key cryptosystems with fast decryption.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Theobald, Patrick (2001)
Ein Framework zur Berechnung der Hermite-Normalform von großen, dünnbesetzten, ganzzahligen Matrizen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Woinowski, Jens Robert (2001)
Church-Rosser Languages and Their Application to Parsing Problems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Zachmann, Gabriel (2001)
Virtual Reality in Assembly Simulation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2000

Griwodz, Carsten (2000)
Wide-area True Video-on-Demand by a Decentralized Cache-based Distribution Infrastructure.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Hemmje, Matthias (2000)
Unterstützung von Information-Retrieval-Dialogen mit Informationssystemen durch interaktive Informationsvisualisierung.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Karsten, Martin (2000)
QoS Signalling and Charging in a Multi-service Internet using RSVP.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Maurer, Markus (2000)
Regulator approximation and fundamental unit computation for real-quadratic orders.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Meister, Gerd (2000)
Untersuchung des Parallelisierungspotentials diskreter ereignisgesteuerter Simulationen am Beispiel der Schaltkreissimulation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Miao, Yongwu (2000)
Design and implementation of a collaborative virtual problem-based learning environment.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication