2010
3D hyperbolic Voronoi diagrams.
Comput. Aided Des., 2010

2009
The space of formal balls and models of quasi-metric spaces.
Math. Struct. Comput. Sci., 2009