Algoritmi | User | Ana Paula Nunes Gomes Tomás

Ana Paula Nunes Gomes Tomás

Ana Paula Nunes Gomes Tomás

At LASI

Member of the CMUP R&D Unit

Academic Degree

Current Position

at

Personal Webpage

Personal Email

Orcid

0000-0002-1776-4897

Researcher ID

FCT Public Key

Ciência ID

681D-6978-B5D3

Google Scholar

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

This user account status is Approved