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: 3656
143 Team MembersFilters -> Year: 2025
1921
TITLE: A Routing/Assignment Problem in Garden Maintenance Services Full Text
AUTHORS: Orestes Cerdeira, JO ; Manuel Cruz; Ana Moura ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH, PAGES: 145-155
AUTHORS: Orestes Cerdeira, JO ; Manuel Cruz; Ana Moura ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH, PAGES: 145-155
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef1923
TITLE: A systematic review on heterogeneous routing protocols for wireless sensor network Full Text
AUTHORS: Sudeep Tanwar; Neeraj Kumar; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, VOLUME: 53, PAGES: 39-56
AUTHORS: Sudeep Tanwar; Neeraj Kumar; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, VOLUME: 53, PAGES: 39-56
1924
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
1925
TITLE: A variational principle for impulsive semiflows Full Text
AUTHORS: Jose F Alves ; Maria Carvalho ; Carlos H Vasquez;
PUBLISHED: 2015, SOURCE: JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 259, ISSUE: 8, PAGES: 4229-4252
AUTHORS: Jose F Alves ; Maria Carvalho ; Carlos H Vasquez;
PUBLISHED: 2015, SOURCE: JOURNAL OF DIFFERENTIAL EQUATIONS, VOLUME: 259, ISSUE: 8, PAGES: 4229-4252
1926
TITLE: An Agent-Based MicMac Model for Forecasting of the Portuguese Population
AUTHORS: Renato Fernandes ; Pedro Campos ; Rita Gaio ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 702-707
AUTHORS: Renato Fernandes ; Pedro Campos ; Rita Gaio ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 702-707
1927
TITLE: An algorithm for packing tubes and boxes PDF
AUTHORS: Pedroso, JP ; Tavares, JN ; Leite, J;
PUBLISHED: 2015, SOURCE: 45th International Conference on Computers and Industrial Engineering, CIE 2015 in Proceedings - CIE 45: 2015 International Conference on Computers and Industrial Engineering, VOLUME: abs/1609.07676
AUTHORS: Pedroso, JP ; Tavares, JN ; Leite, J;
PUBLISHED: 2015, SOURCE: 45th International Conference on Computers and Industrial Engineering, CIE 2015 in Proceedings - CIE 45: 2015 International Conference on Computers and Industrial Engineering, VOLUME: abs/1609.07676
INDEXED IN: 
Scopus 
DBLP 
arXiv
Scopus DBLP arXiv1928
TITLE: AN AUGMENTED-RBF METHOD FOR SOLVING FRACTIONAL STURM-LIOUVILLE EIGENVALUE PROBLEMS Full Text
AUTHORS: Pedro R S Antunes; Rui A C Ferreira ;
PUBLISHED: 2015, SOURCE: SIAM JOURNAL ON SCIENTIFIC COMPUTING, VOLUME: 37, ISSUE: 1
AUTHORS: Pedro R S Antunes; Rui A C Ferreira ;
PUBLISHED: 2015, SOURCE: SIAM JOURNAL ON SCIENTIFIC COMPUTING, VOLUME: 37, ISSUE: 1
1929
TITLE: An intelligent approach for building a secure decentralized public key infrastructure in VANET Full Text
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 6, PAGES: 1042-1058
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 6, PAGES: 1042-1058
1930
TITLE: An Intelligent Context-aware Congestion Resolution Protocol for Data Dissemination in Vehicular Ad Hoc Networks Full Text
AUTHORS: Amit Dua; Neeraj Kumar; Seema Bawa; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 20, ISSUE: 2, PAGES: 181-200
AUTHORS: Amit Dua; Neeraj Kumar; Seema Bawa; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 20, ISSUE: 2, PAGES: 181-200
1931
TITLE: Annealed and quenched limit theorems for random expanding dynamical systems Full Text
AUTHORS: Aimino, R ; Nicol, M; Vaienti, S;
PUBLISHED: 2015, SOURCE: Probability Theory and Related Fields, VOLUME: 162, ISSUE: 1-2, PAGES: 233-274
AUTHORS: Aimino, R ; Nicol, M; Vaienti, S;
PUBLISHED: 2015, SOURCE: Probability Theory and Related Fields, VOLUME: 162, ISSUE: 1-2, PAGES: 233-274
1932
TITLE: Anomalous diffusion of inertial particles in random parallel flows: theory and numerics face to face Full Text
AUTHORS: Boi, S; Martins Afonso, Marco ; Mazzino, A;
PUBLISHED: 2015, SOURCE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: 2015, ISSUE: 10
AUTHORS: Boi, S; Martins Afonso, Marco ; Mazzino, A;
PUBLISHED: 2015, SOURCE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: 2015, ISSUE: 10
1933
TITLE: Área de um círculo
AUTHORS: João Nuno Tavares ; Ângela Geraldo;
PUBLISHED: 2015, SOURCE: Revista de Ciência Elementar, VOLUME: 3, ISSUE: 1
AUTHORS: João Nuno Tavares ; Ângela Geraldo;
PUBLISHED: 2015, SOURCE: Revista de Ciência Elementar, VOLUME: 3, ISSUE: 1
INDEXED IN: CrossRef
CrossRef1934
TITLE: Associations between a posteriori defined dietary patterns and bone mineral density in adolescents Full Text
AUTHORS: Teresa Monjardino; Raquel Lucas ; Elisabete Ramos ; Carla Lopes ; Rita Gaio ; Henrique Barros ;
PUBLISHED: 2015, SOURCE: EUROPEAN JOURNAL OF NUTRITION, VOLUME: 54, ISSUE: 2, PAGES: 273-282
AUTHORS: Teresa Monjardino; Raquel Lucas ; Elisabete Ramos ; Carla Lopes ; Rita Gaio ; Henrique Barros ;
PUBLISHED: 2015, SOURCE: EUROPEAN JOURNAL OF NUTRITION, VOLUME: 54, ISSUE: 2, PAGES: 273-282
1935
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bulletin of the EATCS, VOLUME: 116
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bulletin of the EATCS, VOLUME: 116
INDEXED IN: DBLP
DBLP1936
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
1937
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
1938
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
1939
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
1940
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
