, 2017, Deduction, diagrams and model-based reasoning, in L. Magnani & T. Bertolotti (eds.), Springer handbook of model-based science, Dordrecht, Springer, pp. 523-535.
, 2012, 'Constructive geometrical reasoning and diagrams', Synthese 186 (1), 103-119.
with Panza, M. , 2012, 'Diagrams in mathematics: history and philosophy', Synthese 186 (1), 1-5.
with Panza, M. , Sandu, P.-G. (eds) , 2012, Synthese 186 (1).
, 2011, 'Le rôle du contenu géométrique dans le raisonnement diagrammatique d'Euclide', , 243-258 .
, 2010, 'Proofs, pictures, and euclid', Synthese 175 (2), 255-287.
, 2008a, Ensuring generality in Euclid’s diagrammatic arguments, in G. Stapleton & J. Howse (eds.), Diagrammatic representation and inference, Berlin, Springer, pp. 222-235.