Ana Paula Tomás

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 2

Top Topics

Computationally Hard

Allocation Problems

Top Venues

Publications

Vasco Cruz, Ana Paula Tomás
On r-Guarding SCOTs - A New Family of Orthogonal Polygons. LATIN (2022)
Ana Paula Tomás
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment. SOFSEM (2018)
Ana Paula Tomás
On the Enumeration of Permutominoes. FCT (2015)
Ana Paula Tomás
Guarding Thin Orthogonal Polygons Is Hard. FCT (2013)
Ana Paula Tomás, José Paulo Leal
Automatic Generation and Delivery of Multiple-Choice Math Quizzes. CP (2013)
Ana Paula Tomás, José Paulo Leal, Marcos Aurélio Domingues
A Web Application for Mathematics Education. ICWL (2007)
Ana Paula Tomás, Nelma Moreira, Nuno Pereira
Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. AIAI (2006)
Ana Paula Tomás, António Leslie Bajuelos, Fábio Marques
On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations. AI&M (2006)
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain
Mechanically Proving Termination Using Polynomial Interpretations. J. Autom. Reason. 34 (4) (2005)
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)
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)
Ana Paula Tomás, António Leslie Bajuelos
Generating Random Orthogonal Polygons. CAEPIA (2003)
Ana Paula Tomás, José Paulo Leal
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. PADL (2003)
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)
Ana Paula Tomás, José Paulo Leal, Pedro Vasconcelos
Using Constraint Logic Programming to Generate Drills in Mathematics. APPIA-GULP-PRODE (2002)
Ana Paula Tomás
Solving Optimal Location of Traffic Count Posts in CLP(FD). APPIA-GULP-PRODE (2002)
Ana Paula Tomás
Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD). MICAI (2002)
Ana Paula Tomás, Miguel Filgueiras
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals. EPIA (1997)
Ana Paula Tomás, Miguel Filgueiras
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space. RTA (1997)
Eric Domenjoud, Ana Paula Tomás
From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. CP (1995)
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) (1995)
Miguel Filgueiras, Ana Paula Tomás
Fast Methods for Solving Linear Diophantine Equations. EPIA (1993)
Miguel Filgueiras, Ana Paula Tomás
Solving Linear Constraints on Finite Domains Through Parsing. EPIA (1991)
Ana Paula Tomás, Miguel Filgueiras
A New Method for Solving Linear Constraints on the Natural Numbers. EPIA (1991)
Miguel Filgueiras, Nelma Moreira, Ana Paula Tomás
General Introduction. EAIA (1990)
Miguel Filgueiras, Ana Paula Tomás, Nelma Moreira, Rogério Reis, José Paulo Leal
Natural Language and Natural Menus Interfaces. Modelling the Innovation (1990)
Ana Paula Tomás, Miguel Filgueiras
Some Comments on a Logic Programming Approach to Natural Language Semantics. EPIA (1989)