The SCEAS System
Navigation Menu

Search the dblp DataBase


Ana Paula Tomás: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002