LEMA: towards a language for reliable arithmetic. - Vincent Lefèvre; Philippe Théveny; Florent de Dinechin; Claude-Pierre Jeannerod; Christophe Mouilleron; David Pfannholzer; Nathalie Revol (ACM Commun. Comput. Algebra, 2010)

Why and How to Use Arbitrary Precision. - Kaveh R. Ghazi; Vincent Lefèvre; Philippe Théveny; Paul Zimmermann (Comput. Sci. Eng., 2010)

Parallel Implementation of Interval Matrix Multiplication. - Nathalie Revol; Philippe Théveny (Reliab. Comput., 2013)

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. - Nathalie Revol; Philippe Théveny (IEEE Trans. Computers, 2014)

Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors. (Algèbre linéaire d'intervalles - Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs). - Philippe Théveny (2014)