Ana Paula Nunes Gomes Tomás


AuthID: R-000-1C1

Publicações Confirmadas: 33



1
TÍTULO: On r-Guarding SCOTs - A New Family of Orthogonal Polygons
AUTORES: Vasco Cruz; Ana Paula Tomás ;
PUBLICAÇÃO: 2022, FONTE: LATIN, VOLUME: 13568 LNCS
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID
2
TÍTULO: House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment
AUTORES: Ana Paula Tomás ;
PUBLICAÇÃO: 2018, FONTE: 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018 in 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, VOLUME: 10706
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
3
TÍTULO: On the enumeration of permutominoes
AUTORES: Tomás, AP ;
PUBLICAÇÃO: 2015, FONTE: 20th International Symposium on Fundamentals of Computation Theory, FCT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9210
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
4
TÍTULO: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTORES: Tomás, AP ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
5
TÍTULO: Guarding thin orthogonal polygons is hard
AUTORES: Tomas, AP ;
PUBLICAÇÃO: 2013, FONTE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8070 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
6
TÍTULO: A web application for mathematics education
AUTORES: Tomás, AP ; Leal, JP ; Domingues, MA;
PUBLICAÇÃO: 2008, FONTE: 6th International Conference on Web Based Learning (ICWL 2007) in ADVANCES IN WEB BASED LEARNING - ICWL 2007, VOLUME: 4823
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
7
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics
AUTORES: Tomás, AP ; Moreira, N ; Pereira, N;
PUBLICAÇÃO: 2006, FONTE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS, VOLUME: 204
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
8
TÍTULO: On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations
AUTORES: Ana Paula Tomás ; António Leslie Bajuelos; Fábio Marques;
PUBLICAÇÃO: 2006, FONTE: AI&M
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
9
TÍTULO: Mechanically proving termination using polynomial interpretations
AUTORES: Contejean, E; Marché, C; Tomás, AP ; Urbain, X;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
NO MEU: ORCID
10
TÍTULO: Generating random orthogonal polygons
AUTORES: Tomás, AP ; Bajuelos, AL ;
PUBLICAÇÃO: 2004, FONTE: 10th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2003)/5th Conference on Technology Transfer (TTIA 2003) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 3040
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID
Página 1 de 4. Total de resultados: 33.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service