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: Joao Araujo ; Michael Kinyon ; António Malheiro ;
PUBLISHED: 2013, SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, VOLUME: 143, ISSUE: 6, PAGES: 1115-1122
AUTHORS: Alda Carvalho; Carlos Santos ;
PUBLISHED: 2013, SOURCE: Studies in Theoretical and Applied Statistics, Selected Papers of the Statistical Societies, PAGES: 107-113
AUTHORS: Andrew J Blumberg; David Gepner; Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: GEOMETRY & TOPOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 733-838
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ;
PUBLISHED: 2013, SOURCE: DISCRETE MATHEMATICS, VOLUME: 313, ISSUE: 20, PAGES: 2365-2379
AUTHORS: Reinhard Kahle ; Oitavem, I ;
PUBLISHED: 2013, SOURCE: Meeting on 3rd Classical Logic and Computation (CLAC) in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 164, ISSUE: 6, PAGES: 663-675
AUTHORS: Joao Araujo ; Janusz Konieczny;
PUBLISHED: 2013, SOURCE: SEMIGROUP FORUM, VOLUME: 86, ISSUE: 1, PAGES: 1-31
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: The Argument of Mathematics, PAGES: 147-170
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 7, ISSUE: 3, PAGES: 767-786
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 9-22
AUTHORS: Arturas Dubickas; Tomasz Schoen; Manuel Silva ; Paulius Sarka;
PUBLISHED: 2013, SOURCE: EUROPEAN JOURNAL OF COMBINATORICS, VOLUME: 34, ISSUE: 7, PAGES: 1144-1157
AUTHORS: Tara Brough ; Derek F Holt;
PUBLISHED: 2013, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 41, ISSUE: 5, PAGES: 1790-1799
AUTHORS: Oitavem, I ;
PUBLISHED: 2013, SOURCE: 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 23, PAGES: 24-27
AUTHORS: Paul Balmer; Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: MATHEMATISCHE NACHRICHTEN, VOLUME: 286, ISSUE: 8-9, PAGES: 791-798
AUTHORS: Joao Araujo ; Wolfram Bentz ; Peter J Cameron;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 498, PAGES: 1-9
AUTHORS: Gray, R; António Malheiro ; Pride, SJ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 50, PAGES: 50-78
AUTHORS: Liu, H ; Sousa, T ;
PUBLISHED: 2013, SOURCE: Electronic Notes in Discrete Mathematics, VOLUME: 43, PAGES: 121-127
AUTHORS: Gaspar, J ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 1, PAGES: 45-63
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 217, ISSUE: 7, PAGES: 1279-1293
AUTHORS: Henry Liu ; Angela Mestre ; Teresa Sousa ;
PUBLISHED: 2013, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 161, ISSUE: 16-17, PAGES: 2549-2555