Asynchronous deterministic rendezvous in bounded terrains
Automated Proofs in Geometry : Computing Upper Bounds for the Heilbronn Problem for Triangles
Automatic Generation of the Axial Lines of Urban Environments to Capture What We Perceive
Automatically Creating Design Models from 3D Anthropometry Data