关注
Timon Barlag
Timon Barlag
未知所在单位机构
在 thi.uni-hannover.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作,请稍后再试。
文章 1–9