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

143 Team Members
Filters -> Year: 2025
2501
TÍTULO: Ballistic regime for random walks in random environment with unbounded jumps and Knudsen billiards
AUTORES: Francis Comets; Serguei Popov ;
PUBLICAÇÃO: 2012, FONTE: Annales de l'institut Henri Poincare (B) Probability and Statistics, VOLUME: 48, NÚMERO: 3, PÁGINAS: 721-744
INDEXADO EM: Scopus CrossRef: 6
2502
TÍTULO: Biped robots: Effects of small perturbations on the generation of modular trajectories
AUTORES: Pinto, CMA ; Rocha, D; Santos, CP ;
PUBLICAÇÃO: 2012, FONTE: Journal of Numerical Analysis, Industrial and Applied Mathematics, VOLUME: 7, NÚMERO: 1-2, PÁGINAS: 27-37
INDEXADO EM: Scopus
2503
TÍTULO: BIVARIATE EXTREME STATISTICS, II  Full Text
AUTORES: Miguel de Carvalho; Alexandra Ramos ;
PUBLICAÇÃO: 2012, FONTE: REVSTAT-STATISTICAL JOURNAL, VOLUME: 10, NÚMERO: 1, PÁGINAS: 83-+
INDEXADO EM: Scopus WOS
2504
TÍTULO: Certifying execution time
AUTORES: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS, PÁGINAS: 108-125
INDEXADO EM: Scopus DBLP CrossRef: 1
2505
TÍTULO: Comparative evaluation of alternative batteries of genetic markers to complement autosomal STRs in kinship investigations: autosomal indels vs. X-chromosome STRs  Full Text
AUTORES: Claudia Gomes; Marta Magalhaes; Cintia Alves; Amorim, Antonio ; Nadia Pinto ; Leonor Gusmao ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 126, NÚMERO: 6, PÁGINAS: 917-921
INDEXADO EM: Scopus WOS CrossRef: 30
2506
TÍTULO: Complex-order forced van der Pol oscillator
AUTORES: Pinto, CMA ; Machado, JAT ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF VIBRATION AND CONTROL, VOLUME: 18, NÚMERO: 14, PÁGINAS: 2201-2209
INDEXADO EM: Scopus WOS CrossRef: 26 Handle
2507
TÍTULO: Convergence of Multipower Defect-Correction for spectral computations of integral operators  Full Text
AUTORES: filomena dias d' almeida ; Paulo B Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 219, NÚMERO: 4, PÁGINAS: 1601-1606
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2508
TÍTULO: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PÁGINAS: 127-140
INDEXADO EM: Scopus DBLP CrossRef: 4
2509
TÍTULO: Deciding regular expressions (in-)equivalence in Coq
AUTORES: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PÁGINAS: 98-113
INDEXADO EM: Scopus DBLP CrossRef: 7
2510
TÍTULO: DEFORMATIONS OF MAXIMAL REPRESENTATIONS IN Sp(4, R)  Full Text
AUTORES: Steven B Bradlow; Oscar Garcia Prada; Peter B Gothen ;
PUBLICAÇÃO: 2012, FONTE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 63, NÚMERO: 4, PÁGINAS: 795-843
INDEXADO EM: Scopus WOS CrossRef: 16
2511
TÍTULO: DENSE AREA-PRESERVING HOMEOMORPHISMS HAVE ZERO LYAPUNOV EXPONENTS
AUTORES: Mario Bessa ; Cesar M Silva ;
PUBLICAÇÃO: 2012, FONTE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 32, NÚMERO: 4, PÁGINAS: 1231-1244
INDEXADO EM: Scopus WOS CrossRef: 3
2512
TÍTULO: DERIVATIONS OF FINITARY INCIDENCE RINGS  Full Text
AUTORES: Khripchenko, NS ;
PUBLICAÇÃO: 2012, FONTE: COMMUNICATIONS IN ALGEBRA, VOLUME: 40, NÚMERO: 7, PÁGINAS: 2503-2522
INDEXADO EM: Scopus WOS CrossRef: 12
2514
TÍTULO: Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
AUTORES: Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: 14th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2012 in DCFS, VOLUME: 7386
INDEXADO EM: Scopus DBLP CrossRef
2516
TÍTULO: Double power law behavior in everyday Phenomena
AUTORES: Pinto, CMA ; Lopes, AM ; MacHado, JAT;
PUBLICAÇÃO: 2012, FONTE: 5th International Conference on Chaotic Modeling and Simulation, CHAOS 2012 in CHAOS 2012 - 5th Chaotic Modeling and Simulation International Conference, Proceedings, PÁGINAS: 485-490
INDEXADO EM: Scopus Handle
2517
TÍTULO: E-local pseudovarieties  Full Text
AUTORES: Moura, A ;
PUBLICAÇÃO: 2012, FONTE: SEMIGROUP FORUM, VOLUME: 85, NÚMERO: 1, PÁGINAS: 169-181
INDEXADO EM: Scopus WOS CrossRef
2518
TÍTULO: Eddy diffusivities of inertial particles under gravity
AUTORES: Martins Afonso, Marco ; Andrea Mazzino; Paolo Muratore Ginanneschi;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF FLUID MECHANICS, VOLUME: 694, PÁGINAS: 426-463
INDEXADO EM: Scopus WOS CrossRef: 9
2519
TÍTULO: Editorial
AUTORES: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 17, NÚMERO: 2-4, PÁGINAS: 59-60
INDEXADO EM: DBLP
2520
TÍTULO: ENTROPY FORMULAS FOR DYNAMICAL SYSTEMS WITH MISTAKES
AUTORES: Rousseau, J; Varandas, P ; Zhao, Y;
PUBLICAÇÃO: 2012, FONTE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 32, NÚMERO: 12, PÁGINAS: 4391-4407
INDEXADO EM: Scopus WOS CrossRef: 5

Results per Page: 20.
Página 126 de 185. Total de resultados: 3685.