|
2014 Conference Publication Courcelle's theorem for triangulationsBurton, Benjamin A. (2014). Courcelle's theorem for triangulations. Workshop on Triangulations in Geometry and Topology. SoCG 2014: Computational Geometry Week 2014. The 30th Annual Symposium on Computational Geometry, Kyoto, Japan, 8-11 June, 2014. Ithaca, NY, USA: Cornell University Library. |
|
2014 Conference Publication Enumerating fundamental normal surfaces: algorithms, experiments and invariantsBurton, Benjamin A. (2014). Enumerating fundamental normal surfaces: algorithms, experiments and invariants. 16th Workshop on Algorithm Engineering and Experiments (ALENEX14), Portland, United States, 5 January 2014. Philadelphia, United States: Society for Industrial and Applied Mathematics (SIAM). doi: 10.1137/1.9781611973198.11 |
|
2013 Conference Publication A new approach to crushing 3-manifold triangulationsBurton, Benjamin A. (2013). A new approach to crushing 3-manifold triangulations. SoCG '13: Symposium on Computational Geometry 2013, Rio de Janeiro, Brazil, 17 - 20 June 2013. New York, NY United States: Association for Computing Machinery. doi: 10.1145/2493132.2462409 |
|
2013 Journal Article Optimising a nonlinear utility function in multi-objective integer programmingOzlen, Melih, Azizoglu, Meral and Burton, Benjamin A. (2013). Optimising a nonlinear utility function in multi-objective integer programming. Journal of Global Optimization, 56 (1), 93-102. doi: 10.1007/s10898-012-9921-4 |
|
2013 Conference Publication A tree traversal algorithm for decision problems in knot theory and 3-manifold topologyBurton, Benjamin A. and Ozlen, Melih (2013). A tree traversal algorithm for decision problems in knot theory and 3-manifold topology. Secaucus, NJ, United States: Springer. doi: 10.1007/s00453-012-9645-3 |
|
2013 Conference Publication Computing closed essential surfaces in knot complementsBurton, Benjamin A., Coward, Alexander and Tillmann, Stephan (2013). Computing closed essential surfaces in knot complements. SoCG '13: Symposium on Computational Geometry 2013, Rio de Janeiro, Brazil, 17 - 20 June 2013. New York, NY United States: Association for Computing Machinery. doi: 10.1145/2493132.2462380 |
|
2013 Conference Publication Computing closed essential surfaces in knot complementsBurton, Benjamin A., Coward, Alexander and Tillmann, Stephen (2013). Computing closed essential surfaces in knot complements. 29th Annual Symposium on Computational Geometry (SoCG 2013), Rio de Janeiro, Brazil, 17-20 June 2013. New York, NY United States: Association for Computing Machinery Inc.. doi: 10.1145/2462356.2462380 |
|
2013 Journal Article Locating regions in a sequence under density constraintsBurton, Benjamin A. and Hiron, Mathias (2013). Locating regions in a sequence under density constraints. SIAM Journal on Computing, 42 (3), 1201-1215. doi: 10.1137/110830605 |
|
2013 Conference Publication A new approach to crushing 3-manifold triangulationsBurton, Benjamin A. (2013). A new approach to crushing 3-manifold triangulations. 29th Annual Symposium on Computational Geometry (SoCG 2013), Rio de Janeiro, Brazil, 17-20 June 2013. New York, NY United States: Association for Computing Machinery Inc.. doi: 10.1145/2462356.2462409 |
|
2013 Conference Publication Computationally proving triangulated 4-manifolds to be diffeomorphicBurton, Benjamin and Spreer, Jonathan (2013). Computationally proving triangulated 4-manifolds to be diffeomorphic. 29th ACM Symposium on Computational Geometry,, Rio de Janeiro, Brazil, 17 - 20 June 2013. |
|
2013 Conference Publication Parameterized complexity of discrete morse theoryBurton, Benjamin A., Lewiner, Thomas, Paixao, Joao and Spreer, Jonathan (2013). Parameterized complexity of discrete morse theory. 29th Annual Symposium on Computational Geometry (SoCG 2013), Rio de Janeiro, Brazil, 17-20 June 2013. New York, NY, United States: Association for Computing Machinery Inc.. doi: 10.1145/2462356.2462391 |
|
2012 Journal Article Computing the crosscap number of a knot using integer programming and normal surfacesBurton, Benjamin A. and Ozlen, Melih (2012). Computing the crosscap number of a knot using integer programming and normal surfaces. ACM Transactions On Mathematical Software, 39 (1) 4, 4.1-4.18. doi: 10.1145/2382585.2382589 |
|
2012 Journal Article Triangulating a Cappell-Shaneson knot complementBudney, Ryan, Burton, Benjamin A. and Hillman, Jonathan (2012). Triangulating a Cappell-Shaneson knot complement. Mathematical Research Letters, 19 (5), 1117-1126. doi: 10.4310/MRL.2012.v19.n5.a12 |
|
2012 Conference Publication Complementary vertices and adjacency testing in polytopesBurton, Benjamin A. (2012). Complementary vertices and adjacency testing in polytopes. 18th Annual International Computing and Combinatorics Conference (COCOON 2012), Sydney, Australia, 20-22 August 2012. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-32241-9_43 |
|
2012 Conference Publication Computational topology and normal surfaces: theoretical and experimental complexity boundsBurton, Benjamin, Paixao, Joao and Spreer, Jonathan (2012). Computational topology and normal surfaces: theoretical and experimental complexity bounds. Meeting on Algorithm Engineering and Experiments (ALENEX13), New Orleans, United States, 7 January 2013. Philadelphia, United States: Society for Industrial and Applied Mathematics. doi: 10.1137/1.9781611972931.7 |
|
2012 Journal Article Pachner moves, generic complexity, and randomising 3-manifold triangulationsBurton, Benjamin A. (2012). Pachner moves, generic complexity, and randomising 3-manifold triangulations. Oberwolfach Reports, 9 (2), 1412-1414. doi: 10.4171/OWR/2012/24 |
|
2011 Journal Article Searching a bitstream in linear time for the longest substring of any given densityBurton, Benjamin A. (2011). Searching a bitstream in linear time for the longest substring of any given density. Algorithmica, 61 (3), 555-579. doi: 10.1007/s00453-010-9424-y |
|
2011 Journal Article Maximal admissible faces and asymptotic bounds for the normal surface solution spaceBurton, Benjamin A. (2011). Maximal admissible faces and asymptotic bounds for the normal surface solution space. Journal of Combinatorial Theory: Series A, 118 (4), 1410-1435. doi: 10.1016/j.jcta.2010.12.011 |
|
2011 Conference Publication A tree traversal algorithm for decision problems in knot theory and 3-manifold topologyBurton, Benjamin A. and Ozlen, Melih (2011). A tree traversal algorithm for decision problems in knot theory and 3-manifold topology. 27th Annual Symposium on Computational Geometry (SoCG 2011), Paris, France, 13-15 June 2011. New York, NY, United States: ACM Press. doi: 10.1145/1998196.1998219 |
|
2011 Conference Publication The Pachner graph and the simplification of 3-sphere triangulationsBurton, Benjamin A. (2011). The Pachner graph and the simplification of 3-sphere triangulations. 27th ACM Symposium on Computational Geometry [SoCG], Paris, France, 13-15 June 2011. New York, NY, U.S.A.: ACM. doi: 10.1145/1998196.1998220 |
