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
1981
TITLE: Bayesian Coalition Game for Contention-Aware Reliable Data Forwarding in Vehicular Mobile Cloud Full Text
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 48, PAGES: 60-72
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 48, PAGES: 60-72
1982
TITLE: Bayesian Coalition Game-Based Optimized Clustering in Wireless Sensor Networks
AUTHORS: Sudhanshu Tyagi; Sudeep Tanwar; Gupta, SK; Neeraj Kumar; Sudip Misra; Rodrigues, JPC ; Sana Ullah;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 3540-3545
AUTHORS: Sudhanshu Tyagi; Sudeep Tanwar; Gupta, SK; Neeraj Kumar; Sudip Misra; Rodrigues, JPC ; Sana Ullah;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 3540-3545
1983
TITLE: Bifurcation under parameter change of Riemann solutions for nonstrictly hyperbolic systems Full Text
AUTHORS: Matos, V ; Azevedo, AV; Da Mota, JC; Marchesin, D;
PUBLISHED: 2015, SOURCE: ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, VOLUME: 66, ISSUE: 4, PAGES: 1413-1452
AUTHORS: Matos, V ; Azevedo, AV; Da Mota, JC; Marchesin, D;
PUBLISHED: 2015, SOURCE: ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, VOLUME: 66, ISSUE: 4, PAGES: 1413-1452
1984
TITLE: Certain identities, connection and explicit formulas for the Bernoulli and Euler numbers and the Riemann zeta-values Full Text
AUTHORS: Yakubovich, S ;
PUBLISHED: 2015, SOURCE: Analysis, VOLUME: 35, ISSUE: 1, PAGES: 59-71
AUTHORS: Yakubovich, S ;
PUBLISHED: 2015, SOURCE: Analysis, VOLUME: 35, ISSUE: 1, PAGES: 59-71
1985
TITLE: Certifying execution time in multicores Full Text
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3, PAGES: 505-534
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3, PAGES: 505-534
1986
TITLE: Chebyshev polynomials via quadratic and cubic decompositions of the canonical sequence Full Text
AUTHORS: Augusta A Mesquita ; Macedo, A;
PUBLISHED: 2015, SOURCE: INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, VOLUME: 26, ISSUE: 12, PAGES: 956-970
AUTHORS: Augusta A Mesquita ; Macedo, A;
PUBLISHED: 2015, SOURCE: INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, VOLUME: 26, ISSUE: 12, PAGES: 956-970
1987
TITLE: Clinical and Physiological Events That Contribute to the Success Rate of Finding "Optimal" Cerebral Perfusion Pressure in Severe Brain Trauma Patients
AUTHORS: Weersink, CSA; Aries, MJH; Dias, C ; Liu, MX; Kolias, AG; Donnelly, J; Czosnyka, M; van Dijk, JMC; Regtien, J; Menon, DK; Hutchinson, PJ; Smielewski, P;
PUBLISHED: 2015, SOURCE: CRITICAL CARE MEDICINE, VOLUME: 43, ISSUE: 9, PAGES: 1952-1963
AUTHORS: Weersink, CSA; Aries, MJH; Dias, C ; Liu, MX; Kolias, AG; Donnelly, J; Czosnyka, M; van Dijk, JMC; Regtien, J; Menon, DK; Hutchinson, PJ; Smielewski, P;
PUBLISHED: 2015, SOURCE: CRITICAL CARE MEDICINE, VOLUME: 43, ISSUE: 9, PAGES: 1952-1963
1988
TITLE: Closed Shortest Path in the Original Coordinates with an Application to Breast Cancer Full Text
AUTHORS: Jaime S Cardoso ; Inês Domingues ; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, VOLUME: 29, ISSUE: 1, PAGES: 1555002
AUTHORS: Jaime S Cardoso ; Inês Domingues ; Helder P Oliveira ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, VOLUME: 29, ISSUE: 1, PAGES: 1555002
1989
TITLE: Coalition Games for Spatio-Temporal Big Data in Internet of Vehicles Environment: A Comparative Analysis
AUTHORS: Neeraj Kumar; Sudip Misra; Joel J P C Rodrigues ; Mohammad S Obaidat;
PUBLISHED: 2015, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 2, ISSUE: 4, PAGES: 310-320
AUTHORS: Neeraj Kumar; Sudip Misra; Joel J P C Rodrigues ; Mohammad S Obaidat;
PUBLISHED: 2015, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 2, ISSUE: 4, PAGES: 310-320
1990
TITLE: Compartmentalized microfluidic platforms as tool of choice to study the interaction between neurons and osteoblasts
AUTHORS: Neto, E; Paramos de Carvalho, D; Lourenco, AH; Aguiar, P ; Lamghari, M;
PUBLISHED: 2015, SOURCE: Neuromethods, VOLUME: 103, PAGES: 161-179
AUTHORS: Neto, E; Paramos de Carvalho, D; Lourenco, AH; Aguiar, P ; Lamghari, M;
PUBLISHED: 2015, SOURCE: Neuromethods, VOLUME: 103, PAGES: 161-179
1991
TITLE: Conservative flows with various types of shadowing Full Text
AUTHORS: Mario Bessa ; Raquel Ribeiro;
PUBLISHED: 2015, SOURCE: CHAOS SOLITONS & FRACTALS, VOLUME: 75, PAGES: 243-252
AUTHORS: Mario Bessa ; Raquel Ribeiro;
PUBLISHED: 2015, SOURCE: CHAOS SOLITONS & FRACTALS, VOLUME: 75, PAGES: 243-252
1992
TITLE: CONTRIBUTION TO THE ERGODIC THEORY OF ROBUSTLY TRANSITIVE MAPS
AUTHORS: Cristin Lizana; Vilton Pinheiro; Paulo Varandas ;
PUBLISHED: 2015, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 35, ISSUE: 1, PAGES: 353-365
AUTHORS: Cristin Lizana; Vilton Pinheiro; Paulo Varandas ;
PUBLISHED: 2015, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 35, ISSUE: 1, PAGES: 353-365
1993
TITLE: Cooperation Strategies for Vehicular Delay-Tolerant Networks Full Text
AUTHORS: Joao A F F Dias; Joel J P C Rodrigues ; Neeraj Kumar; Kashif Saleem;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 53, ISSUE: 12, PAGES: 88-94
AUTHORS: Joao A F F Dias; Joel J P C Rodrigues ; Neeraj Kumar; Kashif Saleem;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 53, ISSUE: 12, PAGES: 88-94
INDEXED IN: 
WOS
WOS1994
TITLE: Cooperation strategies for vehicular delay-tolerant networks Full Text
AUTHORS: Dias, JAFF; Rodrigues, JJPC ; Kumar, N; Saleem, K;
PUBLISHED: 2015, SOURCE: IEEE Communications Magazine, VOLUME: 53, ISSUE: 12, PAGES: 88-94
AUTHORS: Dias, JAFF; Rodrigues, JJPC ; Kumar, N; Saleem, K;
PUBLISHED: 2015, SOURCE: IEEE Communications Magazine, VOLUME: 53, ISSUE: 12, PAGES: 88-94
1995
TITLE: Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression PDF
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1502.02899
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1502.02899
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1996
TITLE: DAMAGE ASSESSMENT IN COMPOSITE LAMINATES - A FRACTAL APPROACH
AUTHORS: Silva, JMP; Matos, J; Abreu, S ; João Manuel R. S. Tavares ; Durao, LMP;
PUBLISHED: 2015, SOURCE: 6th International Conference on Mechanics and Materials in Design (M2D) in M2D2015: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN, PAGES: 1837-1838
AUTHORS: Silva, JMP; Matos, J; Abreu, S ; João Manuel R. S. Tavares ; Durao, LMP;
PUBLISHED: 2015, SOURCE: 6th International Conference on Mechanics and Materials in Design (M2D) in M2D2015: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN, PAGES: 1837-1838
INDEXED IN: WOS 
Handle
WOS Handle1997
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
1998
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
1999
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
2000
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
