Heribert Vollmer

Full Professor, Leibniz Universität Hannover

Joined

January 2024

Names

Heribert Vollmer (Preferred)

Emails

****@thi.uni-hannover.de (Confirmed)

Personal Links

Career & Education History

Full Professor

Leibniz Universität Hannover (uni-hannover.de)

2002 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Graph Neural Networks and Arithmetic Circuits
Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
- NeurIPS 2024 poster
- Readers: Everyone
Parameterized Complexity of Weighted Team Definability
Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
- CoRR 2023
- Readers: Everyone
Enumeration Classes Defined by Circuits
Nadia Creignou, Arnaud Durand, Heribert Vollmer
- MFCS 2022
- Readers: Everyone
Enumerating teams in first-order team logics
Anselm Haak, Arne Meier, Fabian Müller, Heribert Vollmer
- Ann. Pure Appl. Log. 2022
- Readers: Everyone
A Logical Characterization of Constant-Depth Circuits over the Reals
Timon Barlag, Heribert Vollmer
- WoLLIC 2021
- Readers: Everyone
Descriptive complexity of #P functions: A new perspective
Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
- J. Comput. Syst. Sci. 2021
- Readers: Everyone
Enumerating Teams in First-Order Team Logics
Anselm Haak, Arne Meier, Fabian Müller, Heribert Vollmer
- CoRR 2020
- Readers: Everyone
Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics
Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
- ACM Trans. Comput. Log. 2020
- Readers: Everyone

View all 191 publications

Co-Authors

View all 87 co-authors