Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Ana Paula Nunes Gomes Tomás
AuthID:
R-000-1C1
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (21)
Article (10)
Proceedings (1)
Editorial Material (1)
Year Start - End:
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
-
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Publicações Confirmadas: 33
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
Adicionar à lista
Marked
Marcar Todas
Exportar Todas
BibTex
EndNote
CSV
RIS
ISI
APA
Imprimir todas
PDF
HTML
Página 1 de 4. Total de resultados: 33.
<<
<
1
2
3
4
>
>>
© 2021 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service