Kopfzeile
Navigation
Inhalt
Fußzeile
Kontakt
LOGIN
Accessibility
EN
Hinweise zur Suche im Forschungsportal
HU-interne Informationen zur Nutzung
Liste der Organisationen
>
Theoretische Informatik
Startseite
Projekte
Publikationen
Personen
Organisationen
Theoretische Informatik
Humboldt-Universität
»
Präsidium
»
Mathematisch-Naturwissenschaftliche Fakultät
»
Institut für Informatik
Personen
Berkholz, Christoph Prof. Dr.
Popova-Zeugmann, Louchka PD Dr.
Schmid, Markus Dr.
Schweikardt, Nicole Prof. Dr.
Projekte
12/2023
-
11/2026
Evaluierung von Anfragen für SLP-komprimierte Bäume, Graphen und relationale Daten
07/2020
-
06/2024
SFB 1404/1: Grundlagen der Validierung von Datenanalyseworkflows (TP A01)
10/2019
-
09/2022
NW/1: Repräsentationskomplexität in Algorithmen zum Aufzählen und Zählen
08/2019
-
01/2023
Effizientes Aufzählen der Ergebnisse von Pfadanfragen bei Graphdatenbanken
04/2018
-
09/2022
GRK 2434: Facetten der Komplexität
07/2016
-
12/2019
Theoretische Grundlagen der effizienten Aufzählung von Anfrageergebnissen
10/2015
-
07/2017
Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
Zuletzt aktualisiert 2024-30-10 um 15:15
