Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto
AuthID: I-000-1C6
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
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!
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!
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!
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: 3592
143 Team MembersFilters -> Year: 2025
2401
TITLE: A new mathematical model for co-infection of malaria and HIV
AUTHORS: Pinto, C ; Rocha, D;
PUBLISHED: 2012, SOURCE: IEEE 4th International Conference on Nonlinear Science and Complexity, NSC 2012 in IEEE 4th International Conference on Nonlinear Science and Complexity, NSC 2012 - Proceedings, PAGES: 33-39
AUTHORS: Pinto, C ; Rocha, D;
PUBLISHED: 2012, SOURCE: IEEE 4th International Conference on Nonlinear Science and Complexity, NSC 2012 in IEEE 4th International Conference on Nonlinear Science and Complexity, NSC 2012 - Proceedings, PAGES: 33-39
2402
TITLE: A remark on the topological stability of symplectomorphisms Full Text
AUTHORS: Mario Bessa ; Jorge Rocha ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS LETTERS, VOLUME: 25, ISSUE: 2, PAGES: 163-165
AUTHORS: Mario Bessa ; Jorge Rocha ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS LETTERS, VOLUME: 25, ISSUE: 2, PAGES: 163-165
2403
TITLE: A restricted mixture model for dietary pattern analysis in small samples Full Text
AUTHORS: Rita Gaio ; Joaquim Pinto da Costa ; Ana Cristina Santos ; Elisabete Ramos ; Carla Lopes ;
PUBLISHED: 2012, SOURCE: STATISTICS IN MEDICINE, VOLUME: 31, ISSUE: 19, PAGES: 2137-2150
AUTHORS: Rita Gaio ; Joaquim Pinto da Costa ; Ana Cristina Santos ; Elisabete Ramos ; Carla Lopes ;
PUBLISHED: 2012, SOURCE: STATISTICS IN MEDICINE, VOLUME: 31, ISSUE: 19, PAGES: 2137-2150
2404
TITLE: A review of power laws in real life phenomena Full Text
AUTHORS: Pinto, CMA ; Lopes, AM ; Machado, JAT ;
PUBLISHED: 2012, SOURCE: COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, VOLUME: 17, ISSUE: 9, PAGES: 3558-3578
AUTHORS: Pinto, CMA ; Lopes, AM ; Machado, JAT ;
PUBLISHED: 2012, SOURCE: COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, VOLUME: 17, ISSUE: 9, PAGES: 3558-3578
2405
TITLE: A tree search approach to sparse coding
AUTHORS: Rei, R; Pedroso, JP ; Hino, H; Murata, N;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS, PAGES: 472-477
AUTHORS: Rei, R; Pedroso, JP ; Hino, H; Murata, N;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS, PAGES: 472-477
2406
TITLE: A uniqueness result for a fractional differential equation
AUTHORS: Rui A C Ferreira ;
PUBLISHED: 2012, SOURCE: FRACTIONAL CALCULUS AND APPLIED ANALYSIS, VOLUME: 15, ISSUE: 4, PAGES: 611-615
AUTHORS: Rui A C Ferreira ;
PUBLISHED: 2012, SOURCE: FRACTIONAL CALCULUS AND APPLIED ANALYSIS, VOLUME: 15, ISSUE: 4, PAGES: 611-615
2407
TITLE: Additive outliers in INAR(1) models Full Text
AUTHORS: Matyas Barczy; Marton Ispany; Gyula Pap; Manuel Scotto ; Maria Eduarda Silva ;
PUBLISHED: 2012, SOURCE: STATISTICAL PAPERS, VOLUME: 53, ISSUE: 4, PAGES: 935-949
AUTHORS: Matyas Barczy; Marton Ispany; Gyula Pap; Manuel Scotto ; Maria Eduarda Silva ;
PUBLISHED: 2012, SOURCE: STATISTICAL PAPERS, VOLUME: 53, ISSUE: 4, PAGES: 935-949
2408
TITLE: An Index Integral and Convolution Operator Related to the Kontorovich-Lebedev and Mehler-Fock Transforms Full Text
AUTHORS: Semyon Yakubovich ;
PUBLISHED: 2012, SOURCE: COMPLEX ANALYSIS AND OPERATOR THEORY, VOLUME: 6, ISSUE: 4, PAGES: 947-970
AUTHORS: Semyon Yakubovich ;
PUBLISHED: 2012, SOURCE: COMPLEX ANALYSIS AND OPERATOR THEORY, VOLUME: 6, ISSUE: 4, PAGES: 947-970
2409
TITLE: Association between dietary patterns and metabolic syndrome in a sample of portuguese adults Full Text
AUTHORS: Maria Joao Fonseca; Rita Gaio ; Carla Lopes ; Ana Cristina Santos ;
PUBLISHED: 2012, SOURCE: NUTRITION JOURNAL, VOLUME: 11, ISSUE: 1, PAGES: 64
AUTHORS: Maria Joao Fonseca; Rita Gaio ; Carla Lopes ; Ana Cristina Santos ;
PUBLISHED: 2012, SOURCE: NUTRITION JOURNAL, VOLUME: 11, ISSUE: 1, PAGES: 64
2410
TITLE: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO Full Text
AUTHORS: Luis F. Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
AUTHORS: Luis F. Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
2411
TITLE: Ballistic regime for random walks in random environment with unbounded jumps and Knudsen billiards
AUTHORS: Francis Comets; Serguei Popov ;
PUBLISHED: 2012, SOURCE: Annales de l'institut Henri Poincare (B) Probability and Statistics, VOLUME: 48, ISSUE: 3, PAGES: 721-744
AUTHORS: Francis Comets; Serguei Popov ;
PUBLISHED: 2012, SOURCE: Annales de l'institut Henri Poincare (B) Probability and Statistics, VOLUME: 48, ISSUE: 3, PAGES: 721-744
2412
TITLE: Biped robots: Effects of small perturbations on the generation of modular trajectories
AUTHORS: Pinto, CMA ; Rocha, D; Santos, CP ;
PUBLISHED: 2012, SOURCE: Journal of Numerical Analysis, Industrial and Applied Mathematics, VOLUME: 7, ISSUE: 1-2, PAGES: 27-37
AUTHORS: Pinto, CMA ; Rocha, D; Santos, CP ;
PUBLISHED: 2012, SOURCE: Journal of Numerical Analysis, Industrial and Applied Mathematics, VOLUME: 7, ISSUE: 1-2, PAGES: 27-37
INDEXED IN: 
Scopus
Scopus2413
TITLE: BIVARIATE EXTREME STATISTICS, II Full Text
AUTHORS: Miguel de Carvalho; Alexandra Ramos ;
PUBLISHED: 2012, SOURCE: REVSTAT-STATISTICAL JOURNAL, VOLUME: 10, ISSUE: 1, PAGES: 83-+
AUTHORS: Miguel de Carvalho; Alexandra Ramos ;
PUBLISHED: 2012, SOURCE: REVSTAT-STATISTICAL JOURNAL, VOLUME: 10, ISSUE: 1, PAGES: 83-+
INDEXED IN: Scopus 
WOS
Scopus WOS2414
TITLE: Certifying execution time
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 108-125
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 108-125
2415
TITLE: Comparative evaluation of alternative batteries of genetic markers to complement autosomal STRs in kinship investigations: autosomal indels vs. X-chromosome STRs Full Text
AUTHORS: Claudia Gomes; Marta Magalhaes; Cintia Alves; Amorim, Antonio ; Nadia Pinto ; Leonor Gusmao ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 126, ISSUE: 6, PAGES: 917-921
AUTHORS: Claudia Gomes; Marta Magalhaes; Cintia Alves; Amorim, Antonio ; Nadia Pinto ; Leonor Gusmao ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 126, ISSUE: 6, PAGES: 917-921
2416
TITLE: Complex-order forced van der Pol oscillator
AUTHORS: Pinto, CMA ; Machado, JAT ;
PUBLISHED: 2012, SOURCE: JOURNAL OF VIBRATION AND CONTROL, VOLUME: 18, ISSUE: 14, PAGES: 2201-2209
AUTHORS: Pinto, CMA ; Machado, JAT ;
PUBLISHED: 2012, SOURCE: JOURNAL OF VIBRATION AND CONTROL, VOLUME: 18, ISSUE: 14, PAGES: 2201-2209
2417
TITLE: Convergence of Multipower Defect-Correction for spectral computations of integral operators Full Text
AUTHORS: filomena dias d' almeida ; Paulo B Vasconcelos ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 219, ISSUE: 4, PAGES: 1601-1606
AUTHORS: filomena dias d' almeida ; Paulo B Vasconcelos ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 219, ISSUE: 4, PAGES: 1601-1606
2418
TITLE: Deciding KAT and Hoare Logic with Derivatives Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 127-140
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 127-140
2419
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 98-113
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 98-113
2420
TITLE: DEFORMATIONS OF MAXIMAL REPRESENTATIONS IN Sp(4, R) Full Text
AUTHORS: Steven B Bradlow; Oscar Garcia Prada; Peter B Gothen ;
PUBLISHED: 2012, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 63, ISSUE: 4, PAGES: 795-843
AUTHORS: Steven B Bradlow; Oscar Garcia Prada; Peter B Gothen ;
PUBLISHED: 2012, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 63, ISSUE: 4, PAGES: 795-843
