Ana Paula Tomás

Ana Paula Tomás, José Paulo Leal, Marcos Aurélio Domingues: A Web Application for Mathematics Education. ICWL 2007: 380-391

Ana Paula Tomás, Nelma Moreira, Nuno Pereira: Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. AIAI 2006: 433-441

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. ISAIM 2006

Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain: Mechanically Proving Termination Using Polynomial Interpretations. J. Autom. Reasoning 34(4): 325-363 (2005)

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: 117-126

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: 127-136

Ana Paula Tomás, António Leslie Bajuelos: Generating Random Orthogonal Polygons. CAEPIA 2003: 364-373

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: 869-878

Ana Paula Tomás, José Paulo Leal: A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. PADL 2003: 223-240

Ana Paula Tomás: Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD). MICAI 2002: 242-251

Ana Paula Tomás, Miguel Filgueiras: An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals. EPIA 1997: 73-84

Ana Paula Tomás, Miguel Filgueiras: Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space. RTA 1997: 269-283

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): 507-526 (1995)

Eric Domenjoud, Ana Paula Tomás: From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. CP 1995: 18-35

Miguel Filgueiras, Ana Paula Tomás: Fast Methods for Solving Linear Diophantine Equations. EPIA 1993: 297-306

Miguel Filgueiras, Ana Paula Tomás: Solving Linear Constraints on Finite Domains Through Parsing. EPIA 1991: 1-16

Ana Paula Tomás, Miguel Filgueiras: A New Method for Solving Linear Constraints on the Natural Numbers. EPIA 1991: 30-44

Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás (Eds.): Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings. Lecture Notes in Computer Science 476, Springer 1991, isbn 3-540-53678-7

Miguel Filgueiras, Nelma Moreira, Ana Paula Tomás: General Introduction. EAIA 1990: 1-3

Miguel Filgueiras, Ana Paula Tomás, Nelma Moreira, Rogério Reis, José Paulo Leal: Natural Language and Natural Menus Interfaces. Modelling the Innovation 1990: 299-306

Ana Paula Tomás, Miguel Filgueiras: Some Comments on a Logic Programming Approach to Natural Language Semantics. EPIA 1989: 187-197