Algebra and Logic (CMA-AL)
AuthID: I-000-B9X
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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
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
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
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
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
Scopus CrossRef303
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
AUTHORS: Andrew J Blumberg; David Gepner; Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: GEOMETRY & TOPOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 733-838
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
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ;
PUBLISHED: 2013, SOURCE: DISCRETE MATHEMATICS, VOLUME: 313, ISSUE: 20, PAGES: 2365-2379
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
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
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
AUTHORS: Joao Araujo ; Janusz Konieczny;
PUBLISHED: 2013, SOURCE: SEMIGROUP FORUM, VOLUME: 86, ISSUE: 1, PAGES: 1-31
307
TITLE: Checking proofs
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: The Argument of Mathematics, PAGES: 147-170
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: The Argument of Mathematics, PAGES: 147-170
308
TITLE: Chow motives versus noncommutative motives
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 7, ISSUE: 3, PAGES: 767-786
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 7, ISSUE: 3, PAGES: 767-786
309
TITLE: Computing with mathematical arguments
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 9-22
AUTHORS: Alama, J; Reinhard Kahle ;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 9-22
INDEXED IN: Scopus CrossRef
Scopus CrossRef310
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
AUTHORS: Arturas Dubickas; Tomasz Schoen; Manuel Silva ; Paulius Sarka;
PUBLISHED: 2013, SOURCE: EUROPEAN JOURNAL OF COMBINATORICS, VOLUME: 34, ISSUE: 7, PAGES: 1144-1157
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
AUTHORS: Tara Brough ; Derek F Holt;
PUBLISHED: 2013, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 41, ISSUE: 5, PAGES: 1790-1799
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
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
Scopus313
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
AUTHORS: Paul Balmer; Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: MATHEMATISCHE NACHRICHTEN, VOLUME: 286, ISSUE: 8-9, PAGES: 791-798
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
AUTHORS: Joao Araujo ; Wolfram Bentz ; Peter J Cameron;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 498, PAGES: 1-9
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
AUTHORS: Gray, R; António Malheiro ; Pride, SJ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 50, PAGES: 50-78
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
AUTHORS: Liu, H ; Sousa, T ;
PUBLISHED: 2013, SOURCE: Electronic Notes in Discrete Mathematics, VOLUME: 43, PAGES: 121-127
INDEXED IN: Scopus CrossRef
Scopus CrossRef318
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
AUTHORS: Gaspar, J ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 1, PAGES: 45-63
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
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2013, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 217, ISSUE: 7, PAGES: 1279-1293
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
AUTHORS: Henry Liu ; Angela Mestre ; Teresa Sousa ;
PUBLISHED: 2013, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 161, ISSUE: 16-17, PAGES: 2549-2555
