Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik

Adresse 24098 Kiel
Deutschland

GERiT Diese Institution in GERiT

24098 Kiel

Projekte

Sachbeihilfen
- laufende Projekte
  - Die Vorhersage kritischer Sauerstoffdefizite in Küstenregionen am Beispiel der Eckernförder Bucht.
    (Antragsteller Renz, Matthias )
  - Fein-granulare Komplexität und Algorithmen für Scheduling und Packungen
    (Antragsteller Jansen, Klaus )
  - Gelernte Indexstrukturen für die Ähnlichkeitssuche
    (Antragsteller Kröger, Peer )
  - Integrierte hybride Optimierung von autonomen selbst-adaptiven Systemen (InHOSaS)
    (Antragsteller Krupitzer, Christian ; Tomforde, Sven )
  - Nachhaltigkeit für ein wiederverwendbares, qualitativ hochwertiges Monitoring-Framework für die Software-Engineering-Forschung
    (Antragsteller Hasselbring, Wilhelm ; Moldt, Daniel )
  - PREcision Time SYnchronous Processing Transfer (PRETSY Transfer)
    (Antragsteller von Hanxleden, Reinhard ; Mendler, Ph.D., Michael )
  - Strukturaussagen für ganzzahlige lineare Programme
    (Antragsteller Jansen, Klaus )
- abgeschlossene Projekte
  - 3D-Modelling of seafloor structures from ROV-based video sequences
    (Antragsteller Koch, Reinhard )
  - Absicherung von Cyber-Physical-Systems mit Methoden des Organic Computing
    (Antragsteller Hähner, Jörg ; Sick, Bernhard ; Wacker, Arno )
  - Adaptives content- und benutzungsgesteuertes generisches Layouting von Web-anwendungen
    (Antragsteller Thalheim, Bernhard )
  - Anfragebearbeitung für reverse k-nächste Nachbarn Anfragen
    (Antragsteller Kröger, Peer )
  - Approximative Algorithmen für zwei- und dreidimensionale Packungsprobleme und verwandte Schedulingprobleme
    (Antragsteller Jansen, Klaus )
  - Automatische Analyse kryptographischer Protokolle mit komplexen Nachrichtenformaten
    (Antragsteller Küsters, Ralf )
  - Domänenspezifische Sprachen für Ozean-Modellierung und -Simulation
    (Antragsteller Hasselbring, Wilhelm )
  - Dynamisches 3D-Sehen 3D-Poseschätzung und 3D-Mapping mittels PMD-Kamera (3DPoseMap)
    (Antragsteller Koch, Reinhard )
  - Effiziente Rekonstruktion und Darstellung großflächiger dynamischer Lichtfelder
    (Antragsteller Koch, Reinhard ; Kolb, Andreas )
  - Eindeutige endliche Automaten auf unendlichen Wörtern
    (Antragsteller Wilke, Thomas )
  - Eine Analyse- und Programmierumgebung für deklarative Sprachen
    (Antragsteller Hanus, Michael )
  - Entwicklung und Analyse von approximativen Algorithmen für Gemischte und Verallgemeinerte Packungs- und Überdeckungsprobleme
    (Antragsteller Jansen, Klaus )
  - Entwicklung von Approximationsalgorithmen für Scheduling auf heterogenen Maschinen
    (Antragsteller Jansen, Klaus )
  - Entwicklung von effizienten polynomiellen Approximationsschemata für Scheduling- und verwandte Optimierungsprobleme
    (Antragsteller Jansen, Klaus )
  - Erweiterung der Untersuchung `Beweistechniken für Fäden in JAVA` durch Bereitstellung einer realistischen Semantik und einer korrespondierenden Beweistechnik eines konkurrierenden JAVA-Fragments
    (Antragsteller de Roever, Willem-Paul )
  - Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support
    (Antragsteller de Roever, Willem-Paul )
  - Formale Analyse von Sequential Funktion Charts
    (Antragsteller de Roever, Willem-Paul )
  - Geometrische Algebra - ein Repräsentationsrahmen für den Wahrnehmungs-Handlungs-Zyklus
    (Antragsteller Sommer, Gerald )
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
    (Antragsteller de Roever, Willem-Paul )
  - Kompaktes Graphenzeichnen mit Ankerpunkten
    (Antragstellerinnen / Antragsteller von Hanxleden, Reinhard ; Mutzel, Petra )
  - Laufzeitschranken für Scheduling- und Packungsprobleme unter Annahme der Exponentialzeithypothese
    (Antragsteller Jansen, Klaus )
  - Minimierung von Automaten mit Anwendungen in der Verifikation nichtterminierender Systeme
    (Antragsteller Wilke, Thomas )
  - MOBI-J-II: Formal Methods for Components and Objects
    (Antragsteller de Roever, Willem-Paul )
  - Rekonstruktion komplexer Deformationen in 3D Szenen aus Bild- und Tiefendaten
    (Antragsteller Koch, Reinhard )
  - Robuste Online-Algorithmen für Scheduling- und Packungsprobleme
    (Antragsteller Jansen, Klaus )
  - Strukturaussagen und deren Anwendung in Scheduling- und Packungsprobleme
    (Antragsteller Jansen, Klaus )
  - Synchrone Programmierung eingebetteter reaktiver Echtzeitsysteme mit validierten Zykluszeiten
    (Antragsteller von Hanxleden, Reinhard ; Mendler, Ph.D., Michael )
  - Systematische Fehlersuche in deklarativen Programmen
    (Antragsteller Hanus, Michael )
  - Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken
    (Antragsteller Langmaack, Hans )
  - Verknüpfung von 3D-Formenwissen und Lageschätzung mit Bildsegmentierung
    (Antragsteller Sommer, Gerald ; Weickert, Joachim )
  - Wahrscheinlichkeitsbasierte Anfragebearbeitung in Unsicheren Raumzeitlichen Daten
    (Antragsteller Renz, Matthias )
  - Zwischenfall-bewusstes resilientes Verkehrsmanagement für urbane Straßennetze (InTURN)
    (Antragsteller Tomforde, Sven )
