Heribert Vollmer

A logical characterization of constant-depth circuits over the reals
Barlag, T. & Vollmer, H., Sept. 2025, in: Journal of logic and computation. 35, 6, exae051.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
Graph Neural Networks and Arithmetic Circuits
Barlag, T., Holzapfel, V., Strieker, L., Virtema, J. & Vollmer, H., 2024, in: Advances in Neural Information Processing Systems. 37
Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review

Open Access
Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111)
Kontinen, J., Virtema, J., Vollmer, H., Yang, F. & Fröhlich, N., 19 Sept. 2024, in: Dagstuhl Reports. 14, 3, S. 31-51 21 S., 3.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Open Access
Parameterized complexity of weighted team definability
Kontinen, J., Mahmood, Y., Meier, A. & Vollmer, H., Mai 2024, in: Mathematical Structures in Computer Science. 34, 5, S. 375-389 15 S.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Open Access
Special issue on logic and complexity
Creignou, N., Durand, A. & Vollmer, H., Mai 2024, in: Mathematical Structures in Computer Science. 34, S. 344-345 2 S.
Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung › Peer-Review

Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik
Meier, A. (Projektleiter*in (Principal Investigator)), Vollmer, H. (Projektmitarbeiter*in), Barlag, T. (Projektmitarbeiter*in), Fröhlich, N. F. H. (Projektmitarbeiter*in), Holzapfel, V. (Projektmitarbeiter*in) & Strieker, L. (Projektmitarbeiter*in)
1 Jan. 2024 → 31 Dez. 2025
Projekt: Forschung
34th International Symposium on Theoretical Aspects of Computer Science (STACS) 2017, Hannover, 08.03.17 - 11.03.17
Vollmer, H. (Projektleiter*in (Principal Investigator))
27 Sept. 2016 → 31 März 2017
Projekt: Forschung
Untersuchungen Arithmetischer und Boole'scher Komplexität von Schaltkreisen kleiner Tiefe
Vollmer, H. (Projektleiter*in (Principal Investigator))
1 Nov. 2015 → 1 Jan. 2019
Projekt: Forschung

Publikationen