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

143 Team Members
Filters -> Year: 2024
3221
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
3222
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
3223
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
3224
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
3225
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
3226
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
3227
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
3228
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
3229
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
3230
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
3231
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
3232
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
3233
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
3234
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
3235
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
3236
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
3237
TITLE: Approximation algorithms to minimum vertex cover problems on polygons and terrains
AUTHORS: Tomas, AP ; Bajuelos, AL ; Marques, F;
PUBLISHED: 2003, SOURCE: International Conference on Computational Science (ICCS 2003) in COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS, VOLUME: 2657, PAGES: 869-878
INDEXED IN: Scopus WOS DBLP CrossRef: 5
3238
TITLE: Boundedness and inversion properties of certain convolution transforms
AUTHORS: Yakubovich, SB ;
PUBLISHED: 2003, SOURCE: JOURNAL OF THE KOREAN MATHEMATICAL SOCIETY, VOLUME: 40, ISSUE: 6, PAGES: 999-1014
INDEXED IN: Scopus WOS
3239
TITLE: Branching random walk in random environment on trees  Full Text
AUTHORS: Machado F.; Yu Y Popov ;
PUBLISHED: 2003, SOURCE: Stochastic Processes and their Applications, VOLUME: 106, ISSUE: 1, PAGES: 95-106
INDEXED IN: Scopus CrossRef: 10
3240
TITLE: Clustered partial linear regression  Full Text
AUTHORS: Torgo, L ; Da Costa, JP ;
PUBLISHED: 2003, SOURCE: MACHINE LEARNING, VOLUME: 50, ISSUE: 3, PAGES: 303-319
INDEXED IN: Scopus WOS DBLP CrossRef: 7

Results per Page: 20.
Page 162 of 180. Total results: 3590.