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: 3590
143 Team MembersFilters -> Year: 2024
2981
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
2982
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 WOS2983
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 WOS2984
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
2985
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
2986
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
2987
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
2988
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 WOS2989
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
2990
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
2991
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
2992
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
2993
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
2994
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
2995
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
2996
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-+
2997
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
2998
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-+
2999
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
3000
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