default search action

combined dblp search
author search
venue search
publication search

ask others

Ana Paula Tomás

> Home > Persons

Person information

affiliation: University of Porto, Portugal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/CruzT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/CruzT22
Vasco Cruz, Ana Paula Tomás:
On r-Guarding SCOTs - A New Family of Orthogonal Polygons. LATIN 2022: 713-729

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/Tomas18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/Tomas18
Ana Paula Tomás:
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment. SOFSEM 2018: 479-492
2015
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Tomas15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Tomas15
Ana Paula Tomás:
On the Enumeration of Permutominoes. FCT 2015: 41-52
2013
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/TomasL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/TomasL13
Ana Paula Tomás, José Paulo Leal:
Automatic Generation and Delivery of Multiple-Choice Math Quizzes. CP 2013: 848-863
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Tomas13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Tomas13
Ana Paula Tomás:
Guarding Thin Orthogonal Polygons Is Hard. FCT 2013: 305-316

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icwl/TomasLD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwl/TomasLD07
Ana Paula Tomás, José Paulo Leal, Marcos Aurélio Domingues:
A Web Application for Mathematics Education. ICWL 2007: 380-391
2006
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip12/TomasMP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/TomasMP06
Ana Paula Tomás, Nelma Moreira, Nuno Pereira:
Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. AIAI 2006: 433-441
[c18]
- view
  - electronic edition @ umass.edu (open access)
  - details & citations
- export record
  dblp key:
  - conf/isaim/TomasBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaim/TomasBM06
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. AI&M 2006
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ContejeanMTU05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ContejeanMTU05
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain:
Mechanically Proving Termination Using Polynomial Interpretations. J. Autom. Reason. 34(4): 325-363 (2005)
2004
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/TomasB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/TomasB04
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
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/BajuelosTM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/BajuelosTM04
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
2003
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/caepia/TomasB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caepia/TomasB03
Ana Paula Tomás, António Leslie Bajuelos:
Generating Random Orthogonal Polygons. CAEPIA 2003: 364-373
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iccS/TomasBM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/TomasBM03
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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/TomasL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/TomasL03
Ana Paula Tomás, José Paulo Leal:
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. PADL 2003: 223-240
2002
[c12]
- view
  - electronic edition @ programmazionelogica.it (open access)
  - details & citations
- export record
  dblp key:
  - conf/agp/TomasLV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/TomasLV02
Ana Paula Tomás, José Paulo Leal, Pedro Vasconcelos:
Using Constraint Logic Programming to Generate Drills in Mathematics. APPIA-GULP-PRODE 2002: 155-172
[c11]
- view
  - electronic edition @ programmazionelogica.it (open access)
  - details & citations
- export record
  dblp key:
  - conf/agp/Tomas02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Tomas02
Ana Paula Tomás:
Solving Optimal Location of Traffic Count Posts in CLP(FD). APPIA-GULP-PRODE 2002: 173-188
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/Tomas02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/Tomas02
Ana Paula Tomás:
Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD). MICAI 2002: 242-251

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/TomasF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/TomasF97
Ana Paula Tomás, Miguel Filgueiras:
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals. EPIA 1997: 73-84
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/TomasF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/TomasF97
Ana Paula Tomás, Miguel Filgueiras:
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space. RTA 1997: 269-283
1995
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/FilgueirasT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/FilgueirasT95
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)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DomenjoudT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DomenjoudT95
Eric Domenjoud, Ana Paula Tomás:
From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. CP 1995: 18-35
1993
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/FilgueirasT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/FilgueirasT93
Miguel Filgueiras, Ana Paula Tomás:
Fast Methods for Solving Linear Diophantine Equations. EPIA 1993: 297-306
1991
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/FilgueirasT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/FilgueirasT91
Miguel Filgueiras, Ana Paula Tomás:
Solving Linear Constraints on Finite Domains Through Parsing. EPIA 1991: 1-16
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/TomasF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/TomasF91
Ana Paula Tomás, Miguel Filgueiras:
A New Method for Solving Linear Constraints on the Natural Numbers. EPIA 1991: 30-44
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/eaia/1990
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eaia/1990
Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás:
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 [contents]
1990
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/eaia/FilgueirasMT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eaia/FilgueirasMT90
Miguel Filgueiras, Nelma Moreira, Ana Paula Tomás:
General Introduction. EAIA 1990: 1-3
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip7/FilgueirasTMRL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip7/FilgueirasTMRL90
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

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/TomasF89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/TomasF89
Ana Paula Tomás, Miguel Filgueiras:
Some Comments on a Logic Programming Approach to Natural Language Semantics. EPIA 1989: 187-197

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.