| Unified foundations of team semantics via semirings T Barlag, M Hannula, J Kontinen, N Pardal, J Virtema arXiv preprint arXiv:2303.07926, 2023 | 9 | 2023 |
| Computing repairs under functional and inclusion dependencies via argumentation Y Mahmood, J Virtema, T Barlag, ACN Ngomo International Symposium on Foundations of Information and Knowledge Systems …, 2024 | 3 | 2024 |
| A logical characterization of constant-depth circuits over the reals T Barlag, H Vollmer International Workshop on Logic, Language, Information, and Computation, 16-30, 2021 | 3 | 2021 |
| Logical characterizations of algebraic circuit classes over integral domains T Barlag, F Chudigiewitsch, SA Gaube Mathematical Structures in Computer Science 34 (5), 346-374, 2024 | 2 | 2024 |
| Graph Neural Networks and Arithmetic Circuits T Barlag, V Holzapfel, L Strieker, J Virtema, H Vollmer arXiv preprint arXiv:2402.17805, 2024 | 1 | 2024 |
| Decidability for Real-Valued Computation T Brockmeyer, H Vollmer, T Barlag Leibniz University Hanover, Hanover,, 2022 | 1 | 2022 |
| Logic and Computation Through the Lens of Semirings T Barlag, N Fröhlich, T Hankala, M Hannula, M Hirvonen, V Holzapfel, ... arXiv preprint arXiv:2502.12939, 2025 | | 2025 |
| Check for Y Mahmood¹, J Virtema, T Barlag Foundations of Information and Knowledge Systems: 13th International …, 2024 | | 2024 |
| Parallel Computation with Real Numbers T Barlag | | 2019 |
| Ein Programm für affine modallogische Formeln T Barlag | | 2016 |
| Computing Repairs Under Functional and Inclusion Dependencies via Argumentation T Barlag, AC Ngonga | | |
