Translating a Convex Polygon to Contain a Maximum Number of Points. - Gill Barequet; Matthew T. Dickerson; Petru Pau (Comput. Geom., 1997)

Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition. - Petru Pau; Josef Schicho (J. Symb. Comput., 2000)

Exact Real Computation in Computer Algebra. - Gábor Bodnár; Barbara Kaltenbacher; Petru Pau; Josef Schicho (SNSC, 2001)

Real-Time Traffic Conditions with SUMO for ITS Austria West. - Karl-Heinz Kastner; Robert Keber; Petru Pau; Martin Samal (SUMO, 2013)