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

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

143 Team Members
Filters -> Year: 2024
3221
TÍTULO: The decidability of a fragment of BB ' IW-logic  Full Text
AUTORES: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLICAÇÃO: 2004, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, NÚMERO: 3, PÁGINAS: 373-408
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3222
TÍTULO: The equational theory of w-terms for finite R-trivial semigroups
AUTORES: Almeida, J ; Zeitoun, M;
PUBLICAÇÃO: 2004, FONTE: Workshop on Semigroups and Languages in SEMIGROUPS AND LANGUAGES, PÁGINAS: 1-22
INDEXADO EM: WOS CrossRef: 1
3223
TÍTULO: The globals of some subpseudovarieties of DA  Full Text
AUTORES: Almeida, J ; Escada, A;
PUBLICAÇÃO: 2004, FONTE: International Conference on Semigroups and Groups in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 14, NÚMERO: 5-6, PÁGINAS: 525-549
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3224
TÍTULO: Thermochemistry of biphenylcarboxylic and dicarboxylic acids. A combined experimental and theoretical study  Full Text
AUTORES: Matos, MAR ; Miranda, MS ; Martins, DVSS; Pinto, NAB ; Morais, VMF ; Liebman, JF;
PUBLICAÇÃO: 2004, FONTE: ORGANIC & BIOMOLECULAR CHEMISTRY, VOLUME: 2, NÚMERO: 9, PÁGINAS: 1353-1358
INDEXADO EM: Scopus WOS CrossRef: 14
3225
TÍTULO: Topological obstructions to smoothness for infinitely renormalizable maps of the disc  Full Text
AUTORES: Moreira, FJ ;
PUBLICAÇÃO: 2004, FONTE: NONLINEARITY, VOLUME: 17, NÚMERO: 5, PÁGINAS: 1547-1569
INDEXADO EM: Scopus WOS CrossRef: 3
3226
TÍTULO: When is a smash product semiprime? A partial answer  Full Text
AUTORES: Lomp, C ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF ALGEBRA, VOLUME: 275, NÚMERO: 1, PÁGINAS: 339-355
INDEXADO EM: Scopus WOS CrossRef: 6
3227
TÍTULO: Why Some Elementary Functions Are Not Rational
AUTORES: Gabriela Chaves; José Carlos Santos ;
PUBLICAÇÃO: 2004, FONTE: Mathematics Magazine, VOLUME: 77, NÚMERO: 3, PÁGINAS: 225
INDEXADO EM: CrossRef
3228
TÍTULO: A circuit axiomatisation of Lagrangian matroids  Full Text
AUTORES: Booth, RF; Moreira, ML ; Pinto, MR;
PUBLICAÇÃO: 2003, FONTE: 18th British Combinatorial Conference in DISCRETE MATHEMATICS, VOLUME: 266, NÚMERO: 1-3, PÁGINAS: 109-118
INDEXADO EM: Scopus WOS CrossRef
3229
TÍTULO: A CLP-based tool for computer aided generation and solving of maths exercises
AUTORES: Tomas, AP ; Leal, JP ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PÁGINAS: 223-240
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
3230
TÍTULO: A multi-agent system for automated timetabling with shared resources
AUTORES: Pedroso, JP ;
PUBLICAÇÃO: 2003, FONTE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PÁGINAS: 359-363
INDEXADO EM: Scopus WOS
3231
TÍTULO: A note on pure and p-pure languages  Full Text
AUTORES: Silva, PV ;
PUBLICAÇÃO: 2003, FONTE: ACTA INFORMATICA, VOLUME: 39, NÚMERO: 8, PÁGINAS: 579-595
INDEXADO EM: Scopus WOS CrossRef: 2
3232
TÍTULO: A parallel implementation of the Atkinson algorithm for solving a Fredholm equation
AUTORES: filomena dias d' almeida ; Vasconcelos, PB ;
PUBLICAÇÃO: 2003, FONTE: 5th International Conference on High Performance Computing for Computational Science (VECPAR 2002) in HIGH PERFORMANCE COMPUTING FOR COMPUTATIONAL SCIENCE - VECPAR 2002, VOLUME: 2565, PÁGINAS: 368-376
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3233
TÍTULO: A parametric model approach for quantification of short term QT variability uncorrelated with heart rate variability
AUTORES: Almeida, R ; Pueyo, E; Martinez, JP; Rocha, AP ; Olmos, S; Laguna, P;
PUBLICAÇÃO: 2003, FONTE: 30th Annual Meeting on Computers in Cardiology in COMPUTERS IN CARDIOLOGY 2003, VOL 30, VOLUME: 30, PÁGINAS: 165-168
INDEXADO EM: Scopus WOS CrossRef: 4
3234
TÍTULO: A polynomial time algorithm to compute the Abelian kernel of a finite monoid  Full Text
AUTORES: Delgado, M ; Heam, PC;
PUBLICAÇÃO: 2003, FONTE: SEMIGROUP FORUM, VOLUME: 67, NÚMERO: 1, PÁGINAS: 97-110
INDEXADO EM: Scopus WOS CrossRef: 3
3235
TÍTULO: About Cartan geometrization of non-holonomic mechanics  Full Text
AUTORES: Tavares, JN ;
PUBLICAÇÃO: 2003, FONTE: JOURNAL OF GEOMETRY AND PHYSICS, VOLUME: 45, NÚMERO: 1-2, PÁGINAS: 1-23
INDEXADO EM: Scopus WOS CrossRef: 8
3236
TÍTULO: Approximate nonlinear filtering for a two-dimensional diffusion with one-dimensional observations in a low noise channel  Full Text
AUTORES: De Oliveira, PM ; Picard, J;
PUBLICAÇÃO: 2003, FONTE: SIAM JOURNAL ON CONTROL AND OPTIMIZATION, VOLUME: 41, NÚMERO: 6, PÁGINAS: 1801-1819
INDEXADO EM: Scopus WOS CrossRef Handle
3237
TÍTULO: Approximation algorithms to minimum vertex cover problems on polygons and terrains
AUTORES: Tomas, AP ; Bajuelos, AL ; Marques, F;
PUBLICAÇÃO: 2003, FONTE: International Conference on Computational Science (ICCS 2003) in COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS, VOLUME: 2657, PÁGINAS: 869-878
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
3238
TÍTULO: Boundedness and inversion properties of certain convolution transforms
AUTORES: Yakubovich, SB ;
PUBLICAÇÃO: 2003, FONTE: JOURNAL OF THE KOREAN MATHEMATICAL SOCIETY, VOLUME: 40, NÚMERO: 6, PÁGINAS: 999-1014
INDEXADO EM: Scopus WOS
3239
TÍTULO: Branching random walk in random environment on trees  Full Text
AUTORES: Machado F.; Yu Y Popov ;
PUBLICAÇÃO: 2003, FONTE: Stochastic Processes and their Applications, VOLUME: 106, NÚMERO: 1, PÁGINAS: 95-106
INDEXADO EM: Scopus CrossRef: 10
3240
TÍTULO: Clustered partial linear regression  Full Text
AUTORES: Torgo, L ; Da Costa, JP ;
PUBLICAÇÃO: 2003, FONTE: MACHINE LEARNING, VOLUME: 50, NÚMERO: 3, PÁGINAS: 303-319
INDEXADO EM: Scopus WOS DBLP CrossRef: 7

Results per Page: 20.
Página 162 de 180. Total de resultados: 3590.