Timon Barlag
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Complexity of Logics with Semiring Semantics. | Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker |
| 2026 | KR | Recurrent Graph Neural Networks and Arithmetic Circuits. | Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer |
| 2026 | WoLLIC | A Circuit-Theoretic View of rmFO over Semirings. | Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Juhani Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker |
| 2023 | KR | Unified Foundations of Team Semantics via Semirings. | Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema |
| 2021 | WoLLIC | A Logical Characterization of Constant-Depth Circuits over the Reals. | Timon Barlag, Heribert Vollmer |