Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Rudower Chaussee 25
12489 Berlin
Deutschland

GERiT This institution in GERiT

12489 Berlin

Projects

Research Grants
- Current projects
  - Query Evaluation Over SLP-Compressed Trees, Graphs, and Relational Data
    (Applicant Schmid, Markus )
- Completed projects
  - Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER)
    (Applicant Müller, Norbert )
  - Efficient Enumeration of Path Query Results for Graph Databases
    (Applicant Schmid, Markus )
  - Fast parametrized algorithms for directed graph problems
    (Applicant Bonsma, Paul )

© 2024 DFG Disclaimer / Copyright / Privacy Policy