Unified Foundations of Team Semantics via Semirings. - Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema (KR, 2023)

Logical Characterization of Algebraic Circuit Classes over Integral Domains. - Timon Barlag; Florian Chudigiewitsch; Sabrina Alexandra Gaube (CoRR, 2023)

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. - Yasir Mahmood 002; Jonni Virtema; Timon Barlag; Axel-Cyrille Ngonga Ngomo (FoIKS, 2024)

Graph Neural Networks and Arithmetic Circuits. - Timon Barlag; Vivian Holzapfel; Laura Strieker; Jonni Virtema; Heribert Vollmer (NeurIPS, 2024)

Logical characterizations of algebraic circuit classes over integral domains. - Timon Barlag; Florian Chudigiewitsch; Sabrina Alexandra Gaube (Math. Struct. Comput. Sci., 2024)

A logical characterization of constant-depth circuits over the reals. - Timon Barlag; Heribert Vollmer (J. Log. Comput., 2025)

Logic and Computation Through the Lens of Semirings. - Timon Barlag; Nicolas Fröhlich 001; Teemu Hankala; Miika Hannula; Minna Hirvonen; Vivian Holzapfel; Juha Kontinen; Arne Meier; Laura Strieker (CoRR, 2025)

Local consistency and axioms of functional dependence. - Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema (CoRR, 2025)