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: 3702
143 Team MembersFilters -> Year: 2025
3241
TITLE: Mechanically proving termination using polynomial interpretations Full Text
AUTHORS: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4, PAGES: 325-363
AUTHORS: Evelyne Contejean; Claude Marche; Ana Paula Tomas ; Xavier Urbain;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 34, ISSUE: 4, PAGES: 325-363
3242
TITLE: Modelling ordinal relations with SVMs: An application to objective aesthetic evaluation of breast cancer conservative treatment Full Text
AUTHORS: Cardoso, JS ; da Costa, JFP ; Cardoso, MJ ;
PUBLISHED: 2005, SOURCE: International Joint Conference on Neural Networks in NEURAL NETWORKS, VOLUME: 18, ISSUE: 5-6, PAGES: 808-817
AUTHORS: Cardoso, JS ; da Costa, JFP ; Cardoso, MJ ;
PUBLISHED: 2005, SOURCE: International Joint Conference on Neural Networks in NEURAL NETWORKS, VOLUME: 18, ISSUE: 5-6, PAGES: 808-817
3243
TITLE: Modular diophantine inequalities and numerical semigroups
AUTHORS: Rosales, JC; García Sánchez, PA ; Urbano Blanco, JM;
PUBLISHED: 2005, SOURCE: PACIFIC JOURNAL OF MATHEMATICS, VOLUME: 218, ISSUE: 2, PAGES: 379-398
AUTHORS: Rosales, JC; García Sánchez, PA ; Urbano Blanco, JM;
PUBLISHED: 2005, SOURCE: PACIFIC JOURNAL OF MATHEMATICS, VOLUME: 218, ISSUE: 2, PAGES: 379-398
3244
TITLE: Monitoring the sea breaking zone in northwest Portugal using Earth observation satellites
AUTHORS: Marcal, ARS ; Teodoro, AC ; Castro, L ; Gomes, FV ; Nunes, AL;
PUBLISHED: 2005, SOURCE: 24th Symposium of the European-Association-of-Remote-Sensing-Laboratories (EARSeL) in NEW STRATEGIES FOR EUROPEAN REMOTE SENSING, PAGES: 301-308
AUTHORS: Marcal, ARS ; Teodoro, AC ; Castro, L ; Gomes, FV ; Nunes, AL;
PUBLISHED: 2005, SOURCE: 24th Symposium of the European-Association-of-Remote-Sensing-Laboratories (EARSeL) in NEW STRATEGIES FOR EUROPEAN REMOTE SENSING, PAGES: 301-308
INDEXED IN: 
WOS
WOS3245
TITLE: Nonlinear elastic polymers in random flow
AUTHORS: Martins Afonso, Marco ; Vincenzi, D;
PUBLISHED: 2005, SOURCE: JOURNAL OF FLUID MECHANICS, VOLUME: 540, ISSUE: -1, PAGES: 99-108
AUTHORS: Martins Afonso, Marco ; Vincenzi, D;
PUBLISHED: 2005, SOURCE: JOURNAL OF FLUID MECHANICS, VOLUME: 540, ISSUE: -1, PAGES: 99-108
3246
TITLE: Note on the integer geometry of bitwise XOR Full Text
AUTHORS: de Oliveira, AG ; Silva, DOE;
PUBLISHED: 2005, SOURCE: EUROPEAN JOURNAL OF COMBINATORICS, VOLUME: 26, ISSUE: 5, PAGES: 755-763
AUTHORS: de Oliveira, AG ; Silva, DOE;
PUBLISHED: 2005, SOURCE: EUROPEAN JOURNAL OF COMBINATORICS, VOLUME: 26, ISSUE: 5, PAGES: 755-763
3247
TITLE: Numerical semigroups with a monotonic Apery set Full Text
AUTHORS: Rosales, JC; Garcia Sanchez, PA ; Garcia Garcia, JI; Branco, MB ;
PUBLISHED: 2005, SOURCE: CZECHOSLOVAK MATHEMATICAL JOURNAL, VOLUME: 55, ISSUE: 3, PAGES: 755-772
AUTHORS: Rosales, JC; Garcia Sanchez, PA ; Garcia Garcia, JI; Branco, MB ;
PUBLISHED: 2005, SOURCE: CZECHOSLOVAK MATHEMATICAL JOURNAL, VOLUME: 55, ISSUE: 3, PAGES: 755-772
3248
TITLE: On a class of automata groups generalizing lamplighter groups Full Text
AUTHORS: Silva, PV ; Steinberg, B;
PUBLISHED: 2005, SOURCE: International Conference on GroupTheory - Combinatorial, Geometric and Dynamical Aspects of Infinite Groups in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 15, ISSUE: 5-6, PAGES: 1213-1234
AUTHORS: Silva, PV ; Steinberg, B;
PUBLISHED: 2005, SOURCE: International Conference on GroupTheory - Combinatorial, Geometric and Dynamical Aspects of Infinite Groups in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 15, ISSUE: 5-6, PAGES: 1213-1234
3249
TITLE: On long normal inhabitants of a type
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2005, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, ISSUE: 3, PAGES: 353-390
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2005, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, ISSUE: 3, PAGES: 353-390
3250
TITLE: On the Azumaya locus of some crossed products Full Text
AUTHORS: Carvalho, PAAB ;
PUBLISHED: 2005, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 33, ISSUE: 1, PAGES: 51-72
AUTHORS: Carvalho, PAAB ;
PUBLISHED: 2005, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 33, ISSUE: 1, PAGES: 51-72
3251
TITLE: On the continuity of entropy for non-uniformly expanding maps
AUTHORS: Alves, JF ; Oliveira, K; Tahzibi, A;
PUBLISHED: 2005, SOURCE: International Conference on Differential Equations in EQUADIFF 2003: INTERNATIONAL CONFERENCE ON DIFFERENTIAL EQUATIONS, PAGES: 409-414
AUTHORS: Alves, JF ; Oliveira, K; Tahzibi, A;
PUBLISHED: 2005, SOURCE: International Conference on Differential Equations in EQUADIFF 2003: INTERNATIONAL CONFERENCE ON DIFFERENTIAL EQUATIONS, PAGES: 409-414
INDEXED IN: WOS 
CrossRef
WOS CrossRef3252
TITLE: On the density of languages representing finite set partitions
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2005, SOURCE: Journal of Integer Sequences, VOLUME: 8, ISSUE: 2
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2005, SOURCE: Journal of Integer Sequences, VOLUME: 8, ISSUE: 2
INDEXED IN: 
Scopus
Scopus3253
TITLE: On the representation of finite automata
AUTHORS: Reis, R ; Moreira, N ; Almeida, M;
PUBLISHED: 2005, SOURCE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings, PAGES: 269-276
AUTHORS: Reis, R ; Moreira, N ; Almeida, M;
PUBLISHED: 2005, SOURCE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings, PAGES: 269-276
INDEXED IN: Scopus 
DBLP
Scopus DBLP3254
TITLE: Patterns of synchrony in lattice dynamical systems Full Text
AUTHORS: Antoneli, F; Ana Dias ; Golubitsky, M; Wang, YJ;
PUBLISHED: 2005, SOURCE: NONLINEARITY, VOLUME: 18, ISSUE: 5, PAGES: 2193-2209
AUTHORS: Antoneli, F; Ana Dias ; Golubitsky, M; Wang, YJ;
PUBLISHED: 2005, SOURCE: NONLINEARITY, VOLUME: 18, ISSUE: 5, PAGES: 2193-2209
3255
TITLE: Periods for holomorphic maps via Lefschetz numbers
AUTHORS: Jaume Llibre; Michael Todd ;
PUBLISHED: 2005, SOURCE: Abstract and Applied Analysis, VOLUME: 2005, ISSUE: 6, PAGES: 575-579
AUTHORS: Jaume Llibre; Michael Todd ;
PUBLISHED: 2005, SOURCE: Abstract and Applied Analysis, VOLUME: 2005, ISSUE: 6, PAGES: 575-579
3256
TITLE: Periods, Lefschetz numbers and entropy for a class of maps on a bouquet of circles Full Text
AUTHORS: Jaume Llibre; Michael Todd ;
PUBLISHED: 2005, SOURCE: Journal of Difference Equations and Applications, VOLUME: 11, ISSUE: 12, PAGES: 1049-1069
AUTHORS: Jaume Llibre; Michael Todd ;
PUBLISHED: 2005, SOURCE: Journal of Difference Equations and Applications, VOLUME: 11, ISSUE: 12, PAGES: 1049-1069
3257
TITLE: PRIME ELEMENTS IN PARTIALLY ORDERED GROUPOIDS APPLIED TO MODULES AND HOPF ALGEBRA ACTIONS Full Text
AUTHORS: Christian Lomp ;
PUBLISHED: 2005, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 4, ISSUE: 1, PAGES: 77-97
AUTHORS: Christian Lomp ;
PUBLISHED: 2005, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 4, ISSUE: 1, PAGES: 77-97
3258
TITLE: Profinite semigroups and applications Full Text
AUTHORS: Almeida, J ;
PUBLISHED: 2005, SOURCE: Conference of the NATO-Advanced-Study-Institute on Structural Theory of Automata, Semigroups, and Universal Algebra in Structural Theory of Automata, Semigroups, and Universal ALgebra, VOLUME: 207, PAGES: 1-45
AUTHORS: Almeida, J ;
PUBLISHED: 2005, SOURCE: Conference of the NATO-Advanced-Study-Institute on Structural Theory of Automata, Semigroups, and Universal Algebra in Structural Theory of Automata, Semigroups, and Universal ALgebra, VOLUME: 207, PAGES: 1-45
3259
TITLE: Pseudo-symmetric numerical semigroups with three generators
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2005, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 291, ISSUE: 1, PAGES: 46-54
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2005, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 291, ISSUE: 1, PAGES: 46-54
3260
TITLE: Queues with server vacations in urban traffic control
AUTHORS: Maria d Lurdes Simões; Paula M de Oliveira ; Américo P Costa;
PUBLISHED: 2005
AUTHORS: Maria d Lurdes Simões; Paula M de Oliveira ; Américo P Costa;
PUBLISHED: 2005
INDEXED IN: 
Handle
Handle