### 8 papers:

- STOC-2013-KawarabayashiY #graph #testing
- Testing subdivision-freeness: property testing meets structural graph theory (KiK, YY), pp. 437–446.
- DATE-2010-GrottesiMRB #animation #parallel
- Parallel subdivision surface rendering and animation on the Cell BE processor (RG, SM, MR, LB), pp. 178–183.
- ICGT-2010-SpicherMG #declarative #using
- Declarative Mesh Subdivision Using Topological Rewriting in MGS (AS, OM, JLG), pp. 298–313.
- SAC-2007-Dufourd #framework #proving #theorem
- A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler’s formula (JFD), pp. 757–761.
- ICPR-v2-2004-NiR #pattern matching
- Pattern Matching by Sequential Subdivision of Transformation Space (MN, SER), pp. 145–148.
- AGTIVE-2003-SmithPS #algorithm #specification
- Local Specification of Surface Subdivision Algorithms (CS, PP, FFS), pp. 313–327.
- STOC-1983-GuibasS #diagrams
- Primitives for the Manipulation of General Subdivisions and the Computation of Voronoi Diagrams (LJG, JS), pp. 221–234.
- STOC-1976-LeeP
- Location of a Point in a Planar Subdivision and its Applications (DTL, FPP), pp. 231–235.