Search strategies for reasoning about spatial ontologies. - Jorge Pais; Carlos A. Pinto-Ferreira (ICTAI, 1998)

The n-dimensional projective approach as a tool for spatial reasoning. - Jorge Pais; Carlos A. Pinto-Ferreira (ICTAI, 2000)

Proof Assistant Based on Didactic Considerations. - Jorge Pais; Alvaro Tasistro (J. Univers. Comput. Sci., 2013)

Novel Didactic Proof Assistant for First-Order Logic Natural Deduction. - Jorge Pais; Alvaro Tasistro (HCI (14), 2014)

The Inez Mathematical Programming Modulo Theories Framework. - Panagiotis Manolios; Jorge Pais; Vasilis Papavasileiou (CAV (2), 2015)