Ana Paula Nunes Gomes Tomás


AuthID: R-000-1C1

Confirmed Publications: 36



1
TITLE: On r-Guarding SCOTs - A New Family of Orthogonal Polygons
AUTHORS: Vasco Cruz; Ana Paula Tomás ;
PUBLISHED: 2022, SOURCE: LATIN 2022: Theoretical Informatics - 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022, Proceedings, VOLUME: 13568
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: On r-Guarding SCOTs – A New Family of Orthogonal Polygons
AUTHORS: Vasco Cruz; Ana Paula Tomás ;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13568 LNCS
INDEXED IN: Scopus CrossRef Unpaywall
IN MY: ORCID
3
TITLE: House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment
AUTHORS: Ana Paula Tomás ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
4
TITLE: On the enumeration of permutominoes
AUTHORS: Tomás, AP ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: Guarding thin orthogonal polygons is hard
AUTHORS: Tomas, AP ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
7
TITLE: A web application for mathematics education  Full Text
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ; Marcos Aurelio Domingues;
PUBLISHED: 2008, SOURCE: 6th International Conference on Web Based Learning (ICWL 2007) in ADVANCES IN WEB BASED LEARNING - ICWL 2007, VOLUME: 4823
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
8
TITLE: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTHORS: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
PUBLISHED: 2006, SOURCE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in Artificial Intelligence Applications and Innovations, VOLUME: 204
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
9
TITLE: On visibility problems in the plane - Solving minimum vertex guard problems by successive approximations PDF
AUTHORS: Tomas, AP ; Bajuelos, AL; Marques, F;
PUBLISHED: 2006, SOURCE: 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006 in 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
10
TITLE: Mechanically proving termination using polynomial interpretations  Full Text
AUTHORS: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 43
IN MY: ORCID | DBLP
Page 1 of 4. Total results: 36.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service