A Dichotomy for Succinct Representations of Homomorphisms. - Christoph Berkholz; Harry Vinall-Smeeth (ICALP, 2023)

Structured d-DNNF Is Not Closed under Negation. - Harry Vinall-Smeeth (IJCAI, 2024)

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables. - Harry Vinall-Smeeth (LICS, 2024)

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism. - Christoph Berkholz; Moritz Lichter; Harry Vinall-Smeeth (MFCS, 2025)

Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy. - Christoph Berkholz; Harry Vinall-Smeeth (CoRR, 2025)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity. - Stefan Mengel; Harry Vinall-Smeeth (Proc. ACM Manag. Data, 2025)