Algebra and Logic (CMA-AL)
Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.
As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:
- Investigadores associados à equipa da Instituição em cada ano.
- Origem das Publicações.
As publicações associadas à Instituição podem ter três origens:
- Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
- Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
- Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 546
23 Team MembersFilters -> Year: 2024
AUTHORS: Teresa Sousa ;
PUBLISHED: 2010, SOURCE: ELECTRONIC JOURNAL OF COMBINATORICS, VOLUME: 17, ISSUE: 1, PAGES: 1-8
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2010, SOURCE: HOMOLOGY HOMOTOPY AND APPLICATIONS, VOLUME: 12, ISSUE: 1, PAGES: 187-219
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2010, SOURCE: LINEAR & MULTILINEAR ALGEBRA, VOLUME: 58, ISSUE: 3, PAGES: 305-322
AUTHORS: Isabel Oitavem ;
PUBLISHED: 2010, SOURCE: - Ways of Proof Theory
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL MATHEMATICS RESEARCH NOTICES, VOLUME: 2010, ISSUE: 13, PAGES: 2459-2511
AUTHORS: Owen J Brison ; Eurico E Nogueira ;
PUBLISHED: 2010, SOURCE: FINITE FIELDS AND THEIR APPLICATIONS, VOLUME: 16, ISSUE: 3, PAGES: 187-203
AUTHORS: Vítor H. Fernandes ; Volkov, MV;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 3, PAGES: 551-554
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2010, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 323, ISSUE: 5, PAGES: 1226-1240
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ;
PUBLISHED: 2010, SOURCE: OPERATORS AND MATRICES, VOLUME: 4, ISSUE: 1, PAGES: 77-101
AUTHORS: Bentz, W ;
PUBLISHED: 2010, SOURCE: Electronic Journal of Combinatorics, VOLUME: 17, ISSUE: 1, PAGES: 1-11
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ;
PUBLISHED: 2010, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 433, ISSUE: 7, PAGES: 1336-1347
AUTHORS: Gaspar, J ; Oliva, P;
PUBLISHED: 2010, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, ISSUE: 6, PAGES: 591-610
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2010, SOURCE: LINEAR & MULTILINEAR ALGEBRA, VOLUME: 58, ISSUE: 8, PAGES: 977-991
AUTHORS: Joao Araujo ; Janusz Konieczny;
PUBLISHED: 2009, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 37, ISSUE: 1, PAGES: 83-94
AUTHORS: Erich Grädel; Reinhard Kahle ;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
AUTHORS: Erich Grädel; Reinhard Kahle ;
PUBLISHED: 2009, SOURCE: CSL, VOLUME: 5771
AUTHORS: Vítor H. Fernandes ; Gracinda M S Gomes ; Manuel M Jesus ;
PUBLISHED: 2009, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 321, ISSUE: 3, PAGES: 743-757
AUTHORS: Joao Araujo ; Friedrich Wehrung;
PUBLISHED: 2009, SOURCE: FUNDAMENTA MATHEMATICAE, VOLUME: 202, ISSUE: 2, PAGES: 125-146
AUTHORS: Gaspar, J ;
PUBLISHED: 2009, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 50, ISSUE: 1, PAGES: 53-60
AUTHORS: António Malheiro ;
PUBLISHED: 2009, SOURCE: SEMIGROUP FORUM, VOLUME: 78, ISSUE: 3, PAGES: 450-485