Research output per year
Research output per year
Personal profile
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Aspects of Coherence in Dependence Logic
Barlag, T., Fröhlich, N., Hannula, M., Kolaitis, P. G., Kontinen, J., Meier, A. & Väänänen, J., 2026, (E-pub ahead of print).Research output: Working paper/Preprint › Preprint
Open Access -
Disjunctions of Two Dependence Atoms
Fröhlich, N., Kolaitis, P. G. & Meier, A., 18 Feb 2026, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) . Guerrini, S. & Konig, B. (eds.). p. 10:1-10:21 21 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 363).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Open Access -
Modal Fragments
Bezhanishvili, N., Cate, B. T., Ganguly, A. & Meier, A., 2026, (E-pub ahead of print).Research output: Working paper/Preprint › Preprint
-
On the Complexity of Entailment for Cumulative Propositional Dependence Logics.
Sauerwald, K., Kontinen, J. & Meier, A., 2026, (E-pub ahead of print).Research output: Working paper/Preprint › Preprint
Open Access -
Representation Theorems for Cumulative Propositional Dependence Logics.
Kontinen, J., Meier, A. & Sauerwald, K., 2026, (E-pub ahead of print).Research output: Working paper/Preprint › Preprint
Projects
- 5 Finished
-
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.-K. (Project staff) & Gaube, S. (Project staff)
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. (Project staff)
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