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.
