1
TÍTULO: House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment
AUTORES: Ana Paula Tomás ;
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, PUBLICAÇÃO: 2018
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
2
TÍTULO: On the enumeration of permutominoes
AUTORES: Tomás, AP ;
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, PUBLICAÇÃO: 2015
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTORES: Ana Paula Tomas ; Jose Paulo Leal ;
FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PUBLICAÇÃO: 2013
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
4
TÍTULO: Guarding thin orthogonal polygons is hard
AUTORES: Tomas, AP ;
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, PUBLICAÇÃO: 2013
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
5
TÍTULO: A web application for mathematics education  Full Text
AUTORES: Ana Paula Tomas ; Jose Paulo Leal ; Marcos Aurelio Domingues;
FONTE: 6th International Conference on Web Based Learning (ICWL 2007) in ADVANCES IN WEB BASED LEARNING - ICWL 2007, VOLUME: 4823, PUBLICAÇÃO: 2008
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
6
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTORES: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
FONTE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in Artificial Intelligence Applications and Innovations, VOLUME: 204, PUBLICAÇÃO: 2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
7
TÍTULO: On visibility problems in the plane - Solving minimum vertex guard problems by successive approximations PDF
AUTORES: Tomas, AP ; Bajuelos, AL; Marques, F;
FONTE: 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006 in 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006, PUBLICAÇÃO: 2006
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
8
TÍTULO: Mechanically proving termination using polynomial interpretations  Full Text
AUTORES: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, NÚMERO: 4, PUBLICAÇÃO: 2005
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID | DBLP
9
TÍTULO: Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces
AUTORES: Bajuelos, AL ; Tomas, AP ; Marques, F;
FONTE: International Conference on Computational Science and Its Applications (ICSSA 2004) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3, VOLUME: 3045, PUBLICAÇÃO: 2004
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
10
TÍTULO: Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices
AUTORES: Tomas, AP ; Bajuelos, AL ;
FONTE: International Conference on Computational Science and Its Applications (ICSSA 2004) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3, VOLUME: 3045, PUBLICAÇÃO: 2004
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
Página 1 de 4. Total de resultados: 33.