Schwerpunktprogramme
- laufende Projekte
  - Ableitung von Wirkzusammenhängen zur Wirkflächenauslegung auf Basis einer datengetriebenen Prozessmodellierung für das Feinschneiden (WidProFe)
    (Antragsteller Bergs, Thomas ; Kröger, Peer ; Trimpe, Sebastian )
- abgeschlossene Projekte
Forschungsgruppen
- laufende Projekte
  - EdgeMine: Verteiltes Process Mining auf ressourcenbeschränkten Edge-Geräten & Sensorknoten
    (Antragsteller Landsiedel, Olaf )
  - FOR 5495: SOURCED – Process Mining auf verteilten Ereignisquellen
    (Sprecherin Koschmider, Agnes )
  - ScalableMine: Skalierbares hierarchisches Process Mining in Ereignis-Strom-Systemen
    (Antragsteller Hasselbring, Wilhelm )
- abgeschlossene Projekte
  - Verwaltung und Analyse bioarchäologischer und archäometrischer Daten mittels Ähnlichkeitssuche, Clusteranalyse und Ausreißererkennung
    (Antragsteller Kröger, Peer ; Renz, Matthias )
Forschungsstipendien
- abgeschlossene Projekte
  - Model checking of infinite-state, branching-time systems and specifications
    (Antragsteller Fecher, Harald )
Forschungsdaten und Software
- abgeschlossene Projekte
  - GeRDI: Generic Research Data Infrastructure
    (Antragsteller Bode, Arndt ; Grimm, Christian ; Hasselbring, Wilhelm ; Nagel, Wolfgang E. ; Tochtermann, Klaus )
  - Publikationsprozesse für Forschungsdaten: Von der Erhebung und Verarbeitung zur Archivierung und Publikation
    (Antragstellerinnen / Antragsteller Hasselbring, Wilhelm ; Helmkamp, Kerstin )
Sonderforschungsbereiche
- laufende Projekte
  - Datenmanagement, Analyse und Präsentation
    (Teilprojektleiter Blaschek, Michael ; Duttmann, Rainer ; Hamer, Wolfgang ; Kröger, Peer ; Nakoinz, Oliver ; Renz, Matthias ; Thalheim, Bernhard )
  - Datenmanagement und -Analyse
    (Teilprojektleiter Kohlstedt, Hermann ; Renz, Matthias )
  - Fortschritte bei der Validierung und Analyse von Daten
    (Teilprojektleiterinnen / Teilprojektleiter Kröger, Peer ; Meadows, John ; Wilken, Dennis ; Wunderlich, Tina )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 316: Verteilte Informationssysteme
    (Sprecher Günther, Ph.D., Oliver )
  - GRK 357: Effiziente Algorithmen und Mehrskalenmethoden
    (Sprecher Srivastav, Anand )
  - GRK 1076: Vertrauenswürdige Software Systeme - Konstruktion, Zertifizierung, Einsatz
    (Sprecher Hasselbring, Wilhelm ; Olderog, Ernst-Rüdiger )
Graduiertenschulen
- abgeschlossene Projekte
  - GSC 208: Integrierte Studien zur menschlichen Entwicklung in Landschaften
    (Sprecher Müller, Johannes )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 80: Ozean der Zukunft
    (Sprecher Visbeck, Martin )
Exzellenzcluster (ExStra)
- laufende Projekte
  - EXC 2150: ROOTS - Social, Environmental, and Cultural Connectivity in Past Societies
    (Sprecherinnen / Sprecher Käppel, Lutz ; Müller, Johannes ; Parchmann, Ilka ; Rabbel, Wolfgang )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - Forschungsdateninfrastruktur für die materiellen Hinterlassenschaften der Menschheitsgeschichte
    (Sprecher Freiherr von Rummel, Philipp )
  - Nationale Forschungsdateninfrastruktur für und mit Computer Science
    (Sprecher Goedicke, Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz