Projects
Applications and complexity of logics in semiring team semantics
Meier, A. (Principal Investigator), Vollmer, H. (Project staff), Barlag, T. (Project staff), Fröhlich, N. F. H. (Project staff), Holzapfel, V. (Project staff) & Strieker, L. (Project staff)
1 Jan 2024 → 31 Dec 2025
Project: Research
Team Logics: New Bridges to Database Repairs
Meier, A. (Principal Investigator) & Fröhlich, N. F. H. (Project staff)
1 May 2023 → 30 Jun 2026
Project: Research
Projekt Innovation Plus (2020/21); Nummer 097: Komplexität von Algorithmen
Meier, A. (Principal Investigator), Friedrich, M. (Project staff), Wenske, A. (Project staff) & Gaube, S. (Principal Investigator)
1 Feb 2020 → 30 Sept 2022
Project: Other
Descriptive Complexity of Parameterised Counting Classes (Project-Based Personnel Exchange Programme India)
Meier, A. (Principal Investigator), Rao, B. V. R. (Co-Principal Investigator), Haak, A. (Project staff), Müller, F. (Project staff) & Prakash, O. (Principal Investigator)
1 Jan 2018 → 31 Dec 2019
Project: Research
Nonclassical logics: parametrised and enumeration complexity
Meier, A. (Principal Investigator), Mahmood, Y. (Project staff) & Schindler, I. (Project staff)
1 Oct 2013 → 31 Jul 2022
Project: Research