Humboldt-Universität zu Berlin
Institut für Informatik
Lehrstuhl Logik in der Informatik

Adresse Rudower Chaussee 25
12489 Berlin
Deutschland

GERiT Diese Institution in GERiT

12489 Berlin

Projekte

Sachbeihilfen
- laufende Projekte
  - Evaluierung von Anfragen für SLP-komprimierte Bäume, Graphen und relationale Daten
    (Antragsteller Schmid, Markus )
- abgeschlossene Projekte
  - Effizientes Aufzählen der Ergebnisse von Pfadanfragen bei Graphdatenbanken
    (Antragsteller Schmid, Markus )
  - Fast parametrized algorithms for directed graph problems
    (Antragsteller Bonsma, Paul )
  - Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
    (Antragsteller Müller, Norbert )