The full angle method on the OpenGeoProver. - Nuno Baeta; Pedro Quaresma (CICM Workshops, 2013)

Current Status of the I2GATP Common Format. - Pedro Quaresma; Nuno Baeta (ADG, 2014)

Tracking Users Mobility at Public Transportation. - Nuno Baeta; Agnelo Fernandes; João Ferreira 001 (PAAMS (Workshops), 2016)

Exchange of Geometric Information Between Applications. - Pedro Quaresma; Vanda Santos; Nuno Baeta (ThEdu@CADE, 2017)

Towards Ranking Geometric Automated Theorem Provers. - Nuno Baeta; Pedro Quaresma (ThEdu@FLoC, 2018)

Towards a Geometry Automated Provers Competition. - Nuno Baeta; Pedro Quaresma; Zoltán Kovács (ThEdu@CADE, 2019)

Taxonomies of geometric problems. - Pedro Quaresma; Vanda Santos; Pierluigi Graziani; Nuno Baeta (J. Symb. Comput., 2020)

Open Geometry Prover Community Project. - Nuno Baeta; Pedro Quaresma (ADG, 2021)

Towards a geometry deductive database prover. - Nuno Baeta; Pedro Quaresma (Ann. Math. Artif. Intell., 2023)