VLDB 2026 Research / reviewers in the wild / expert
Ana Paula Tomás
dblp:08/5668
· DBLP profile ↗
12ranked-venue papers
7as first author
1since 2021 · last 2022
0000-0002-1776-4897ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 3 first-author · 1 since 2021Artificial intelligence and machine learning · 3 · 1 first-authorSoftware engineering, systems software and programming languages · 3 · 2 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 2 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | On r-Guarding SCOTs - A New Family of Orthogonal Polygons
Vasco Cruz, Ana Paula Tomás |
LATIN | 2 |
| 2018 | House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment
Ana Paula Tomás |
SOFSEM | 1 |
| 2015 | On the Enumeration of Permutominoes
Ana Paula Tomás |
FCT | 1 |
| 2013 | Automatic Generation and Delivery of Multiple-Choice Math Quizzes
Ana Paula Tomás, José Paulo Leal |
CP | 1 |
| 2013 | Guarding Thin Orthogonal Polygons Is Hard
Ana Paula Tomás |
FCT | 1 |
| 2005 | Mechanically Proving Termination Using Polynomial Interpretations
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain |
J. Autom. Reason. | 3 |
| 2004 | Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of Pieces
António Leslie Bajuelos, Ana Paula Tomás, Fábio Marques |
ICCSA (3) | 2 |
| 2004 | Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices
Ana Paula Tomás, António Leslie Bajuelos |
ICCSA (3) | 1 |
| 2003 | A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises
Ana Paula Tomás, José Paulo Leal |
PADL | 1 |
| 1997 | Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space
Ana Paula Tomás, Miguel Filgueiras |
RTA | 1 |
| 1995 | From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals
Eric Domenjoud, Ana Paula Tomás |
CP | 2 |
| 1995 | A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine Equation
Miguel Filgueiras, Ana Paula Tomás |
J. Symb. Comput. | 2 |