RG: Algebra (RG:ALG)
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: 987
45 Team MembersFilters -> Year: 2025
AUTORES: SABINE BRODA ; LUÍS DAMAS;
PUBLICAÇÃO: 1997, FONTE: Journal of Functional Programming, VOLUME: 7, NÚMERO: 6, PÁGINAS: 593-612
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 1997, FONTE: Journal of Functional Programming, VOLUME: 7, NÚMERO: 6, PÁGINAS: 593-612
AUTORES: Carvalho, PAAB ;
PUBLICAÇÃO: 1997, FONTE: Communications in Algebra, VOLUME: 25, NÚMERO: 5, PÁGINAS: 1443-1469
CrossRefAUTORES: Oliveira, A ;
PUBLICAÇÃO: 1997, FONTE: SEMIGROUP FORUM, VOLUME: 55, NÚMERO: 3, PÁGINAS: 309-324
AUTORES: Chaves, G ;
PUBLICAÇÃO: 1997, FONTE: MATHEMATISCHE ZEITSCHRIFT, VOLUME: 226, NÚMERO: 1, PÁGINAS: 67-84
AUTORES: Tomas, AP ; Filgueiras, M ;
PUBLICAÇÃO: 1997, FONTE: 8th International Conference on Rewriting Techniques and Applications in REWRITING TECHNIQUES AND APPLICATIONS, VOLUME: 1232, PÁGINAS: 269-283
AUTORES: Tomás, AP ; Filgueiras, M;
PUBLICAÇÃO: 1997, FONTE: 8th International Conference on Rewriting Techniques and Applications, RTA 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1232, PÁGINAS: 269-283
AUTORES: Almeida, J ; Zeitoun, M;
PUBLICAÇÃO: 1997, FONTE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 31, NÚMERO: 5, PÁGINAS: 457-482
AUTORES: Cordovil, R; deOliveira, AG ; LasVergnas, M;
PUBLICAÇÃO: 1996, FONTE: DISCRETE MATHEMATICS, VOLUME: 160, NÚMERO: 1-3, PÁGINAS: 105-113
AUTORES: Jorge Almeida ;
PUBLICAÇÃO: 1996, FONTE: IJAC, VOLUME: 6, NÚMERO: 2, PÁGINAS: 165-178
AUTORES: Silva, PV ;
PUBLICAÇÃO: 1996, FONTE: International Journal of Algebra and Computation, VOLUME: 6, NÚMERO: 5, PÁGINAS: 607-622
AUTORES: PEDRO V SILVA ;
PUBLICAÇÃO: 1996, FONTE: International Journal of Algebra and Computation, VOLUME: 06, NÚMERO: 05, PÁGINAS: 607-622
AUTORES: Labouriau, IS ; Ana Dias ;
PUBLICAÇÃO: 1996, FONTE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 199, NÚMERO: 1, PÁGINAS: 138-148
AUTORES: Silva, PV ;
PUBLICAÇÃO: 1996, FONTE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 30, NÚMERO: 4, PÁGINAS: 349-378
AUTORES: Filgueiras, M ; Tomas, AP ;
PUBLICAÇÃO: 1995, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 19, NÚMERO: 6, PÁGINAS: 507-526
AUTORES: Sabine Broda ; Luís Damas ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PÁGINAS: 359-370
AUTORES: Luís Damas ; Nelma Moreira ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PÁGINAS: 347-358
AUTORES: Luís Damas; Nelma Moreira ;
PUBLICAÇÃO: 1995, FONTE: CoRR, VOLUME: abs/cmp-lg/9507001
AUTORES: SILVA, MC ; SILVAARAUJO, A; ABREU, S ; XAVIER, MR ; MONTEIRO, LS; TAVARES, MA ;
PUBLICAÇÃO: 1995, FONTE: NEUROTOXICOLOGY AND TERATOLOGY, VOLUME: 17, NÚMERO: 4, PÁGINAS: 471-477
AUTORES: Jorge Almeida ;
PUBLICAÇÃO: 1995, FONTE: Series In Algebra