The SCEAS System
| |||||||

## Search the dblp DataBase
Ana Paula Tomás:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Ana Paula Tomás, António Leslie Bajuelos
**Generating Random Orthogonal Polygons.**[Citation Graph (0, 0)][DBLP] CAEPIA, 2003, pp:364-373 [Conf] - 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] - Miguel Filgueiras, Nelma Moreira, Ana Paula Tomás
**General Introduction.**[Citation Graph (0, 0)][DBLP] EAIA, 1990, pp:1-3 [Conf] - 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] - Miguel Filgueiras, Ana Paula Tomás
**Fast Methods for Solving Linear Diophantine Equations.**[Citation Graph (0, 0)][DBLP] EPIA, 1993, pp:297-306 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **A Web Application for Mathematics Education.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |