Ana Paula Tomás

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On \(r\)-guarding SCOTs -- a new family of orthogonal polygons LATIN 2022: Theoretical Informatics	2023-07-26	Paper
House allocation problems with existing tenants and priorities for teacher recruitment SOFSEM 2018: Theory and Practice of Computer Science	2020-10-21	Paper
Solving linear Diophantine equations using the geometric structure of the solution space Rewriting Techniques and Applications	2017-11-17	Paper
On the enumeration of permutominoes Fundamentals of Computation Theory	2015-09-29	Paper
Guarding thin orthogonal polygons is hard Fundamentals of Computation Theory	2013-08-16	Paper
Computational Science and Its Applications – ICCSA 2004 Lecture Notes in Computer Science	2007-07-19	Paper
Computational Science and Its Applications – ICCSA 2004 Lecture Notes in Computer Science	2007-07-19	Paper
Mechanically proving termination using polynomial interpretations Journal of Automated Reasoning	2006-11-17	Paper
scientific article; zbMATH DE number 2087694 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2009908 (Why is no real title available?)	2003-11-26	Paper
scientific article; zbMATH DE number 1954113 (Why is no real title available?)	2003-07-28	Paper
scientific article; zbMATH DE number 1090094 (Why is no real title available?)	1998-04-01	Paper
A fast method for finding the basis of non-negative solutions to a linear diophantine equation Journal of Symbolic Computation	1996-03-05	Paper

Research outcomes over time

This page was built for person: Ana Paula Tomás