Stefan Grosser

Orcid: 0009-0000-9774-3385

According to our database¹, Stefan Grosser authored at least 5 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap.

[BibT_eX]

[DOI]

Stefan Grosser

Marco Carmosino

Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

2024

Typical structure of hereditary properties of binary matroids.

[BibT_eX]

[DOI]

J. Comb. Theory B, 2024

Black-Box PPP Is Not Turing-Closed.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

2022

On Semi-Algebraic Proofs and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

2021

Counting Linear Extensions of Posets with Determinants of Hook Lengths.

[BibT_eX]

[DOI]

SIAM J. Discret. Math., 2021

Stefan Grosser

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...