publicaciones seleccionadas documento Declarative Visual Programming with Invariant, Pre- and Post-conditions for Lattice Approximation of 3D Models 2024 Measurement-Driven Synthesis of Female Digital Mannequin Using Convex Sub-Volumes 2022-09-28