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: 973
45 Team MembersFilters -> Year: 2025
AUTORES: Almeida, J ; Weil, P;
PUBLICAÇÃO: 1998, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 123, NÚMERO: 1-3, PÁGINAS: 1-50
AUTORES: Almeida, J ; Volkov, MV;
PUBLICAÇÃO: 1998, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 8, NÚMERO: 3, PÁGINAS: 399-430
AUTORES: Ana Paula Tomás ; Miguel Filgueiras;
PUBLICAÇÃO: 1997, FONTE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323, PÁGINAS: 73-84
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 1997, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 62, NÚMERO: 3, PÁGINAS: 729-740
AUTORES: Almeida, J ; Weil, P;
PUBLICAÇÃO: 1997, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 7, NÚMERO: 5, PÁGINAS: 625-671
AUTORES: Almeida, J ; Higgins, PM;
PUBLICAÇÃO: 1997, FONTE: JOURNAL OF ALGEBRA, VOLUME: 187, NÚMERO: 1, PÁGINAS: 183-202
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


AUTORES: 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