Timon Barlag

15 papers A* 2C 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Recurrent Graph Neural Networks and Arithmetic Circuits.
CoRR
Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
2025 J jnl
A logical characterization of constant-depth circuits over the reals.
J. Log. Comput.
Timon Barlag, Heribert Vollmer
2025 J jnl
Local consistency and axioms of functional dependence.
CoRR
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2025 J jnl
Logic and Computation Through the Lens of Semirings.
CoRR
Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2025 J jnl
Logical Approaches to Non-deterministic Polynomial Time over Semirings.
CoRR
Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2024 — conf
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.
FoIKS
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
2024 A* conf
Graph Neural Networks and Arithmetic Circuits.
NeurIPS
Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
2024 J jnl
Graph Neural Networks and Arithmetic Circuits.
CoRR
Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
2024 J jnl
Logical characterizations of algebraic circuit classes over integral domains.
Math. Struct. Comput. Sci.
Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube
2023 J jnl
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.
CoRR
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
2023 J jnl
Logical Characterization of Algebraic Circuit Classes over Integral Domains.
CoRR
Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube
2023 A* conf
Unified Foundations of Team Semantics via Semirings.
KR
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2023 J jnl
Unified Foundations of Team Semantics via Semirings.
CoRR
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2021 C conf
A Logical Characterization of Constant-Depth Circuits over the Reals.
WoLLIC
Timon Barlag, Heribert Vollmer
2020 J jnl
A Logical Characterization of Constant-Depth Circuits over the Reals.
CoRR
Timon Barlag, Heribert Vollmer