Arne Meier

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, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/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. (Hrsg.). S. 10:1-10:21 21 S. 10. (Leibniz International Proceedings in Informatics, LIPIcs; Band 363).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Open Access
Modal Fragments
Bezhanishvili, N., Cate, B. T., Ganguly, A. & Meier, A., 2026, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/Preprint › Preprint
On the Complexity of Entailment for Cumulative Propositional Dependence Logics.
Sauerwald, K., Kontinen, J. & Meier, A., 2026, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/Preprint › Preprint

Open Access
Representation Theorems for Cumulative Propositional Dependence Logics.
Kontinen, J., Meier, A. & Sauerwald, K., 2026, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/Preprint › Preprint

Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik
Meier, A. (Projektleiter*in (Principal Investigator)), Vollmer, H. (Projektmitarbeiter*in), Barlag, T. (Projektmitarbeiter*in), Fröhlich, N. F. H. (Projektmitarbeiter*in), Holzapfel, V. (Projektmitarbeiter*in) & Strieker, L. (Projektmitarbeiter*in)
1 Jan. 2024 → 31 Dez. 2025
Projekt: Forschung
Teamlogiken: Neue Brücken zu Datenbank-Reparaturen
Meier, A. (Projektleiter*in (Principal Investigator)) & Fröhlich, N. F. H. (Projektmitarbeiter*in)
1 Mai 2023 → 30 Juni 2026
Projekt: Forschung
Projekt Innovation Plus (2020/21); Nummer 097: Komplexität von Algorithmen
Meier, A. (Projektleiter*in (Principal Investigator)), Friedrich, M. (Projektmitarbeiter*in), Wenske, A.-K. (Projektmitarbeiter*in) & Gaube, S. (Projektmitarbeiter*in)
1 Feb. 2020 → 30 Sept. 2022
Projekt: Sonstiges
Deskriptive Komplexität von parametrisierten Zählproblemen (Projektbezogener Personenaustausch Indien)
Meier, A. (Projektleiter*in (Principal Investigator)), Rao, B. V. R. (Leitende*r Forscher*in (Co-Principal Investigator)), Haak, A. (Projektmitarbeiter*in), Müller, F. (Projektmitarbeiter*in) & Prakash, O. (Projektmitarbeiter*in)
1 Jan. 2018 → 31 Dez. 2019
Projekt: Forschung
Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
Meier, A. (Projektleiter*in (Principal Investigator)), Mahmood, Y. (Projektmitarbeiter*in) & Schindler, I. (Projektmitarbeiter*in)
1 Okt. 2013 → 31 Juli 2022
Projekt: Forschung

Gemeinsame Publikationen und Projekte der letzten fünf Jahre