Ana Paula Tomás - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2022

On r-Guarding SCOTs - A New Family of Orthogonal PolygonsVasco Cruz, Ana Paula Tomás. latin 2022: 713-729 [doi]

2018

House Allocation Problems with Existing Tenants and Priorities for Teacher RecruitmentAna Paula Tomás. sofsem 2018: 479-492 [doi]

2015

On the Enumeration of PermutominoesAna Paula Tomás. fct 2015: 41-52 [doi]

2013

Guarding Thin Orthogonal Polygons Is HardAna Paula Tomás. fct 2013: 305-316 [doi]

Automatic Generation and Delivery of Multiple-Choice Math QuizzesAna Paula Tomás, José Paulo Leal. cp 2013: 848-863 [doi]

2007

A Web Application for Mathematics EducationAna Paula Tomás, José Paulo Leal, Marcos Aurélio Domingues. icwl 2008: 380-391 [doi]

2006

On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive ApproximationsAna Paula Tomás, António Leslie Bajuelos, Fábio Marques. isaim 2006: [doi]

Designing a Solver for Arithmetic Constraints to Support Education in MathematicsAna Paula Tomás, Nelma Moreira, Nuno Pereira. ifip12 2006: 433-441 [doi]

2005

Mechanically Proving Termination Using Polynomial InterpretationsEvelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain. JAR, 34(4):325-363, 2005. [doi]

2004

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: Lower and Upper Bounds on the Number of PiecesAntónio Leslie Bajuelos, Ana Paula Tomás, Fábio Marques. iccsa 2004: 127-136 [doi]

Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of VerticesAna Paula Tomás, António Leslie Bajuelos. iccsa 2004: 117-126 [doi]

2003

Generating Random Orthogonal PolygonsAna Paula Tomás, António Leslie Bajuelos. caepia 2004: 364-373 [doi]

Approximation Algorithms to Minimum Vertex Cover Problems on Polygons and TerrainsAna Paula Tomás, António Leslie Bajuelos, Fábio Marques. iccS 2003: 869-878 [doi]

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

2002

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

Solving Optimal Location of Traffic Count Posts in CLP(FD)Ana Paula Tomás. agp 2002: 173-188 [doi]

Using Constraint Logic Programming to Generate Drills in MathematicsAna Paula Tomás, José Paulo Leal, Pedro Vasconcelos. agp 2002: 155-172 [doi]

1997

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

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

1995

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

A Fast Method for Finding the Basis of Nonnegative Solutions to a Linear Diophantine EquationMiguel Filgueiras, Ana Paula Tomás. JSC, 19(6):507-526, 1995.

1993

Fast Methods for Solving Linear Diophantine EquationsMiguel Filgueiras, Ana Paula Tomás. epia 1993: 297-306

1991

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

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

1990

Natural Language and Natural Menus InterfacesMiguel Filgueiras, Ana Paula Tomás, Nelma Moreira, Rogério Reis, José Paulo Leal. ifip7 1990: 299-306

General IntroductionMiguel Filgueiras, Nelma Moreira, Ana Paula Tomás. eaia 1991: 1-3

1989

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

Sign in or sign up to see more results.

runs on WebDSL