Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto

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

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

143 Team Members
Filters -> Year: 2024
3201
TITLE: Saturated numerical semigroups
AUTHORS: Rosales, JC; Garcia Sanchez, PA ; Garcia Garcia, JI; Branco, MB ;
PUBLISHED: 2004, SOURCE: HOUSTON JOURNAL OF MATHEMATICS, VOLUME: 30, ISSUE: 2, PAGES: 321-330
INDEXED IN: Scopus WOS
3202
TITLE: Stability of equilibria in equations of Hodgkin-Huxley type
AUTHORS: Isabel S Labouriau ; Carlos M S G Rito ;
PUBLISHED: 2004, SOURCE: Real and Complex Singularities - Contemporary Mathematics, PAGES: 137-143
INDEXED IN: CrossRef
3203
TITLE: Strong statistical stability of non-uniformly expanding maps  Full Text
AUTHORS: Alves, JF ;
PUBLISHED: 2004, SOURCE: NONLINEARITY, VOLUME: 17, ISSUE: 4, PAGES: 1193-1215
INDEXED IN: Scopus WOS CrossRef: 32
3204
TITLE: Symmetry groupoids and admissible vector fields for coupled cell networks  Full Text
AUTHORS: Ana Dias ; Stewart, I;
PUBLISHED: 2004, SOURCE: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, VOLUME: 69, ISSUE: 3, PAGES: 707-736
INDEXED IN: Scopus WOS CrossRef: 14
3205
TITLE: The analysis of heart rate variability using independent component signals
AUTHORS: Teixeira, AR ; Rocha, AP ; Almeida, R ;
PUBLISHED: 2004, SOURCE: 2nd IASTED International Conference on Biomedical Engineering in Proceedings of the Second IASTED International Conference on Biomedical Engineering, PAGES: 240-243
INDEXED IN: Scopus WOS
3206
TITLE: The decidability of a fragment of BB ' IW-logic  Full Text
AUTHORS: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLISHED: 2004, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, ISSUE: 3, PAGES: 373-408
INDEXED IN: Scopus WOS DBLP CrossRef: 4
3207
TITLE: The equational theory of w-terms for finite R-trivial semigroups
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 2004, SOURCE: Workshop on Semigroups and Languages in SEMIGROUPS AND LANGUAGES, PAGES: 1-22
INDEXED IN: WOS CrossRef: 1
3208
TITLE: The globals of some subpseudovarieties of DA  Full Text
AUTHORS: Almeida, J ; Escada, A;
PUBLISHED: 2004, SOURCE: International Conference on Semigroups and Groups in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 14, ISSUE: 5-6, PAGES: 525-549
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3209
TITLE: Thermochemistry of biphenylcarboxylic and dicarboxylic acids. A combined experimental and theoretical study  Full Text
AUTHORS: Matos, MAR ; Miranda, MS ; Martins, DVSS; Pinto, NAB ; Morais, VMF ; Liebman, JF;
PUBLISHED: 2004, SOURCE: ORGANIC & BIOMOLECULAR CHEMISTRY, VOLUME: 2, ISSUE: 9, PAGES: 1353-1358
INDEXED IN: Scopus WOS CrossRef: 14
3210
TITLE: Topological obstructions to smoothness for infinitely renormalizable maps of the disc  Full Text
AUTHORS: Moreira, FJ ;
PUBLISHED: 2004, SOURCE: NONLINEARITY, VOLUME: 17, ISSUE: 5, PAGES: 1547-1569
INDEXED IN: Scopus WOS CrossRef: 3
3211
TITLE: When is a smash product semiprime? A partial answer  Full Text
AUTHORS: Lomp, C ;
PUBLISHED: 2004, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 275, ISSUE: 1, PAGES: 339-355
INDEXED IN: Scopus WOS CrossRef: 6
3212
TITLE: Why Some Elementary Functions Are Not Rational
AUTHORS: Gabriela Chaves; José Carlos Santos ;
PUBLISHED: 2004, SOURCE: Mathematics Magazine, VOLUME: 77, ISSUE: 3, PAGES: 225
INDEXED IN: CrossRef
3213
TITLE: A circuit axiomatisation of Lagrangian matroids  Full Text
AUTHORS: Booth, RF; Moreira, ML ; Pinto, MR;
PUBLISHED: 2003, SOURCE: 18th British Combinatorial Conference in DISCRETE MATHEMATICS, VOLUME: 266, ISSUE: 1-3, PAGES: 109-118
INDEXED IN: Scopus WOS CrossRef
3214
TITLE: A CLP-based tool for computer aided generation and solving of maths exercises
AUTHORS: Tomas, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
INDEXED IN: Scopus WOS DBLP CrossRef: 9
3215
TITLE: A multi-agent system for automated timetabling with shared resources
AUTHORS: Pedroso, JP ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 359-363
INDEXED IN: Scopus WOS
3216
TITLE: A note on pure and p-pure languages  Full Text
AUTHORS: Silva, PV ;
PUBLISHED: 2003, SOURCE: ACTA INFORMATICA, VOLUME: 39, ISSUE: 8, PAGES: 579-595
INDEXED IN: Scopus WOS CrossRef: 2
3217
TITLE: A parallel implementation of the Atkinson algorithm for solving a Fredholm equation
AUTHORS: filomena dias d' almeida ; Vasconcelos, PB ;
PUBLISHED: 2003, SOURCE: 5th International Conference on High Performance Computing for Computational Science (VECPAR 2002) in HIGH PERFORMANCE COMPUTING FOR COMPUTATIONAL SCIENCE - VECPAR 2002, VOLUME: 2565, PAGES: 368-376
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3218
TITLE: A parametric model approach for quantification of short term QT variability uncorrelated with heart rate variability
AUTHORS: Almeida, R ; Pueyo, E; Martinez, JP; Rocha, AP ; Olmos, S; Laguna, P;
PUBLISHED: 2003, SOURCE: 30th Annual Meeting on Computers in Cardiology in COMPUTERS IN CARDIOLOGY 2003, VOL 30, VOLUME: 30, PAGES: 165-168
INDEXED IN: Scopus WOS CrossRef: 4
3219
TITLE: A polynomial time algorithm to compute the Abelian kernel of a finite monoid  Full Text
AUTHORS: Delgado, M ; Heam, PC;
PUBLISHED: 2003, SOURCE: SEMIGROUP FORUM, VOLUME: 67, ISSUE: 1, PAGES: 97-110
INDEXED IN: Scopus WOS CrossRef: 3
3220
TITLE: About Cartan geometrization of non-holonomic mechanics  Full Text
AUTHORS: Tavares, JN ;
PUBLISHED: 2003, SOURCE: JOURNAL OF GEOMETRY AND PHYSICS, VOLUME: 45, ISSUE: 1-2, PAGES: 1-23
INDEXED IN: Scopus WOS CrossRef: 8

Results per Page: 20.
Page 161 of 179. Total results: 3575.