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: António Malheiro ;
PUBLISHED: 2007, SOURCE: Semigroups and Formal Languages
AUTHORS: Araujo, J ; Mitchell, JD;
PUBLISHED: 2007, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 151, ISSUE: 1, PAGES: 1-10
AUTHORS: Fernandes, Rosario ; Cecilia Perdigao ;
PUBLISHED: 2007, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 427, ISSUE: 2-3, PAGES: 161-170
AUTHORS: Bentz, W ;
PUBLISHED: 2006, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 55, ISSUE: 2-3, PAGES: 259-276
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2006, SOURCE: Conference on Proof-Theoretic Semantics in SYNTHESE, VOLUME: 148, ISSUE: 3, PAGES: 659-673
AUTHORS: Tabuada, G ;
PUBLISHED: 2006, SOURCE: International Mathematics Research Notices
AUTHORS: da Silva, JAD; Rodrigues, F ;
PUBLISHED: 2006, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 414, ISSUE: 1, PAGES: 172-198
AUTHORS: Charles R Johnson; Antonio Leal Duarte; Carlos M Saiago ; David Sher;
PUBLISHED: 2006, SOURCE: International Conference on Algebra and Its Applications in ALGEBRA AND ITS APPLICATIONS, VOLUME: 419, PAGES: 167-+
AUTHORS: Tabuada, G ;
PUBLISHED: 2006, SOURCE: International Mathematics Research Notices, VOLUME: 2006
AUTHORS: António Malheiro ;
PUBLISHED: 2006, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 355, ISSUE: 3, PAGES: 274-290
AUTHORS: Reinhard Kahle ; Schroeder Heister, P;
PUBLISHED: 2006, SOURCE: SYNTHESE, VOLUME: 148, ISSUE: 3, PAGES: 503-506
AUTHORS: João Araújo ;
PUBLISHED: 2006, SOURCE: Colloquium Mathematicum, VOLUME: 106, ISSUE: 1, PAGES: 39-56
AUTHORS: Owen J Brison ; Eurico E Nogueira ;
PUBLISHED: 2006, SOURCE: FIBONACCI QUARTERLY, VOLUME: 44, ISSUE: 2, PAGES: 103-108
AUTHORS: Charles Johnson; António Leal Duarte; Carlos Saiago ;
PUBLISHED: 2006, SOURCE: Handbook of Linear Algebra - Discrete Mathematics and Its Applications, PAGES: 34-1-34-16
AUTHORS: Cordeiro, E; Delgado, M ; Vítor H. Fernandes ;
PUBLISHED: 2006, SOURCE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 73, ISSUE: 3, PAGES: 375-404
AUTHORS: Charles R Johnson; Carlos M Saiago ;
PUBLISHED: 2006, SOURCE: Conference of the European-Membrane-Society (EUROMEMBRANE 2006) in DISCRETE MATHEMATICS, VOLUME: 306, ISSUE: 23, PAGES: 3130-3135
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 212-224
AUTHORS: Araujo, J ; Fountain, J;
PUBLISHED: 2005, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 33, ISSUE: 8, PAGES: 2705-2711
AUTHORS: Tabuada, G ;
PUBLISHED: 2005, SOURCE: Comptes Rendus Mathematique, VOLUME: 340, ISSUE: 1, PAGES: 15-19
AUTHORS: Araujo, J ; Mitchell, JD;
PUBLISHED: 2005, SOURCE: AMERICAN MATHEMATICAL MONTHLY, VOLUME: 112, ISSUE: 7, PAGES: 641-645