Algebra and Logic (CMA-AL)

Centro de Matemática e Aplicações (CMA)

Publications Actions
Publicações no Perfil Institucional do Authenticus

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.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 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!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 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 Members
Filters -> Year: 2024
301
TITLE: A characterization of adequate semigroups by forbidden subsemigroups
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
INDEXED IN: Scopus WOS CrossRef: 2
302
TITLE: A generator of heavy-tailed search trees
AUTHORS: Alda Carvalho; Carlos Santos ;
PUBLISHED: 2013, SOURCE: Studies in Theoretical and Applied Statistics, Selected Papers of the Statistical Societies, PAGES: 107-113
INDEXED IN: Scopus CrossRef
303
TITLE: A universal characterization of higher algebraic K-theory
AUTHORS: Andrew J Blumberg; David Gepner; Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: GEOMETRY & TOPOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 733-838
INDEXED IN: Scopus WOS CrossRef: 87
304
TITLE: An extension of Brualdi's algorithm for the construction of (0,1)-matrices with prescribed row and column sum vectors  Full Text
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ;
PUBLISHED: 2013, SOURCE: DISCRETE MATHEMATICS, VOLUME: 313, ISSUE: 20, PAGES: 2365-2379
INDEXED IN: Scopus WOS CrossRef: 1
305
TITLE: Applicative theories for the polynomial hierarchy of time and its levels  Full Text
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
306
TITLE: Centralizers in the Full Transformation Semigroup  Full Text
AUTHORS: Joao Araujo ; Janusz Konieczny;
PUBLISHED: 2013, SOURCE: SEMIGROUP FORUM, VOLUME: 86, ISSUE: 1, PAGES: 1-31
INDEXED IN: Scopus WOS CrossRef: 10
307
TITLE: Checking proofs
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: The Argument of Mathematics, PAGES: 147-170
INDEXED IN: Scopus CrossRef: 3
308
TITLE: Chow motives versus noncommutative motives
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 7, ISSUE: 3, PAGES: 767-786
INDEXED IN: Scopus WOS CrossRef: 14
309
TITLE: Computing with mathematical arguments
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 9-22
INDEXED IN: Scopus CrossRef
310
TITLE: Finding large co-Sidon subsets in sets with a given additive energy  Full Text
AUTHORS: Arturas Dubickas; Tomasz Schoen; Manuel Silva ; Paulius Sarka;
PUBLISHED: 2013, SOURCE: EUROPEAN JOURNAL OF COMBINATORICS, VOLUME: 34, ISSUE: 7, PAGES: 1144-1157
INDEXED IN: Scopus WOS CrossRef: 1
311
TITLE: FINITELY GENERATED SOLUBLE GROUPS AND THEIR SUBGROUPS  Full Text
AUTHORS: Tara Brough ; Derek F Holt;
PUBLISHED: 2013, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 41, ISSUE: 5, PAGES: 1790-1799
INDEXED IN: Scopus WOS CrossRef
312
TITLE: From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace
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
INDEXED IN: Scopus
313
TITLE: Fundamental isomorphism conjecture via non-commutative motives  Full Text
AUTHORS: Paul Balmer; Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: MATHEMATISCHE NACHRICHTEN, VOLUME: 286, ISSUE: 8-9, PAGES: 791-798
INDEXED IN: Scopus WOS CrossRef: 1
314
TITLE: Groups synchronizing a transformation of non-uniform kernel  Full Text
AUTHORS: Joao Araujo ; Wolfram Bentz ; Peter J Cameron;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 498, PAGES: 1-9
INDEXED IN: Scopus WOS CrossRef: 10
315
TITLE: Homotopy bases and finite derivation type for Schuzenberger groups of monoids  Full Text
AUTHORS: Gray, R; António Malheiro ; Pride, SJ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 50, PAGES: 50-78
INDEXED IN: Scopus WOS CrossRef: 1
316
TITLE: Monochromatic Kr-Decompositions of Graphs  Full Text
AUTHORS: Liu, H ; Sousa, T ;
PUBLISHED: 2013, SOURCE: Electronic Notes in Discrete Mathematics, VOLUME: 43, PAGES: 121-127
INDEXED IN: Scopus CrossRef
317
TITLE: Monochromatic Kr-Decompositions of Graphs  Full Text
AUTHORS: Liu, H ; Sousa, T ;
PUBLISHED: 2013, SOURCE: Journal of Graph Theory, VOLUME: 76, ISSUE: 2, PAGES: 89-100
INDEXED IN: Scopus CrossRef: 4
318
TITLE: Negative Translations Not Intuitionistically Equivalent to the Usual Ones  Full Text
AUTHORS: Gaspar, J ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 1, PAGES: 45-63
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
319
TITLE: Products, multiplicative Chern characters, and finite coefficients via noncommutative motives  Full Text
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 217, ISSUE: 7, PAGES: 1279-1293
INDEXED IN: Scopus WOS CrossRef: 4
320
TITLE: Rainbow vertex k-connection in graphs  Full Text
AUTHORS: Henry Liu ; Angela Mestre ; Teresa Sousa ;
PUBLISHED: 2013, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 161, ISSUE: 16-17, PAGES: 2549-2555
INDEXED IN: Scopus WOS CrossRef: 14

Results per Page: 20.
Página 16 de 28. Total de resultados: 546.