Counting Linear Extensions of Posets with Determinants of Hook Lengths. - Alexander Garver; Stefan Grosser; Jacob P. Matherne; Alejandro H. Morales (SIAM J. Discret. Math., 2021)

On Semi-Algebraic Proofs and Algorithms. - Noah Fleming; Stefan Grosser; Mika Göös; Robert Robere (Electron. Colloquium Comput. Complex., 2022)

Black-Box PPP is not Turing-Closed. - Noah Fleming; Stefan Grosser; Toniann Pitassi; Robert Robere (Electron. Colloquium Comput. Complex., 2024)

Typical structure of hereditary properties of binary matroids. - Stefan Grosser; Hamed Hatami; Peter Nelson; Sergey Norin (J. Comb. Theory B, 2024)

Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap. - Marco Carmosino; Stefan Grosser (Electron. Colloquium Comput. Complex., 2025)