Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Hasso-Plattner-Institut für Digital Engineering gGmbH

Address Prof.-Dr.-Helmert-Straße 2-3
14482 Potsdam
Deutschland

GERiT This institution in GERiT

14482 Potsdam

Projects

Research Grants
- Current projects
  - Approximating partition functions on geometric spaces
    (Applicant Göbel, Andreas )
  - FC4MC: Modeling and Deployment of Flexible Choreographies in Multi-Chain Environments
    (Applicant Weske, Mathias )
  - Geometric Selfish Network Creation (GEONET)
    (Applicants Friedrich, Ph.D., Tobias ; Lenzner, Pascal )
  - MIDAS: Generation of Large and Heterogeneous Test Data for Duplicate Detection and Elimination
    (Applicant Panse, Fabian )
  - Modular and incremental Global Model Management II
    (Applicant Giese, Holger )
  - Quantitative analysis of service-oriented real-time systems with structure dynamics II (QUANTUM II)
    (Applicant Giese, Holger )
  - SWAVES: Softwarized deployment of services in waves around moving users
    (Applicant Karl, Holger )
  - Teacher Use of Motivational Messages in the Classroom
    (Applicant Lazarides, Rebecca )
  - Theory of Estimation-of-Distribution Algorithms (TEDA)
    (Applicant Friedrich, Ph.D., Tobias )
- Completed projects
  - Analysis of Discrete Load Balancing on Heterogeneous Networks (ADLON)
    (Applicant Friedrich, Ph.D., Tobias )
  - Average-Case Analysis of Parameterized Problems and Algorithms
    (Applicants Friedrich, Ph.D., Tobias ; Guo, Jiong )
  - Correct Model Transformations III (CorMorant III)
    (Applicants Giese, Holger ; Glesner, Sabine )
  - Decomposition of signal transition graphs for the synthesis of asynchronous circuits
    (Applicants Vogler, Walter ; Wollowski, Ralf )
  - Interacting Business Processes based on Data-Driven Service Composition
    (Applicant Weske, Mathias )
  - Linear-Algebraische Berechnungsmodelle für Boolesche Funktionen und ihre Anwendung
    (Applicant Meinel, Christoph )
  - LIVE: Empirical Studies on the Effects of Liveness on Programming
    (Applicant Hirschfeld, Robert )
  - Optimierung hochsprachen-spezifizierter asynchroner Controller mittels STG-Dekomposition (Kennwort: Optacon)
    (Applicants Vogler, Walter ; Wollowski, Ralf )
  - Rendering und Usability von nichtphotorealistischen dreidimensionalen stadträumlichen virtuellen Umgebungen für mobile Geräte
    (Applicants Döllner, Jürgen ; Meng, Liqiu )
  - Scale-Free Satisfiability
    (Applicant Friedrich, Ph.D., Tobias )
  - Species Inference and Quantification in Metaproteogenomics
    (Applicant Renard, Bernhard )
  - Structure of Computational Learning (SCL)
    (Applicant Kötzing, Timo )
  - The Hyperbolic Geometry of Networks
    (Applicant Friedrich, Ph.D., Tobias )
  - Theoretische Grundlagen von Schwarmverfahren
    (Applicants Friedrich, Ph.D., Tobias ; Witt, Carsten )
  - Theory of Swarm Algorithms and Their Effectiveness in Uncertain Environments (TOSU)
    (Applicant Friedrich, Ph.D., Tobias )
Priority Programmes
- Current projects
  - Memento: Energy-Efficient Memory Placement
    (Applicants Hönig, Timo ; Polze, Andreas )
- Completed projects
  - Entwurf von Analyse von BDD-basierten Datenstrukturen zur Repräsentation und automatischen Bearbeitung sequentieller Schaltkreise und Systeme
    (Applicant Meinel, Christoph )
Independent Junior Research Groups
- Completed projects
  - Merging autonomous content for the effective integration of autonomous and heterogeneous information sources
    (Applicant Naumann, Felix )
Research Units
- Current projects
- Completed projects
  - A Library for Scalable Analytics and Mining in Stratosphere
    (Applicant Naumann, Felix )
  - Data Profiling and Data Cleansing on Stratosphere
    (Applicant Naumann, Felix )
  - Distributed Acoustic Signal Processing over Wireless Sensor Networks
    (Applicants Karl, Holger ; Schmalenströer, Jörg )
  - FOR 2457: Acoustic Sensor Networks
    (Spokesperson Häb-Umbach, Reinhold )
  - Formation of Realistic Networks
    (Applicant Friedrich, Ph.D., Tobias )
  - Uncertainty and Data Cleansing in the Stratosphere Cloud Data Management System
    (Applicant Naumann, Felix )
Major Research Instrumentation
- Completed projects
  - HPC-Cluster-System
Research data and software
- Completed projects
  - MaMoDaR: Management of Molecular Data within the Research Data Life Cycle
    (Applicants Grabenhenrich, Linus ; Neuroth, Heike )
  - MetaProteomics Pipeline (MPP): Integrating a stack of metaproteomics data analysis tools into a full-featured and sustainable bioinformatics workflow
    (Applicants Fuchs, Stephan ; Renard, Bernhard )
Collaborative Research Centres
- Current projects
  - SFB 1404: FONDA - Foundations of Workflows for Large-Scale Scientific Data Analysis
    (Spokesperson Leser, Ulf )
- Completed projects
  - Realizing and Optimizing Overlays over physical networks
    (Project Heads Frey, Hannes ; Karl, Holger )
  - Subproject C4: On-The-Fly Compute Center II: Execution of Composed Services in Configurable Compute Centers
    (Project Heads Karl, Holger ; Meyer auf der Heide, Friedhelm )
Research Training Groups
- Completed projects
  - GRK 1651: Service-oriented Architectures for the Integration of Software-based Processes, Exemplified by Health Care Systems and Medical Technology (SOAMED)
    (Spokesperson Leser, Ulf )
NFDI technical and methodological consortia
- Current projects
  - NFDI4Health – National Research Data Infrastructure for Personal Health Data
    (Spokesperson Fluck, Juliane )

Subinstitutions

© 2024 DFG Disclaimer / Copyright / Privacy Policy