| Publication | Date of Publication | Type |
|---|
Crushing surfaces of positive genus
Algebraic & Geometric Topology | 2026-01-20 | Paper |
| Effective computation of the Heegaard genus of 3-manifolds | 2025-11-24 | Paper |
| Finding large counterexamples by selectively exploring the Pachner graph | 2024-10-16 | Paper |
Hard Diagrams of the Unknot
Experimental Mathematics | 2024-10-02 | Paper |
Arc diagrams on 3-manifold spines
Discrete & Computational Geometry | 2024-05-21 | Paper |
| The Next 350 Million Knots | 2023-11-02 | Paper |
Knot diagrams of treewidth two
(available as arXiv preprint) | 2022-12-21 | Paper |
Embeddings of 3-manifolds in \(S^4\) from the point of view of the 11-tetrahedron census
Experimental Mathematics | 2022-09-22 | Paper |
Flip graphs of stacked and flag triangulations of the 2-sphere
The Electronic Journal of Combinatorics | 2022-05-12 | Paper |
On the hardness of finding normal surfaces
Journal of Applied and Computational Topology | 2022-01-10 | Paper |
| Hard Diagrams of the Unknot | 2021-04-28 | Paper |
| Connecting 3-manifold triangulations with monotonic sequences of bistellar flips | 2020-12-03 | Paper |
The HOMFLY-PT polynomial is fixed-parameter tractable
(available as arXiv preprint) | 2020-08-18 | Paper |
| Computing optimal homotopies over a spiked plane with polygonal boundary | 2020-05-27 | Paper |
The parameterized complexity of finding a 2-sphere in a simplicial complex
SIAM Journal on Discrete Mathematics | 2019-10-30 | Paper |
Computational topology and normal surfaces: theoretical and experimental complexity bounds
2013 Proceedings of the Fifteenth Workshop on Algorithm Engineering and Experiments (ALENEX) | 2019-09-12 | Paper |
Enumerating fundamental normal surfaces: Algorithms, experiments and invariants
2014 Proceedings of the Sixteenth Workshop on Algorithm Engineering and Experiments (ALENEX) | 2019-09-12 | Paper |
Algorithms and complexity for Turaev-Viro invariants
Journal of Applied and Computational Topology | 2019-08-06 | Paper |
The complexity of detecting taut angle structures on triangulations
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms | 2019-05-15 | Paper |
| Computing closed essential surfaces in 3-manifolds | 2018-12-30 | Paper |
The parameterized complexity of finding a 2-sphere in a simplicial complex
(available as arXiv preprint) | 2018-04-19 | Paper |
A construction principle for tight and minimal triangulations of manifolds
Experimental Mathematics | 2018-04-09 | Paper |
| Finding non-orientable surfaces in 3-manifolds | 2018-01-30 | Paper |
Efficient algorithms to decide tightness
(available as arXiv preprint) | 2018-01-30 | Paper |
Finding non-orientable surfaces in 3-manifolds
Discrete & Computational Geometry | 2018-01-11 | Paper |
Finding non-orientable surfaces in 3-manifolds
Discrete & Computational Geometry | 2018-01-11 | Paper |
An edge-based framework for enumerating 3-manifold triangulations
(available as arXiv preprint) | 2017-10-10 | Paper |
2-manifold recognition is in logspace
(available as arXiv preprint) | 2017-03-30 | Paper |
| The Pachner graph of 2-spheres | 2017-01-18 | Paper |
Courcelle's theorem for triangulations
Journal of Combinatorial Theory. Series A | 2016-11-29 | Paper |
Parameterized complexity of discrete Morse theory
ACM Transactions on Mathematical Software | 2016-10-24 | Paper |
Combinatorial Seifert fibred spaces with transitive cyclic automorphism group
Israel Journal of Mathematics | 2016-09-15 | Paper |
On the complexity of immersed normal surfaces
Geometry & Topology | 2016-05-10 | Paper |
Tabulation of 3-manifolds of lengths up to 10
Topology and its Applications | 2015-12-18 | Paper |
Algorithms and complexity for Turaev-Viro invariants
Automata, Languages, and Programming | 2015-10-27 | Paper |
Separation index of graphs and stacked 2-spheres
Journal of Combinatorial Theory. Series A | 2015-08-21 | Paper |
Detecting genus in vertex links for the fast enumeration of \(3\)-manifold triangulations
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Computing closed essential surfaces in knot complements
Proceedings of the twenty-ninth annual symposium on Computational geometry | 2015-02-17 | Paper |
A new approach to crushing 3-manifold triangulations
Proceedings of the twenty-ninth annual symposium on Computational geometry | 2015-02-17 | Paper |
Parameterized complexity of discrete Morse theory
Proceedings of the twenty-ninth annual symposium on Computational geometry | 2015-02-17 | Paper |
Fixed parameter tractable algorithms in combinatorial topology
Lecture Notes in Computer Science | 2014-09-26 | Paper |
A new approach to crushing 3-manifold triangulations
Discrete & Computational Geometry | 2014-09-19 | Paper |
Computing the crosscap number of a knot using integer programming and normal surfaces
ACM Transactions on Mathematical Software | 2014-09-12 | Paper |
Computing the crosscap number of a knot using integer programming and normal surfaces
ACM Transactions on Mathematical Software | 2014-09-12 | Paper |
A Duplicate Pair in the SnapPea Census
Experimental Mathematics | 2014-08-08 | Paper |
Multi-objective integer programming: an improved recursive algorithm
Journal of Optimization Theory and Applications | 2014-07-14 | Paper |
Multi-objective integer programming: an improved recursive algorithm
Journal of Optimization Theory and Applications | 2014-07-14 | Paper |
| Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto | 2014-06-02 | Paper |
| The cusped hyperbolic census is complete | 2014-05-12 | Paper |
The complexity of the normal surface solution space
Proceedings of the twenty-sixth annual symposium on Computational geometry | 2014-04-03 | Paper |
The Pachner graph and the simplification of 3-sphere triangulations
Proceedings of the twenty-seventh annual symposium on Computational geometry | 2014-03-24 | Paper |
A tree traversal algorithm for decision problems in knot theory and 3-manifold topology
Proceedings of the twenty-seventh annual symposium on Computational geometry | 2014-03-24 | Paper |
| Computationally proving triangulated 4-manifolds to be diffeomorphic | 2014-03-11 | Paper |
Computational topology with Regina: algorithms, heuristics and implementations
(available as arXiv preprint) | 2013-12-20 | Paper |
Locating regions in a sequence under density constraints
SIAM Journal on Computing | 2013-09-25 | Paper |
Triangulating a Cappell-Shaneson knot complement
Mathematical Research Letters | 2013-08-05 | Paper |
Optimising a nonlinear utility function in multi-objective integer programming
Journal of Global Optimization | 2013-06-14 | Paper |
Optimising a nonlinear utility function in multi-objective integer programming
Journal of Global Optimization | 2013-06-14 | Paper |
A tree traversal algorithm for decision problems in knot theory and 3-manifold topology
Algorithmica | 2013-05-16 | Paper |
Complementary vertices and adjacency testing in polytopes
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Quadrilateral–Octagon Coordinates for Almost Normal Surfaces
Experimental Mathematics | 2012-08-31 | Paper |
Quadrilateral–Octagon Coordinates for Almost Normal Surfaces
Experimental Mathematics | 2012-08-31 | Paper |
The Weber-Seifert dodecahedral space is non-Haken
Transactions of the American Mathematical Society | 2012-02-24 | Paper |
Searching a bitstream in linear time for the longest substring of any given density
Algorithmica | 2011-11-07 | Paper |
| Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations | 2011-10-27 | Paper |
Maximal admissible faces and asymptotic bounds for the normal surface solution space
Journal of Combinatorial Theory. Series A | 2011-04-15 | Paper |
Optimizing the double description method for normal surface enumeration
Mathematics of Computation | 2010-08-30 | Paper |
| Projective geometry and the outer approximation algorithm for multiobjective linear programming | 2010-06-15 | Paper |
| scientific article; zbMATH DE number 5711601 (Why is no real title available?) | 2010-05-25 | Paper |
Converting between quadrilateral and standard solution sets in normal surface theory
Algebraic & Geometric Topology | 2009-11-02 | Paper |
Observations from the 8-Tetrahedron Nonorientable Census
Experimental Mathematics | 2008-07-11 | Paper |
Enumeration of non-orientable 3-manifolds using face-pairing graphs and union-find
Discrete & Computational Geometry | 2008-01-04 | Paper |
STRUCTURES OF SMALL CLOSED NON-ORIENTABLE 3-MANIFOLD TRIANGULATIONS
Journal of Knot Theory and Its Ramifications | 2007-06-28 | Paper |
Introducing Regina, The 3-Manifold Topology Software
Experimental Mathematics | 2006-06-06 | Paper |
Introducing Regina, The 3-Manifold Topology Software
Experimental Mathematics | 2006-06-06 | Paper |
| Efficient enumeration of 3-manifold triangulations | 2006-02-13 | Paper |
FACE PAIRING GRAPHS AND 3-MANIFOLD ENUMERATION
Journal of Knot Theory and Its Ramifications | 2005-02-28 | Paper |
Arc diagrams on 3-manifold spines
(available as arXiv preprint) | N/A | Paper |
Finding large counterexamples by selectively exploring the Pachner graph
(available as arXiv preprint) | N/A | Paper |
Crushing Surfaces of Positive Genus
(available as arXiv preprint) | N/A | Paper |
Effective Computation of the Heegaard Genus of 3-Manifolds
(available as arXiv preprint) | N/A | Paper |
