Ana Paula Tomás

28 papers A 2B 4C 1Misc 7Journal 2Unranked 11
YearRankTypeTitle / Venue / Authors
2022 B conf
On r-Guarding SCOTs - A New Family of Orthogonal Polygons.
LATIN
Vasco Cruz, Ana Paula Tomás
2018 B conf
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment.
SOFSEM
Ana Paula Tomás
2015 B conf
On the Enumeration of Permutominoes.
FCT
Ana Paula Tomás
2013 A conf
Automatic Generation and Delivery of Multiple-Choice Math Quizzes.
CP
Ana Paula Tomás, José Paulo Leal
2013 B conf
Guarding Thin Orthogonal Polygons Is Hard.
FCT
Ana Paula Tomás
2007 — conf
A Web Application for Mathematics Education.
ICWL
Ana Paula Tomás, José Paulo Leal, Marcos Aurélio Domingues
2006 Misc conf
Designing a Solver for Arithmetic Constraints to Support Education in Mathematics.
AIAI
Ana Paula Tomás, Nelma Moreira, Nuno Pereira
2006 — conf
On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations.
AI&M
Ana Paula Tomás, António Leslie Bajuelos, Fábio Marques
2005 J jnl
Mechanically Proving Termination Using Polynomial Interpretations.
J. Autom. Reason.
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain
2004 — conf
Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of Pieces.
ICCSA (3)
António Leslie Bajuelos, Ana Paula Tomás, Fábio Marques
2004 — conf
Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices.
ICCSA (3)
Ana Paula Tomás, António Leslie Bajuelos
2003 C conf
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.
PADL
Ana Paula Tomás, José Paulo Leal
2003 Misc conf
Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and Terrains.
International Conference on Computational Science
Ana Paula Tomás, António Leslie Bajuelos, Fábio Marques
2003 — conf
Generating Random Orthogonal Polygons.
CAEPIA
Ana Paula Tomás, António Leslie Bajuelos
2002 — conf
Solving Optimal Location of Traffic Count Posts in CLP(FD).
APPIA-GULP-PRODE
Ana Paula Tomás
2002 — conf
Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD).
MICAI
Ana Paula Tomás
2002 — conf
Using Constraint Logic Programming to Generate Drills in Mathematics.
APPIA-GULP-PRODE
Ana Paula Tomás, José Paulo Leal, Pedro Vasconcelos
1997 Misc conf
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals.
EPIA
Ana Paula Tomás, Miguel Filgueiras
1997 — conf
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space.
RTA
Ana Paula Tomás, Miguel Filgueiras
1995 J jnl
A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine Equation.
J. Symb. Comput.
Miguel Filgueiras, Ana Paula Tomás
1995 A conf
From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals.
CP
Eric Domenjoud, Ana Paula Tomás
1993 Misc conf
Fast Methods for Solving Linear Diophantine Equations.
EPIA
Miguel Filgueiras, Ana Paula Tomás
1991 Misc conf
A New Method for Solving Linear Constraints on the Natural Numbers.
EPIA
Ana Paula Tomás, Miguel Filgueiras
1991 — ed.
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings
EAIA
Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás
1991 Misc conf
Solving Linear Constraints on Finite Domains Through Parsing.
EPIA
Miguel Filgueiras, Ana Paula Tomás
1990 — conf
General Introduction.
EAIA
Miguel Filgueiras, Nelma Moreira, Ana Paula Tomás
1990 — conf
Natural Language and Natural Menus Interfaces.
Modelling the Innovation
Miguel Filgueiras, Ana Paula Tomás, Nelma Moreira, Rogério Reis, José Paulo Leal
1989 Misc conf
Some Comments on a Logic Programming Approach to Natural Language Semantics.
EPIA
Ana Paula Tomás, Miguel Filgueiras