Unified foundations of team semantics via semirings T Barlag, M Hannula, J Kontinen, N Pardal, J Virtema arXiv preprint arXiv:2303.07926, 2023 | 4 | 2023 |
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 | 1 | 2021 |
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 | | 2024 |
Graph Neural Networks and Arithmetic Circuits T Barlag, V Holzapfel, L Strieker, J Virtema, H Vollmer arXiv preprint arXiv:2402.17805, 2024 | | 2024 |
Check for Y Mahmood¹, J Virtema, T Barlag Foundations of Information and Knowledge Systems 14589, 23, 2024 | | 2024 |
Logical characterizations of algebraic circuit classes over integral domains T Barlag, F Chudigiewitsch, SA Gaube Mathematical Structures in Computer Science, 1-29, 2023 | | 2023 |
Decidability for real-valued computation T Brockmeyer, H Vollmer, T Barlag | | 2022 |
Parallel Computation with Real Numbers T Barlag | | 2019 |
Ein Programm für affine modallogische Formeln T Barlag | | 2016 |