Algoritmi | User | Ana Paula Nunes Gomes Tomás


Ana Paula Nunes Gomes Tomás

Ana Paula Nunes Gomes Tomás
Personal Email
Orcid
0000-0002-1776-4897Researcher ID
FCT Public Key
Ciência ID
681D-6978-B5D3Google Scholar
Publications (29)
On r-Guarding SCOTs – A New Family of Orthogonal Polygons
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | conference-paper
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment
SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
2018 | conference-paper
On the enumeration of permutominoes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | conference-paper
Automatic Generation and Delivery of Multiple-Choice Math Quizzes
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013
2013 | conference-paper
Guarding thin orthogonal polygons is hard
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | conference-paper
A web application for mathematics education
ADVANCES IN WEB BASED LEARNING - ICWL 2007
2008 | conference-paper
Designing a solver for arithmetic constraints to support education in mathematics
Artificial Intelligence Applications and Innovations
2006 | conference-paper
On visibility problems in the plane - Solving minimum vertex guard problems by successive approximations
9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
2006 | conference-paper
Mechanically proving termination using polynomial interpretations
JOURNAL OF AUTOMATED REASONING
2005 | journal-article
Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3
2004 | journal-article
Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3
2004 | journal-article
A CLP-based tool for computer aided generation and solving of maths exercises
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS
2003 | journal-article
Approximation algorithms to minimum vertex cover problems on polygons and terrains
COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS
2003 | journal-article
Generating random orthogonal polygons
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
2003 | journal-article
Solving Optimal Location of Traffic Count Posts in CLP(FD)
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
2002 | conference-paper
Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD)
MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings
2002 | conference-paper
Using Constraint Logic Programming to Generate Drills in Mathematics
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
2002 | conference-paper
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals
Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings
1997 | conference-paper
Solving linear Diophantine equations using the geometric structure of the solution space
REWRITING TECHNIQUES AND APPLICATIONS
1997 | journal-article
A fast method for finding the basis of non-negative solutions to a linear diophantine equation
JOURNAL OF SYMBOLIC COMPUTATION
1995 | journal-article
From elliott-macmahon to an algorithm for general linear constraints on naturals
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1995 | conference-paper
Fast Methods for Solving Linear Diophantine Equations
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings
1993 | conference-paper
A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS
EPIA 91
1991 | conference-paper
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings
EAIA
1991 | edited-book
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1991 | book
SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING
EPIA 91
1991 | conference-paper
General Introduction
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings
1990 | conference-paper
Natural Language and Natural Menus Interfaces
Modelling the Innovation: Communications, Automation and Information Systems, Proceedings of the IFIP TC7 Conference on Modelling the Innovation: Communications, Automation and Information Systems, Rome, Italy, 21-23 March, 1990
1990 | conference-paper
Some comments on a logic programming approach to natural language semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1989 | conference-paper
On r-Guarding SCOTs – A New Family of Orthogonal Polygons
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | conference-paper
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment
SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
2018 | conference-paper
On the enumeration of permutominoes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | conference-paper
Automatic Generation and Delivery of Multiple-Choice Math Quizzes
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013
2013 | conference-paper
Guarding thin orthogonal polygons is hard
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | conference-paper
A web application for mathematics education
ADVANCES IN WEB BASED LEARNING - ICWL 2007
2008 | conference-paper
Designing a solver for arithmetic constraints to support education in mathematics
Artificial Intelligence Applications and Innovations
2006 | conference-paper
On visibility problems in the plane - Solving minimum vertex guard problems by successive approximations
9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
2006 | conference-paper
Mechanically proving termination using polynomial interpretations
JOURNAL OF AUTOMATED REASONING
2005 | journal-article
Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3
2004 | journal-article
Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3
2004 | journal-article
A CLP-based tool for computer aided generation and solving of maths exercises
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS
2003 | journal-article
Approximation algorithms to minimum vertex cover problems on polygons and terrains
COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS
2003 | journal-article
Generating random orthogonal polygons
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
2003 | journal-article
Solving Optimal Location of Traffic Count Posts in CLP(FD)
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
2002 | conference-paper
Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD)
MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings
2002 | conference-paper
Using Constraint Logic Programming to Generate Drills in Mathematics
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
2002 | conference-paper
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals
Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings
1997 | conference-paper
Solving linear Diophantine equations using the geometric structure of the solution space
REWRITING TECHNIQUES AND APPLICATIONS
1997 | journal-article
A fast method for finding the basis of non-negative solutions to a linear diophantine equation
JOURNAL OF SYMBOLIC COMPUTATION
1995 | journal-article
From elliott-macmahon to an algorithm for general linear constraints on naturals
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1995 | conference-paper
Fast Methods for Solving Linear Diophantine Equations
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings
1993 | conference-paper
A NEW METHOD FOR SOLVING LINEAR CONSTRAINTS ON THE NATURAL-NUMBERS
EPIA 91
1991 | conference-paper
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings
EAIA
1991 | edited-book
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1991 | book
SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING
EPIA 91
1991 | conference-paper
General Introduction
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings
1990 | conference-paper
Natural Language and Natural Menus Interfaces
Modelling the Innovation: Communications, Automation and Information Systems, Proceedings of the IFIP TC7 Conference on Modelling the Innovation: Communications, Automation and Information Systems, Rome, Italy, 21-23 March, 1990
1990 | conference-paper
Some comments on a logic programming approach to natural language semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1989 | conference-paper