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: 3753
143 Team MembersFilters -> Year: 2025
3141
TITLE: On principal types of BCK-lambda-Terms
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PAGES: 120-130
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PAGES: 120-130
3142
TITLE: On surfaces with pg = q=1 and non-ruled bicanonical involution
AUTHORS: Carlos Rito ;
PUBLISHED: 2007, SOURCE: ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE, VOLUME: 6, ISSUE: 1, PAGES: 81-102
AUTHORS: Carlos Rito ;
PUBLISHED: 2007, SOURCE: ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE, VOLUME: 6, ISSUE: 1, PAGES: 81-102
INDEXED IN: 
Scopus 
WOS
Scopus WOS3143
TITLE: On the adjugate of a matrix
AUTHORS: Antonio Guedes de Oliveira ;
PUBLISHED: 2007, SOURCE: AMERICAN MATHEMATICAL MONTHLY, VOLUME: 114, ISSUE: 10, PAGES: 923-924
AUTHORS: Antonio Guedes de Oliveira ;
PUBLISHED: 2007, SOURCE: AMERICAN MATHEMATICAL MONTHLY, VOLUME: 114, ISSUE: 10, PAGES: 923-924
INDEXED IN: Scopus WOS
Scopus WOS3144
TITLE: On the rational subset problem for groups Full Text
AUTHORS: Mark Kambites; Pedro V Silva ; Benjamin Steinberg;
PUBLISHED: 2007, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 309, ISSUE: 2, PAGES: 622-639
AUTHORS: Mark Kambites; Pedro V Silva ; Benjamin Steinberg;
PUBLISHED: 2007, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 309, ISSUE: 2, PAGES: 622-639
3145
TITLE: On the volume of singular-hyperbolic sets Full Text
AUTHORS: Alves, JF ; Araujo, V; Pacifico, MJ; Pinheiro, V;
PUBLISHED: 2007, SOURCE: DYNAMICAL SYSTEMS-AN INTERNATIONAL JOURNAL, VOLUME: 22, ISSUE: 3, PAGES: 249-267
AUTHORS: Alves, JF ; Araujo, V; Pacifico, MJ; Pinheiro, V;
PUBLISHED: 2007, SOURCE: DYNAMICAL SYSTEMS-AN INTERNATIONAL JOURNAL, VOLUME: 22, ISSUE: 3, PAGES: 249-267
3146
TITLE: OpenControl: A free opensource software for video tracking and automated control of behavioral mazes Full Text
AUTHORS: Paulo Aguiar ; Luis Mendonca; Vasco Galhardo ;
PUBLISHED: 2007, SOURCE: JOURNAL OF NEUROSCIENCE METHODS, VOLUME: 166, ISSUE: 1, PAGES: 66-72
AUTHORS: Paulo Aguiar ; Luis Mendonca; Vasco Galhardo ;
PUBLISHED: 2007, SOURCE: JOURNAL OF NEUROSCIENCE METHODS, VOLUME: 166, ISSUE: 1, PAGES: 66-72
3147
TITLE: Percolation for the stable marriage of Poisson and Lebesgue Full Text
AUTHORS: Freire M.; Popov S. ; Vachkovskaia M.;
PUBLISHED: 2007, SOURCE: Stochastic Processes and their Applications, VOLUME: 117, ISSUE: 4, PAGES: 514-525
AUTHORS: Freire M.; Popov S. ; Vachkovskaia M.;
PUBLISHED: 2007, SOURCE: Stochastic Processes and their Applications, VOLUME: 117, ISSUE: 4, PAGES: 514-525
3148
TITLE: Persistence of Bowen-Ruelle-Sinai measures
AUTHORS: Maria Pires De Carvalho ;
PUBLISHED: 2007, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 17, ISSUE: 1, PAGES: 213-221
AUTHORS: Maria Pires De Carvalho ;
PUBLISHED: 2007, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 17, ISSUE: 1, PAGES: 213-221
INDEXED IN: Scopus WOS
Scopus WOS3149
TITLE: Point-source scalar turbulence
AUTHORS: Antonio Celani; Martins Afonso, Marco ; Andrea Mazzino;
PUBLISHED: 2007, SOURCE: JOURNAL OF FLUID MECHANICS, VOLUME: 583, PAGES: 189-198
AUTHORS: Antonio Celani; Martins Afonso, Marco ; Andrea Mazzino;
PUBLISHED: 2007, SOURCE: JOURNAL OF FLUID MECHANICS, VOLUME: 583, PAGES: 189-198
3150
TITLE: Profinite groups associated with weakly primitive substitutions Full Text
AUTHORS: Almeida, J ;
PUBLISHED: 2007, SOURCE: Journal of Mathematical Sciences, VOLUME: 144, ISSUE: 2, PAGES: 3881-3903
AUTHORS: Almeida, J ;
PUBLISHED: 2007, SOURCE: Journal of Mathematical Sciences, VOLUME: 144, ISSUE: 2, PAGES: 3881-3903
3151
TITLE: Projected wallpaper patterns
AUTHORS: Isabel S Labouriau ; Eliana M Pinho;
PUBLISHED: 2007, SOURCE: 8th Workshop on Real and Complex Singularities in Real and Complex Singularities, VOLUME: 39, PAGES: 209-217
AUTHORS: Isabel S Labouriau ; Eliana M Pinho;
PUBLISHED: 2007, SOURCE: 8th Workshop on Real and Complex Singularities in Real and Complex Singularities, VOLUME: 39, PAGES: 209-217
3152
TITLE: Radon variability at the Elat granite, Israel: Heteroscedasticity and nonlinearity. RADON HETEROSCEDASTICITY AND NONLINEARITY Full Text
AUTHORS: Barbosa, SM ; Steinitz, G; Piatibratova, O; Silva, ME ; Lago, P ;
PUBLISHED: 2007, SOURCE: GEOPHYSICAL RESEARCH LETTERS, VOLUME: 34, ISSUE: 15
AUTHORS: Barbosa, SM ; Steinitz, G; Piatibratova, O; Silva, ME ; Lago, P ;
PUBLISHED: 2007, SOURCE: GEOPHYSICAL RESEARCH LETTERS, VOLUME: 34, ISSUE: 15
3153
TITLE: Re-examining international technological-knowledge diffusion Full Text
AUTHORS: Afonso, O ; Vasconcelos, PB ;
PUBLISHED: 2007, SOURCE: International Economic Journal, VOLUME: 21, ISSUE: 2, PAGES: 279-296
AUTHORS: Afonso, O ; Vasconcelos, PB ;
PUBLISHED: 2007, SOURCE: International Economic Journal, VOLUME: 21, ISSUE: 2, PAGES: 279-296
3154
TITLE: Rejoinder to letter to the editor from C. Genest and J-F. Plante concerning 'Pinto da Costa, J. & Soares, C. (2005) A weighted rank measure of correlation.' Full Text
AUTHORS: Joaquim Pinto da Costa ; Carlos Soares ;
PUBLISHED: 2007, SOURCE: AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, VOLUME: 49, ISSUE: 2, PAGES: 205-207
AUTHORS: Joaquim Pinto da Costa ; Carlos Soares ;
PUBLISHED: 2007, SOURCE: AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, VOLUME: 49, ISSUE: 2, PAGES: 205-207
3155
TITLE: Removing zero Lyapunov exponents in volume-preserving flows Full Text
AUTHORS: Mario Bessa ; Jorge Rocha ;
PUBLISHED: 2007, SOURCE: NONLINEARITY, VOLUME: 20, ISSUE: 4, PAGES: 1007-1016
AUTHORS: Mario Bessa ; Jorge Rocha ;
PUBLISHED: 2007, SOURCE: NONLINEARITY, VOLUME: 20, ISSUE: 4, PAGES: 1007-1016
3156
TITLE: Scale-based comparison of sea level observations in the North Atlantic from satellite altimetry and tide gauges
AUTHORS: Barbosa, SM ; Fernandes, MJ ; Silva, ME ;
PUBLISHED: 2007, SOURCE: IAG Symposium on Dynamic Planet in DYNAMIC PLANET: MONITORING AND UNDERSTANDING A DYNAMIC PLANET WITH GEODETIC AND OCEANOGRAPHIC TOOLS, VOLUME: 130, PAGES: 63-+
AUTHORS: Barbosa, SM ; Fernandes, MJ ; Silva, ME ;
PUBLISHED: 2007, SOURCE: IAG Symposium on Dynamic Planet in DYNAMIC PLANET: MONITORING AND UNDERSTANDING A DYNAMIC PLANET WITH GEODETIC AND OCEANOGRAPHIC TOOLS, VOLUME: 130, PAGES: 63-+
3157
TITLE: Semi-complete foliations associated to Hamiltonian vector fields in dimension 2 Full Text
AUTHORS: Helena Reis ;
PUBLISHED: 2007, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 328, ISSUE: 2, PAGES: 813-820
AUTHORS: Helena Reis ;
PUBLISHED: 2007, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 328, ISSUE: 2, PAGES: 813-820
3158
TITLE: Settling velocity of inertial particles Full Text
AUTHORS: Antonio Celani; Martins Afonso, Marco ; Andrea Mazzino;
PUBLISHED: 2007, SOURCE: 11th EUROMECH European Turbulence Conference in ADVANCES IN TURBULENCE XI, VOLUME: 117, PAGES: 61-+
AUTHORS: Antonio Celani; Martins Afonso, Marco ; Andrea Mazzino;
PUBLISHED: 2007, SOURCE: 11th EUROMECH European Turbulence Conference in ADVANCES IN TURBULENCE XI, VOLUME: 117, PAGES: 61-+
3159
TITLE: Simple metaheuristics using the simplex algorithm for non-linear programming
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2007, SOURCE: International Workshop on Stochastic Local Search Algorithms in Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics, VOLUME: 4638, PAGES: 217-221
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2007, SOURCE: International Workshop on Stochastic Local Search Algorithms in Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics, VOLUME: 4638, PAGES: 217-221
3160
TITLE: Simulation and modelling of traffic movements at semi-actuated signalised intersections
AUTHORS: Simões, M L ; Milheiro Oliveira, P ; Pires Da Costa, A;
PUBLISHED: 2007, SOURCE: 10th International Conference on Computers in Urban Planning and Urban Management, CUPUM 2007 in Proceedings of 10th International Conference on Computers in Urban Planning and Urban Management, CUPUM 2007, PAGES: 1-10
AUTHORS: Simões, M L ; Milheiro Oliveira, P ; Pires Da Costa, A;
PUBLISHED: 2007, SOURCE: 10th International Conference on Computers in Urban Planning and Urban Management, CUPUM 2007 in Proceedings of 10th International Conference on Computers in Urban Planning and Urban Management, CUPUM 2007, PAGES: 1-10
INDEXED IN: Scopus
Scopus