Jack Stade

According to our database, Jack Stade authored at least 12 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Probabilistically checkable proofs for the Existential Theory of the Reals.

Jack Stade

CoRR, May, 2026

NP-Membership for the Boundary-Boundary Art-Gallery Problem.

Jack Stade

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

Better Neural Network Expressivity: Subdividing the Simplex.

Egor Bakaev, Florestan Brunck, Christoph Hertrich, Jack Stade, Amir Yehudayoff

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

Covering and Partitioning Complex Objects with Small Pieces.

Anders Aamand, Mikkel Abrahamsen, Reilly Browne, Mayank Goswami, Prahlad Narasimhan Kasthurirangan, Linda Kleist, Joseph S. B. Mitchell, Valentin Polishchuk, Jack Stade

Proceedings of the 42nd International Symposium on Computational Geometry, 2026

2025

Devil's Games and Qℝ: Continuous Games complete for the First-Order Theory of the Reals.

Lucas Meijer, Arnaud de Mesmay, Tillmann Miltzow, Marcus Schaefer, Jack Stade

CoRR, December, 2025

Bounding a Polygon by a Minimum Number of Vertices.

Mikkel Abrahamsen, Jack Stade, Shuyi Yan, Hanwen Zhang

CoRR, September, 2025

Two Tiling is Undecidable.

Jack Stade

CoRR, June, 2025

The Point-Boundary Art Gallery Problem Is ∃ℝ-Hard.

Jack Stade

Proceedings of the 41st International Symposium on Computational Geometry, 2025

Reconfiguration of Unit Squares and Disks: PSPACE-Hardness in Simple Settings.

Mikkel Abrahamsen, Kevin Buchin, Maike Buchin, Linda Kleist, Maarten Löffler, Lena Schlipf, André Schulz, Jack Stade

Proceedings of the 41st International Symposium on Computational Geometry, 2025

2024

Hardness of Packing, Covering and Partitioning Simple Polygons with Unit Squares.

Mikkel Abrahamsen, Jack Stade

Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

2023

Topological Universality of the Art Gallery Problem.

Jack Stade, Jamie Tucker-Foltz

Proceedings of the 39th International Symposium on Computational Geometry, 2023

2022

Complexity of the Boundary-Guarding Art Gallery Problem.

Jack Stade

CoRR, 2022