Prati
Timon Barlag
Timon Barlag
Nepoznata afilijacija
Potvrđena adresa e-pošte na thi.uni-hannover.de
Naslov
Citirano
Citirano
Godina
Unified foundations of team semantics via semirings
T Barlag, M Hannula, J Kontinen, N Pardal, J Virtema
arXiv preprint arXiv:2303.07926, 2023
42023
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
12021
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–9