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
2821
TITLE: Series-Parallel Automata and Short Regular Expressions Full Text
AUTHORS: Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 91, ISSUE: 3-4, PAGES: 611-629
AUTHORS: Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 91, ISSUE: 3-4, PAGES: 611-629
2822
TITLE: Sex differences in linear and complex fetal heart rate dynamics of normal and acidemic fetuses in the minutes preceding delivery
AUTHORS: Joao Bernardes ; Hernani Goncalves ; Diogo Ayres de Campos ; Ana Paula Rocha ;
PUBLISHED: 2009, SOURCE: JOURNAL OF PERINATAL MEDICINE, VOLUME: 37, ISSUE: 2, PAGES: 168-176
AUTHORS: Joao Bernardes ; Hernani Goncalves ; Diogo Ayres de Campos ; Ana Paula Rocha ;
PUBLISHED: 2009, SOURCE: JOURNAL OF PERINATAL MEDICINE, VOLUME: 37, ISSUE: 2, PAGES: 168-176
2823
TITLE: Simulation based design of optimal phasing plans for an intersection with semi-actuated signals
AUTHORS: Maria d Lurdes Simões; A. Pires Costa; Paula M Oliveira ;
PUBLISHED: 2009
AUTHORS: Maria d Lurdes Simões; A. Pires Costa; Paula M Oliveira ;
PUBLISHED: 2009
INDEXED IN: Handle
2824
TITLE: Simulation based design of optimal phasing plans for an intersection with semi-actuated signals
AUTHORS: Simões, M L ; Pires Costa, A; Milheiro Oliveira, P ;
PUBLISHED: 2009, SOURCE: 12th International Conference on Civil, Structural and Environmental Engineering Computing, CC 2009 in Proceedings of the 12th International Conference on Civil, Structural and Environmental Engineering Computing
AUTHORS: Simões, M L ; Pires Costa, A; Milheiro Oliveira, P ;
PUBLISHED: 2009, SOURCE: 12th International Conference on Civil, Structural and Environmental Engineering Computing, CC 2009 in Proceedings of the 12th International Conference on Civil, Structural and Environmental Engineering Computing
INDEXED IN: Scopus
2825
TITLE: SOBOLEV TYPE SPACES ASSOCIATED WITH THE KONTOROVICH-LEBEDEV TRANSFORM
AUTHORS: SEMYON B YAKUBOVICH ;
PUBLISHED: 2009, SOURCE: More Progresses in Analysis
AUTHORS: SEMYON B YAKUBOVICH ;
PUBLISHED: 2009, SOURCE: More Progresses in Analysis
INDEXED IN: CrossRef
2826
TITLE: Some linear and nonlinear integral inequalities on time scales in two independent variables
AUTHORS: Ferreira, RAC ; Torres, DFM ;
PUBLISHED: 2009, SOURCE: Nonlinear Dynamics and Systems Theory, VOLUME: 9, ISSUE: 2, PAGES: 161-169
AUTHORS: Ferreira, RAC ; Torres, DFM ;
PUBLISHED: 2009, SOURCE: Nonlinear Dynamics and Systems Theory, VOLUME: 9, ISSUE: 2, PAGES: 161-169
INDEXED IN: Scopus
2827
TITLE: Spatially Periodic Patterns of Synchrony in Lattice Networks Full Text
AUTHORS: Ana Dias ; Eliana Manuel Pinho ;
PUBLISHED: 2009, SOURCE: SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, VOLUME: 8, ISSUE: 2, PAGES: 641-675
AUTHORS: Ana Dias ; Eliana Manuel Pinho ;
PUBLISHED: 2009, SOURCE: SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, VOLUME: 8, ISSUE: 2, PAGES: 641-675
2828
TITLE: Stable text line detection
AUTHORS: Jaime S Cardoso ;
PUBLISHED: 2009, SOURCE: 2009 Workshop on Applications of Computer Vision, WACV 2009 in IEEE Workshop on Applications of Computer Vision (WACV 2009), 7-8 December, 2009, Snowbird, UT, USA, PAGES: 1-5
AUTHORS: Jaime S Cardoso ;
PUBLISHED: 2009, SOURCE: 2009 Workshop on Applications of Computer Vision, WACV 2009 in IEEE Workshop on Applications of Computer Vision (WACV 2009), 7-8 December, 2009, Snowbird, UT, USA, PAGES: 1-5
2829
TITLE: Staff Detection with Stable Paths Full Text
AUTHORS: Jaime dos Santos Cardoso ; Artur Capela ; Ana Rebelo ; Carlos Guedes ; Joaquim Pinto da Costa ;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOLUME: 31, ISSUE: 6, PAGES: 1134-1139
AUTHORS: Jaime dos Santos Cardoso ; Artur Capela ; Ana Rebelo ; Carlos Guedes ; Joaquim Pinto da Costa ;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOLUME: 31, ISSUE: 6, PAGES: 1134-1139
2830
TITLE: Statistics of the maximum for the tent map Full Text
AUTHORS: Ana Cristina M Moreira Freitas ;
PUBLISHED: 2009, SOURCE: CHAOS SOLITONS & FRACTALS, VOLUME: 42, ISSUE: 1, PAGES: 604-608
AUTHORS: Ana Cristina M Moreira Freitas ;
PUBLISHED: 2009, SOURCE: CHAOS SOLITONS & FRACTALS, VOLUME: 42, ISSUE: 1, PAGES: 604-608
2831
TITLE: Survival time of random walk in random environment among soft obstacles Full Text
AUTHORS: Nina Gantert; Serguei Popov ; Marina Vachkovskaia;
PUBLISHED: 2009, SOURCE: Electronic Journal of Probability, VOLUME: 14, ISSUE: none, PAGES: 569-593
AUTHORS: Nina Gantert; Serguei Popov ; Marina Vachkovskaia;
PUBLISHED: 2009, SOURCE: Electronic Journal of Probability, VOLUME: 14, ISSUE: none, PAGES: 569-593
2832
TITLE: T-SLAM: Registering topological and geometric maps for robot localization
AUTHORS: Ferreira, F; Amorim, I ; Rocha, R; Dias, J ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Multi-Sensor Integration and Fusion, IEEE MFI 2008 in Lecture Notes in Electrical Engineering, VOLUME: 35 LNEE, PAGES: 423-438
AUTHORS: Ferreira, F; Amorim, I ; Rocha, R; Dias, J ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Multi-Sensor Integration and Fusion, IEEE MFI 2008 in Lecture Notes in Electrical Engineering, VOLUME: 35 LNEE, PAGES: 423-438
2833
TITLE: Testing the Equivalence of Regular Languages Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2009, SOURCE: 11th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009 in Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., VOLUME: 3, PAGES: 47-57
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2009, SOURCE: 11th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009 in Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., VOLUME: 3, PAGES: 47-57
2834
TITLE: The catenary and tame degree of numerical monoids
AUTHORS: Chapman, ST; García Sánchez, PA ; Llena, D;
PUBLISHED: 2009, SOURCE: FORUM MATHEMATICUM, VOLUME: 21, ISSUE: 1, PAGES: 117-129
AUTHORS: Chapman, ST; García Sánchez, PA ; Llena, D;
PUBLISHED: 2009, SOURCE: FORUM MATHEMATICUM, VOLUME: 21, ISSUE: 1, PAGES: 117-129
2835
TITLE: THE CAUCHY PROBLEM FOR A SHORT-WAVE EQUATION Full Text
AUTHORS: Silvio Marques A Gama ; Gueorgui Smirnov ;
PUBLISHED: 2009, SOURCE: ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 2009, PAGES: 1-9
AUTHORS: Silvio Marques A Gama ; Gueorgui Smirnov ;
PUBLISHED: 2009, SOURCE: ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 2009, PAGES: 1-9
INDEXED IN: Scopus WOS
2836
TITLE: The core periphery model with asymmetric inter-regional and intra-regional trade costs Full Text
AUTHORS: Vasco Leite; Sofia B S D Castro ; Joao Correia da Silva ;
PUBLISHED: 2009, SOURCE: 2nd Meeting of the Portuguese Economic Journal in PORTUGUESE ECONOMIC JOURNAL, VOLUME: 8, ISSUE: 1, PAGES: 37-44
AUTHORS: Vasco Leite; Sofia B S D Castro ; Joao Correia da Silva ;
PUBLISHED: 2009, SOURCE: 2nd Meeting of the Portuguese Economic Journal in PORTUGUESE ECONOMIC JOURNAL, VOLUME: 8, ISSUE: 1, PAGES: 37-44
2837
TITLE: The evaluation of the usability of an intelligent medical system: BCCT.core [A avaliação da usabilidade de um sistema médico inteligente: BCCT.core]
AUTHORS: Afonso, AP; Cardoso, JS ; Cardoso, MJ; Cota, MP;
PUBLISHED: 2009, SOURCE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PAGES: 363-366
AUTHORS: Afonso, AP; Cardoso, JS ; Cardoso, MJ; Cota, MP;
PUBLISHED: 2009, SOURCE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PAGES: 363-366
INDEXED IN: Scopus
2838
TITLE: THE EVALUATION OF USABILITY OF AN INTELLIGENT MEDICAL SYSTEM: BCCT.CORE
AUTHORS: Afonso, AP; Cardoso, JS ; Cardoso, MJ; Cota, MP;
PUBLISHED: 2009, SOURCE: SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 363-366
AUTHORS: Afonso, AP; Cardoso, JS ; Cardoso, MJ; Cota, MP;
PUBLISHED: 2009, SOURCE: SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 363-366
INDEXED IN: WOS Handle
2839
TITLE: The gluing of numerical semigroups
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 123-136
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 123-136
INDEXED IN: CrossRef
2840
TITLE: The Karimojong from Uganda: Genetic characterization using an X-STR decaplex system Full Text
AUTHORS: Iva Gomes; Vania Pereira; Veronica Gomes ; Maria Joao Prata ; Nadia Pinto ; Angel Carracedo; Amorim, Antonio ; Leonor Gusmao ;
PUBLISHED: 2009, SOURCE: FORENSIC SCIENCE INTERNATIONAL-GENETICS, VOLUME: 3, ISSUE: 4
AUTHORS: Iva Gomes; Vania Pereira; Veronica Gomes ; Maria Joao Prata ; Nadia Pinto ; Angel Carracedo; Amorim, Antonio ; Leonor Gusmao ;
PUBLISHED: 2009, SOURCE: FORENSIC SCIENCE INTERNATIONAL-GENETICS, VOLUME: 3, ISSUE: 4