| 2007 |
|---|
| 20 | EE | Ana Paula Tomás,
José Paulo Leal,
Marcos Aurélio Domingues:
A Web Application for Mathematics Education.
ICWL 2007: 380-391 |
| 2006 |
|---|
| 19 | EE | Ana Paula Tomás,
Nelma Moreira,
Nuno Pereira:
Designing a Solver for Arithmetic Constraints to Support Education in Mathematics.
AIAI 2006: 433-441 |
| 2005 |
|---|
| 18 | EE | Evelyne Contejean,
Claude Marché,
Ana Paula Tomás,
Xavier Urbain:
Mechanically Proving Termination Using Polynomial Interpretations.
J. Autom. Reasoning 34(4): 325-363 (2005) |
| 2004 |
|---|
| 17 | EE | Ana Paula Tomás,
António Leslie Bajuelos:
Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices.
ICCSA (3) 2004: 117-126 |
| 16 | EE | António Leslie Bajuelos,
Ana Paula Tomás,
Fábio Marques:
Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of Pieces.
ICCSA (3) 2004: 127-136 |
| 2003 |
|---|
| 15 | EE | Ana Paula Tomás,
António Leslie Bajuelos:
Generating Random Orthogonal Polygons.
CAEPIA 2003: 364-373 |
| 14 | EE | Ana Paula Tomás,
António Leslie Bajuelos,
Fábio Marques:
Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and Terrains.
International Conference on Computational Science 2003: 869-878 |
| 13 | EE | Ana Paula Tomás,
José Paulo Leal:
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.
PADL 2003: 223-240 |
| 2002 |
|---|
| 12 | EE | Ana Paula Tomás:
Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD).
MICAI 2002: 242-251 |
| 1997 |
|---|
| 11 | | Ana Paula Tomás,
Miguel Filgueiras:
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals.
EPIA 1997: 73-84 |
| 10 | | Ana Paula Tomás,
Miguel Filgueiras:
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space.
RTA 1997: 269-283 |
| 1995 |
|---|
| 9 | | Eric Domenjoud,
Ana Paula Tomás:
From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals.
CP 1995: 18-35 |
| 8 | | Miguel Filgueiras,
Ana Paula Tomás:
A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine Equation.
J. Symb. Comput. 19(6): 507-526 (1995) |
| 1993 |
|---|
| 7 | | Miguel Filgueiras,
Ana Paula Tomás:
Fast Methods for Solving Linear Diophantine Equations.
EPIA 1993: 297-306 |
| 1991 |
|---|
| 6 | | Miguel Filgueiras,
Luís Damas,
Nelma Moreira,
Ana Paula Tomás:
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings
Springer 1991 |
| 5 | | Miguel Filgueiras,
Ana Paula Tomás:
Solving Linear Constraints on Finite Domains Through Parsing.
EPIA 1991: 1-16 |
| 4 | | Ana Paula Tomás,
Miguel Filgueiras:
A New Method for Solving Linear Constraints on the Natural Numbers.
EPIA 1991: 30-44 |
| 1990 |
|---|
| 3 | | Miguel Filgueiras,
Nelma Moreira,
Ana Paula Tomás:
General Introduction.
EAIA 1990: 1-3 |
| 2 | | Miguel Filgueiras,
Ana Paula Tomás,
Nelma Moreira,
Rogério Reis,
José Paulo Leal:
Natural Language and Natural Menus Interfaces.
Modelling the Innovation 1990: 299-306 |
| 1989 |
|---|
| 1 | | Ana Paula Tomás,
Miguel Filgueiras:
Some Comments on a Logic Programming Approach to Natural Language Semantics.
EPIA 1989: 187-197 |
