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: 3765
143 Team MembersFilters -> Year: 2025
2061
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
2062
TITLE: Deciding Synchronous Kleene Algebra with Derivatives
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
2063
TITLE: Delay in the diagnosis of tuberculosis
AUTHORS: Guimaraes, M; Oliveira, O; Teixeira, C ; Rita Gaio ; Duarte, R ;
PUBLISHED: 2015, SOURCE: REVISTA PORTUGUESA DE PNEUMOLOGIA, VOLUME: 21, ISSUE: 6, PAGES: 346-348
AUTHORS: Guimaraes, M; Oliveira, O; Teixeira, C ; Rita Gaio ; Duarte, R ;
PUBLISHED: 2015, SOURCE: REVISTA PORTUGUESA DE PNEUMOLOGIA, VOLUME: 21, ISSUE: 6, PAGES: 346-348
2064
TITLE: Dense heteroclinic tangencies near a Bykov cycle Full Text
AUTHORS: Labouriau, IS ;
PUBLISHED: 2015, SOURCE: JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 259, ISSUE: 11, PAGES: 5875-5902
AUTHORS: Labouriau, IS ;
PUBLISHED: 2015, SOURCE: JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 259, ISSUE: 11, PAGES: 5875-5902
2065
TITLE: Derivations of a parametric family of subalgebras of the Weyl algebra Full Text
AUTHORS: Georgia Benkart; Samuel A Lopes ; Matthew Ondrus;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 424, PAGES: 46-97
AUTHORS: Georgia Benkart; Samuel A Lopes ; Matthew Ondrus;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 424, PAGES: 46-97
2066
TITLE: Detection of Additive Outliers in Poisson INAR(1) Time Series
AUTHORS: Maria Eduarda Silva ; Isabel Pereira ;
PUBLISHED: 2015, SOURCE: International Conference on and Advanced School Planet Earth, Mathematics of Energy and Climate Change (MECC) in MATHEMATICS OF ENERGY AND CLIMATE CHANGE, PAGES: 377-388
AUTHORS: Maria Eduarda Silva ; Isabel Pereira ;
PUBLISHED: 2015, SOURCE: International Conference on and Advanced School Planet Earth, Mathematics of Energy and Climate Change (MECC) in MATHEMATICS OF ENERGY AND CLIMATE CHANGE, PAGES: 377-388
2067
TITLE: Dietary patterns among 13-y-old Portuguese adolescents Full Text
AUTHORS: Joana Araujo ; Joana Teixeira; Rita Gaio ; Carla Lopes ; Elisabete Ramos ;
PUBLISHED: 2015, SOURCE: NUTRITION, VOLUME: 31, ISSUE: 1, PAGES: 148-154
AUTHORS: Joana Araujo ; Joana Teixeira; Rita Gaio ; Carla Lopes ; Elisabete Ramos ;
PUBLISHED: 2015, SOURCE: NUTRITION, VOLUME: 31, ISSUE: 1, PAGES: 148-154
2068
TITLE: Differential scorecards for binary and ordinal data Full Text
AUTHORS: Silva, PFB; Cardoso, JS ;
PUBLISHED: 2015, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 19, ISSUE: 6, PAGES: 1391-1408
AUTHORS: Silva, PFB; Cardoso, JS ;
PUBLISHED: 2015, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 19, ISSUE: 6, PAGES: 1391-1408
2069
TITLE: Discrete Dynamics for the Core-periphery Model Full Text
AUTHORS: Liliana Garrido da Silva ; Sofia B S D Castro ; Paulo B Vasconcelos ;
PUBLISHED: 2015, SOURCE: SPATIAL ECONOMIC ANALYSIS, VOLUME: 10, ISSUE: 1, PAGES: 36-51
AUTHORS: Liliana Garrido da Silva ; Sofia B S D Castro ; Paulo B Vasconcelos ;
PUBLISHED: 2015, SOURCE: SPATIAL ECONOMIC ANALYSIS, VOLUME: 10, ISSUE: 1, PAGES: 36-51
2070
TITLE: Discrete Symmetric Planar Dynamics
AUTHORS: Alarcon, B; Castro, SBSD ; Labouriau, IS ;
PUBLISHED: 2015, SOURCE: International Conference and Advanced School Planet Earth, Dynamics, Games and Science II (DGS II) in Dynamics, Games and Science, PAGES: 17-30
AUTHORS: Alarcon, B; Castro, SBSD ; Labouriau, IS ;
PUBLISHED: 2015, SOURCE: International Conference and Advanced School Planet Earth, Dynamics, Games and Science II (DGS II) in Dynamics, Games and Science, PAGES: 17-30
2071
TITLE: Dynamic Political Effects in a Neoclassic Growth Model with Healthcare and Creative Activities
AUTHORS: Guimaraes, L; Afonso, O ; Vasconcelos, PB ;
PUBLISHED: 2015, SOURCE: International Conference and Advanced School Planet Earth, Dynamics, Games and Science II (DGS II) in Dynamics, Games and Science, PAGES: 317-326
AUTHORS: Guimaraes, L; Afonso, O ; Vasconcelos, PB ;
PUBLISHED: 2015, SOURCE: International Conference and Advanced School Planet Earth, Dynamics, Games and Science II (DGS II) in Dynamics, Games and Science, PAGES: 317-326
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef2072
TITLE: Dynamic States of a Unidirectional Ring of Chen Oscillators Full Text
AUTHORS: Ana Carvalho; Carla M A Pinto ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Ana Carvalho; Carla M A Pinto ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
2073
TITLE: Dynamics of Coinfection of HIV/AIDS and Tuberculosis with Exogeneous Reinfection Full Text
AUTHORS: Ana Carvalho; Carla M A Pinto ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Ana Carvalho; Carla M A Pinto ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
2074
TITLE: Dynamics of the birational maps arising from F-0 and dP(3) quivers Full Text
AUTHORS: Ines Cruz ; Helena Mena Matos ; Esmeralda Sousa Dias, ME;
PUBLISHED: 2015, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 431, ISSUE: 2, PAGES: 903-918
AUTHORS: Ines Cruz ; Helena Mena Matos ; Esmeralda Sousa Dias, ME;
PUBLISHED: 2015, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 431, ISSUE: 2, PAGES: 903-918
2075
TITLE: Effect of drug-resistance in a fractional complex-order model for HIV infection
AUTHORS: Pinto, Carla M. A. ; Carvalho, Ana R. M.;
PUBLISHED: 2015, SOURCE: 8th Vienna International Conference on Mathematical Modelling in IFAC PAPERSONLINE, VOLUME: 48, ISSUE: 1, PAGES: 188-+
AUTHORS: Pinto, Carla M. A. ; Carvalho, Ana R. M.;
PUBLISHED: 2015, SOURCE: 8th Vienna International Conference on Mathematical Modelling in IFAC PAPERSONLINE, VOLUME: 48, ISSUE: 1, PAGES: 188-+
2076
TITLE: Effects of Dynamic Quarantine and Nonlinear Infection Rate in a Model for Computer Worms Propagation Full Text
AUTHORS: Carla M A Pinto ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Carla M A Pinto ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
2077
TITLE: EFFECTS OF TREATMENT, AWARENESS AND CONDOM USE IN A COINFECTION MODEL FOR HIV AND HCV IN MSM Full Text
AUTHORS: Pinto, CMA ; Carvalho, A;
PUBLISHED: 2015, SOURCE: JOURNAL OF BIOLOGICAL SYSTEMS, VOLUME: 23, ISSUE: 2, PAGES: 165-193
AUTHORS: Pinto, CMA ; Carvalho, A;
PUBLISHED: 2015, SOURCE: JOURNAL OF BIOLOGICAL SYSTEMS, VOLUME: 23, ISSUE: 2, PAGES: 165-193
2078
TITLE: ELECTRICITY DAY-AHEAD MARKETS: COMPUTATION OF NASH EQUILIBRIA
AUTHORS: Carvalho, M ; Pedroso, JP ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, VOLUME: 11, ISSUE: 3, PAGES: 985-998
AUTHORS: Carvalho, M ; Pedroso, JP ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, VOLUME: 11, ISSUE: 3, PAGES: 985-998
2079
TITLE: ENDOMORPHISM RINGS OF MODULES OVER PRIME RINGS
AUTHORS: Mohammad Baziar; Christian Lomp ;
PUBLISHED: 2015, SOURCE: TAIWANESE JOURNAL OF MATHEMATICS, VOLUME: 19, ISSUE: 3, PAGES: 953-962
AUTHORS: Mohammad Baziar; Christian Lomp ;
PUBLISHED: 2015, SOURCE: TAIWANESE JOURNAL OF MATHEMATICS, VOLUME: 19, ISSUE: 3, PAGES: 953-962
2080
TITLE: Equations over free inverse monoids with idempotent variables
AUTHORS: Diekert, V; Martin, F; Sénizergues, G; Silva, PV ;
PUBLISHED: 2015, SOURCE: 10th International Computer Science Symposium in Russia, CSR 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9139, PAGES: 173-188
AUTHORS: Diekert, V; Martin, F; Sénizergues, G; Silva, PV ;
PUBLISHED: 2015, SOURCE: 10th International Computer Science Symposium in Russia, CSR 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9139, PAGES: 173-188
