Search the dblp DataBase

Publications of Author

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