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

143 Team Members
Filters -> Year: 2025
3301
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
3302
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
3303
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
3304
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
3305
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
3306
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
3307
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
3308
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
3309
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
3310
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
3311
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
3312
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
3313
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
3314
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
3315
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
3316
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
3317
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
3318
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
3319
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
3320
TITLE: Approximate nonlinear filtering for a two-dimensional diffusion with one-dimensional observations in a low noise channel  Full Text
AUTHORS: De Oliveira, PM ; Picard, J;
PUBLISHED: 2003, SOURCE: SIAM JOURNAL ON CONTROL AND OPTIMIZATION, VOLUME: 41, ISSUE: 6, PAGES: 1801-1819
INDEXED IN: Scopus WOS CrossRef Handle

Results per Page: 20.
Page 166 of 184. Total results: 3673.