Some Comments on a Logic Programming Approach to Natural Language Semantics. - Ana Paula Tomás; Miguel Filgueiras (EPIA, 1989)

General Introduction. - Miguel Filgueiras; Nelma Moreira; Ana Paula Tomás (EAIA, 1990)

Natural Language and Natural Menus Interfaces. - Miguel Filgueiras; Ana Paula Tomás; Nelma Moreira; Rogério Reis; José Paulo Leal (Modelling the Innovation, 1990)

Solving Linear Constraints on Finite Domains Through Parsing. - Miguel Filgueiras; Ana Paula Tomás (EPIA, 1991)

A New Method for Solving Linear Constraints on the Natural Numbers. - Ana Paula Tomás; Miguel Filgueiras (EPIA, 1991)

Fast Methods for Solving Linear Diophantine Equations. - Miguel Filgueiras; Ana Paula Tomás (EPIA, 1993)

From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. - Eric Domenjoud; Ana Paula Tomás (CP, 1995)

A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine Equation. - Miguel Filgueiras; Ana Paula Tomás (J. Symb. Comput., 1995)

An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals. - Ana Paula Tomás; Miguel Filgueiras (EPIA, 1997)

Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space. - Ana Paula Tomás; Miguel Filgueiras (RTA, 1997)

Solving Optimal Location of Traffic Count Posts in CLP(FD). - Ana Paula Tomás (APPIA-GULP-PRODE, 2002)

Using Constraint Logic Programming to Generate Drills in Mathematics. - Ana Paula Tomás; José Paulo Leal; Pedro Vasconcelos (APPIA-GULP-PRODE, 2002)

Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD). - Ana Paula Tomás (MICAI, 2002)

Generating Random Orthogonal Polygons. - Ana Paula Tomás; António Leslie Bajuelos (CAEPIA, 2003)

Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and Terrains. - Ana Paula Tomás; António Leslie Bajuelos; Fábio Marques (International Conference on Computational Science, 2003)

A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. - Ana Paula Tomás; José Paulo Leal (PADL, 2003)

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of Pieces. - António Leslie Bajuelos; Ana Paula Tomás; Fábio Marques (ICCSA (3), 2004)

Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices. - Ana Paula Tomás; António Leslie Bajuelos (ICCSA (3), 2004)

Mechanically Proving Termination Using Polynomial Interpretations. - Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain (J. Autom. Reason., 2005)

Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. - Ana Paula Tomás; Nelma Moreira; Nuno Pereira 001 (AIAI, 2006)

On Visibility Problems in the Plane – Solving Minimum Vertex Guard Problems by Successive Approximations. - Ana Paula Tomás; António Leslie Bajuelos; Fábio Marques (AI&M, 2006)

A Web Application for Mathematics Education. - Ana Paula Tomás; José Paulo Leal; Marcos Aurélio Domingues (ICWL, 2007)

Automatic Generation and Delivery of Multiple-Choice Math Quizzes. - Ana Paula Tomás; José Paulo Leal (CP, 2013)

Guarding Thin Orthogonal Polygons Is Hard. - Ana Paula Tomás (FCT, 2013)

On the Enumeration of Permutominoes. - Ana Paula Tomás (FCT, 2015)

House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment. - Ana Paula Tomás (SOFSEM, 2018)

On r-Guarding SCOTs - A New Family of Orthogonal Polygons. - Vasco Cruz; Ana Paula Tomás (LATIN, 2022)