Concepedia

Ana Paula Tomás

AP

3

Publications

105

Citations

3

H-Index

1995

Active since

Affiliations

Universidade do Porto(Current)

Ana Paula Tomás is an author at Universidade do Porto specializing in engineering, formal verification, and computational geometry.

ORCID

Top concepts

Publications per year

1995–2006

3

Publications

3

Mechanically Proving Termination Using Polynomial Interpretations

Évelyne Contejean, Claude Marché, Ana Paula Tomás et al. · Journal of Automated Reasoning · 2005 · 73 citations

, , +5

A Fast Method for Finding the Basis of Non-negative Solutions to a Linear Diophantine Equation

Miguel Filgueiras, Ana Paula Tomás · Journal of Symbolic Computation · 1995 · 20 citations

, , +2

On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations.

Ana Paula Tomás, Antonio L. Bajuelos, Fábio Marques · International Symposium on Artificial Intelligence and Mathematics · 2006 · 12 citations

, , +8

Rows per page

1–3 of 3