Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
Address
24098 Kiel
Deutschland
GERiT
This institution in GERiT
24098 Kiel
Projects
Research Grants
Current projects
Fine-grained complexity and algorithms for scheduling and packing
(Applicant
Jansen, Klaus
)
Integrated hybrid optimisation of autonomous self-adaptive systems (InHOSaS)
(Applicants
Krupitzer, Christian
;
Tomforde, Sven
)
Learned Indexing for Similarity Searching
(Applicant
Kröger, Peer
)
PREcision Time SYnchronous Processing Transfer (PRETSY Transfer)
(Applicants
von Hanxleden, Reinhard
;
Mendler, Ph.D., Michael
)
Projecting critical coastal oxygen deficits by the example of the Eckernförde Bight.
(Applicant
Renz, Matthias
)
Structural results for integer linear programs
(Applicant
Jansen, Klaus
)
Sustaining a Reusable High-Quality Monitoring Framework for Software Engineering Research
(Applicants
Hasselbring, Wilhelm
;
Moldt, Daniel
)
Completed projects
3D-Modelling of seafloor structures from ROV-based video sequences
(Applicant
Koch, Reinhard
)
Adaptives content- und benutzungsgesteuertes generisches Layouting von Web-anwendungen
(Applicant
Thalheim, Bernhard
)
An assertional proof theory for multi-threaded control flow in the object-based core of Java
(Applicant
de Roever, Willem-Paul
)
Approximation algorithms for mixed and generalized packing and covering problems
(Applicant
Jansen, Klaus
)
Approximative Algorithmen für zwei- und dreidimensionale Packungsprobleme und verwandte Schedulingprobleme
(Applicant
Jansen, Klaus
)
Automatische Analyse kryptographischer Protokolle mit komplexen Nachrichtenformaten
(Applicant
Küsters, Ralf
)
Compact Graph Drawing with Port Constraints
(Applicants
von Hanxleden, Reinhard
;
Mutzel, Petra
)
Design of approximation algorithms for scheduling on unrelated machines
(Applicant
Jansen, Klaus
)
Design of Efficient Polynomial Time Approximation Schemes for Scheduling and Related Optimization Problems
(Applicant
Jansen, Klaus
)
Domain-Specific Languages for Ocean Modeling and Simulation
(Applicant
Hasselbring, Wilhelm
)
Dynamisches 3D-Sehen 3D-Poseschätzung und 3D-Mapping mittels PMD-Kamera (3DPoseMap)
(Applicant
Koch, Reinhard
)
Efficient Database Techniques for Reverse k-Nearest Neighbor Search
(Applicant
Kröger, Peer
)
Efficient Reconstruction and Rendering of Dynamic, Wide-Range Lightfields
(Applicants
Koch, Reinhard
;
Kolb, Andreas
)
Eine Analyse- und Programmierumgebung für deklarative Sprachen
(Applicant
Hanus, Michael
)
Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support
(Applicant
de Roever, Willem-Paul
)
Formale Analyse von Sequential Funktion Charts
(Applicant
de Roever, Willem-Paul
)
Geometrische Algebra - ein Repräsentationsrahmen für den Wahrnehmungs-Handlungs-Zyklus
(Applicant
Sommer, Gerald
)
Incident-aware Resilient Traffic Management for Urban Road Networks (InTURN)
(Applicant
Tomforde, Sven
)
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
(Applicant
de Roever, Willem-Paul
)
Lower bounds for scheduling and packing algorithms assuming the exponential time hypothesis
(Applicant
Jansen, Klaus
)
MOBI-J-II: Formal Methods for Components and Objects
(Applicant
de Roever, Willem-Paul
)
Precision-Timed Synchronous Reactive Processing
(Applicants
von Hanxleden, Reinhard
;
Mendler, Ph.D., Michael
)
Probabilistic Query Processing in Uncertain Spatio-temporal Data
(Applicant
Renz, Matthias
)
Reconstruction of Complex Deformations in 3D Scenes from Color and Depth Images
(Applicant
Koch, Reinhard
)
Robust Online Algorithms for Scheduling and Packing Problems
(Applicant
Jansen, Klaus
)
Securing Cyber-physical Systems with Organic Computing Techniques(CYPHOC)
(Applicants
Hähner, Jörg
;
Sick, Bernhard
;
Wacker, Arno
)
State-space reduction of finite automata with applications in the verification of non-terminating systems
(Applicant
Wilke, Thomas
)
Structural results and their application in scheduling and packing problems
(Applicant
Jansen, Klaus
)
Systematische Fehlersuche in deklarativen Programmen
(Applicant
Hanus, Michael
)
Unambiguous Automata on Infinite Words
(Applicant
Wilke, Thomas
)
Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken
(Applicant
Langmaack, Hans
)
Verknüpfung von 3D-Formenwissen und Lageschätzung mit Bildsegmentierung
(Applicants
Sommer, Gerald
;
Weickert, Joachim
)
Priority Programmes
Current projects
Derivation of cause-effect relationships for die design on the basis of data-driven process modeling for fine blanking
(Applicants
Bergs, Thomas
;
Kröger, Peer
;
Trimpe, Sebastian
)
Completed projects
Algorithms for Data Stream Processing
(Applicant
Kliemann, Lasse
)
Automated extension of fixed point PDE solvers for optimal design with bounded retardation
(Applicants
Gauger, Nicolas R.
;
Griewank, Andreas
;
Slawig, Thomas
)
Ein Kooperationsparadigma für selbstorganisierende Schwärme von mobilen Systemen: Modellbildung, XML-basierte Middleware und Programmierung von Anwendungssystemen
(Applicants
Fischer, Stefan
;
Luttenberger, Norbert
)
Ein Kooperationsparadigma für selbstorganisierende Schwärme von mobilen Systemen: Modellbildung, XML-basierte Middleware und Programmierung von Anwendungssystemen
(Applicant
Luttenberger, Norbert
)
Erforschung der Eignung von Dienstvermittlungsverfahren für den sicheren, flexiblen, mobilen Zugang zu Netzwerk-Diensten in Intranet/Internet-Umgebungen
(Applicant
Luttenberger, Norbert
)
Integrated Observation and Modeling Techniques to Support Adaptation and Evolution of Software Systems
(Applicants
Hasselbring, Wilhelm
;
Pohl, Klaus
;
Reussner, Ralf Heinrich
)
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
(Applicant
Kowalewski, Stefan
)
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
(Applicant
Lakhnech, Yassine
)
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
(Applicant
de Roever, Willem-Paul
)
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
(Applicant
de Roever, Willem-Paul
)
Sichere Dienstmobilität für den sicheren, flexiblen, mobilen Zugang zu Netzwerk-Diensten in Intranet/Internet-Umgebungen
(Applicant
Schönfeld, Wolfgang
)
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
(Applicant
de Roever, Willem-Paul
)
Spieltheoretische Gleichgewichte in Unicast- und Multicast-Netzwerken
(Applicant
Srivastav, Anand
)
Research Units
Current projects
EdgeMine: Distributed Process Mining on Resource-Constrained Edge Devices & Sensor Nodes
(Applicant
Landsiedel, Olaf
)
FOR 5495: SOURCED – Process Mining on Distributed Event Sources
(Spokesperson
Koschmider, Agnes
)
ScalableMine: Scalable Hierarchical Process Mining in Event-Stream Systems
(Applicant
Hasselbring, Wilhelm
)
Completed projects
Verwaltung und Analyse bioarchäologischer und archäometrischer Daten mittels Ähnlichkeitssuche, Clusteranalyse und Ausreißererkennung
(Applicants
Kröger, Peer
;
Renz, Matthias
)
Research Fellowships
Completed projects
Model checking of infinite-state, branching-time systems and specifications
(Applicant
Fecher, Harald
)
Research data and software
Completed projects
GeRDI: Generic Research Data Infrastructure
(Applicants
Bode, Arndt
;
Grimm, Christian
;
Hasselbring, Wilhelm
;
Nagel, Wolfgang E.
;
Tochtermann, Klaus
)
Publication Workflows for Scientific Data: From Acquisition and Processing toward Archival and Publication
(Applicants
Hasselbring, Wilhelm
;
Helmkamp, Kerstin
)
Collaborative Research Centres
Current projects
Advances in Data Validation and Analysis
(Project Heads
Kröger, Peer
;
Meadows, John
;
Wilken, Dennis
;
Wunderlich, Tina
)
Data Management, Analysis and Presentation
(Project Heads
Blaschek, Michael
;
Duttmann, Rainer
;
Hamer, Wolfgang
;
Kröger, Peer
;
Nakoinz, Oliver
;
Renz, Matthias
;
Thalheim, Bernhard
)
Data Management and Analysis
(Project Heads
Kohlstedt, Hermann
;
Renz, Matthias
)
Research Training Groups
Completed projects
GRK 316: Distributed Information Systems
(Spokesperson
Günther, Ph.D., Oliver
)
GRK 357: Efficient Algorithms and Multiscale Methods
(Spokesperson
Srivastav, Anand
)
GRK 1076: Trustworthy Software Systems - Construction, Certification, Application
(Spokespersons
Hasselbring, Wilhelm
;
Olderog, Ernst-Rüdiger
)
Graduate Schools
Completed projects
GSC 208: Graduate School for Integrated Studies of Human Development in Landscapes
(Spokesperson
Müller, Johannes
)
Clusters of Excellence
Completed projects
EXC 80: The Future Ocean
(Spokesperson
Visbeck, Martin
)
Clusters of Excellence (ExStra)
Current projects
EXC 2150: ROOTS – Social, Environmental, and Cultural Connectivity in Past Societies
(Spokespersons
Käppel, Lutz
;
Müller, Johannes
;
Parchmann, Ilka
;
Rabbel, Wolfgang
)
NFDI technical and methodological consortia
Current projects
National Research Data Infrastructure for and with Computer Science
(Spokesperson
Goedicke, Michael
)
Research Data Infrastructure for the Material Remains of Human History
(Spokesperson
Freiherr von Rummel, Philipp
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
