Timon Barlag

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
A logical characterization of constant-depth circuits over the reals
Barlag, T. & Vollmer, H., Sept. 2025, in: Journal of logic and computation. 35, 6, exae051.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
Logical Approaches to Non-deterministic Polynomial Time over Semirings
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J. A., Meier, A. & Strieker, L., 2025, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/Preprint › Preprint

Open Access
Logic and Computation Through the Lens of Semirings
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J., Meier, A. & Strieker, L., 18 Feb. 2025, (Elektronisch veröffentlicht (E-Pub)).
Publikation: Arbeitspapier/Preprint › Technical Report › Forschung
Parallel Computation with Algebraic Structures: A Circuitous Route
Barlag, T., 23 Dez. 2025, Hannover: Leibniz Universität Hannover. 190 S.
Publikation: Qualifikations-/Studienabschlussarbeit › Dissertation

Open Access

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

Publikationen