Faculty of Sciences (FCUP)
Faculdade de Ciências
AuthID: I-000-01X
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: 29006
556 Team MembersFilters -> Year: 2025
12941
TITLE: On Exponentiable Morphisms in Classical Algebra Full Text
AUTHORS: Maria Manuel Clementino ; Dirk Hofmann ; George Janelidze;
PUBLISHED: 2016, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 24, ISSUE: 5, PAGES: 733-742
AUTHORS: Maria Manuel Clementino ; Dirk Hofmann ; George Janelidze;
PUBLISHED: 2016, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 24, ISSUE: 5, PAGES: 733-742
12942
TITLE: On Interval Dynamic Logic
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 19th Brazilian Symposium on Formal Methods, SBMF 2016 in Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, VOLUME: 10090, PAGES: 129-144
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 19th Brazilian Symposium on Formal Methods, SBMF 2016 in Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, VOLUME: 10090, PAGES: 129-144
12943
TITLE: On small satellites for oceanography: A survey Full Text
AUTHORS: Guerra, André ; Frederico Francisco ; Villate, J; Agelet, FA; Bertolami, O ; Rajan, K;
PUBLISHED: 2016, SOURCE: ACTA ASTRONAUTICA, VOLUME: 127, PAGES: 404-423
AUTHORS: Guerra, André ; Frederico Francisco ; Villate, J; Agelet, FA; Bertolami, O ; Rajan, K;
PUBLISHED: 2016, SOURCE: ACTA ASTRONAUTICA, VOLUME: 127, PAGES: 404-423
12944
TITLE: On some properties of the Abel-Goncharov polynomials and the Casas-Alvero problem Full Text
AUTHORS: Yakubovich, S ;
PUBLISHED: 2016, SOURCE: INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, VOLUME: 27, ISSUE: 8, PAGES: 599-610
AUTHORS: Yakubovich, S ;
PUBLISHED: 2016, SOURCE: INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, VOLUME: 27, ISSUE: 8, PAGES: 599-610
12945
TITLE: On the contribution of sunspots to the observed frequency shifts of solar acoustic modes Full Text
AUTHORS: Santos, ARG ; Cunha, MS ; Avelino, PP ; Chaplin, WJ; Campante, Tiago ;
PUBLISHED: 2016, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 461, ISSUE: 1, PAGES: 224-229
AUTHORS: Santos, ARG ; Cunha, MS ; Avelino, PP ; Chaplin, WJ; Campante, Tiago ;
PUBLISHED: 2016, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 461, ISSUE: 1, PAGES: 224-229
12946
TITLE: On the Cost of Safe Storage for Public Clouds: an Experimental Evaluation Full Text
AUTHORS: Dorian Burihabwa; Rogerio Pontes ; Pascal Felber; Francisco Maia ; Hugues Mercier; Rui Oliveira ; Joao Paulo ; Valerio Schiavoni;
PUBLISHED: 2016, SOURCE: 35th IEEE International Symposium on Reliable Distributed Systems Workshops (SRDSW) in PROCEEDINGS OF 2016 IEEE 35TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 157-166
AUTHORS: Dorian Burihabwa; Rogerio Pontes ; Pascal Felber; Francisco Maia ; Hugues Mercier; Rui Oliveira ; Joao Paulo ; Valerio Schiavoni;
PUBLISHED: 2016, SOURCE: 35th IEEE International Symposium on Reliable Distributed Systems Workshops (SRDSW) in PROCEEDINGS OF 2016 IEEE 35TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 157-166
12947
TITLE: On the design of linear projections for compressive sensing with side information
AUTHORS: Chen, MY; Renna, F ; Rodrigues, MRD;
PUBLISHED: 2016, SOURCE: 2016 IEEE International Symposium on Information Theory, ISIT 2016 in IEEE International Symposium on Information Theory - Proceedings, VOLUME: 2016-August, PAGES: 670-674
AUTHORS: Chen, MY; Renna, F ; Rodrigues, MRD;
PUBLISHED: 2016, SOURCE: 2016 IEEE International Symposium on Information Theory, ISIT 2016 in IEEE International Symposium on Information Theory - Proceedings, VOLUME: 2016-August, PAGES: 670-674
12948
TITLE: On the dissimilarity operation on finite languages
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PAGES: 105-120
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PAGES: 105-120
INDEXED IN: 
DBLP
DBLP12949
TITLE: On the dual nature of lichen-induced rock surface weathering in contrasting micro-environments
AUTHORS: Joana Marques; Joao Goncalves; Claudia Oliveira; Sergio E Favero Longo; Graciela Paz Bermudez; Almeida, R. ; Beatriz Prieto;
PUBLISHED: 2016, SOURCE: ECOLOGY, VOLUME: 97, ISSUE: 10, PAGES: 2844-2857
AUTHORS: Joana Marques; Joao Goncalves; Claudia Oliveira; Sergio E Favero Longo; Graciela Paz Bermudez; Almeida, R. ; Beatriz Prieto;
PUBLISHED: 2016, SOURCE: ECOLOGY, VOLUME: 97, ISSUE: 10, PAGES: 2844-2857
12950
TITLE: On the effects of the basis set superposition error on the change of QTAIM charges in adduct formation. Application to complexes between morphine and cocaine and their main metabolites
AUTHORS: David A Rincon; Natalia N D S Cordeiro ; Ricardo A Mosquera;
PUBLISHED: 2016, SOURCE: RSC ADVANCES, VOLUME: 6, ISSUE: 112, PAGES: 110642-110655
AUTHORS: David A Rincon; Natalia N D S Cordeiro ; Ricardo A Mosquera;
PUBLISHED: 2016, SOURCE: RSC ADVANCES, VOLUME: 6, ISSUE: 112, PAGES: 110642-110655
12951
TITLE: On the Formalization of Some Results of Context-Free Language Theory
AUTHORS: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803, PAGES: 338-357
AUTHORS: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803, PAGES: 338-357
12952
TITLE: On the holography of free Yang-Mills
AUTHORS: Bae, JB; Joung, E; Lal, S ;
PUBLISHED: 2016, SOURCE: Journal of High Energy Physics, VOLUME: 2016, ISSUE: 10
AUTHORS: Bae, JB; Joung, E; Lal, S ;
PUBLISHED: 2016, SOURCE: Journal of High Energy Physics, VOLUME: 2016, ISSUE: 10
12953
TITLE: On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
AUTHORS: Joao Santos ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: 32nd International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, ISSUE: 5-6, PAGES: 899-915
AUTHORS: Joao Santos ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: 32nd International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, ISSUE: 5-6, PAGES: 899-915
12954
TITLE: On the irreducibility of pseudovarieties of semigroups Full Text
AUTHORS: Almedia, J ; Klima, O;
PUBLISHED: 2016, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 220, ISSUE: 4, PAGES: 1517-1524
AUTHORS: Almedia, J ; Klima, O;
PUBLISHED: 2016, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 220, ISSUE: 4, PAGES: 1517-1524
12955
TITLE: On the Mobile Intelligence of Autonomous Vehicles Full Text
AUTHORS: Jose Azevedo; Pedro M d'Ore ; Michel Ferreira ;
PUBLISHED: 2016, SOURCE: IEEE/IFIP Network Operations and Management Symposium (NOMS) in NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, PAGES: 1169-1174
AUTHORS: Jose Azevedo; Pedro M d'Ore ; Michel Ferreira ;
PUBLISHED: 2016, SOURCE: IEEE/IFIP Network Operations and Management Symposium (NOMS) in NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, PAGES: 1169-1174
12956
TITLE: On the properties of the interstellar medium in extremely metal-poor blue compact dwarf galaxies. A VIMOS-IFU study of the cometary galaxy and Ly alpha absorber Tol 65 Full Text
AUTHORS: Lagos, P ; Demarco, R; Papaderos, P ; Telles, E; Nigoche Netro, A; Humphrey, A ; Roche, N; Gomes, JM ;
PUBLISHED: 2016, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 456, ISSUE: 2, PAGES: 1549-1564
AUTHORS: Lagos, P ; Demarco, R; Papaderos, P ; Telles, E; Nigoche Netro, A; Humphrey, A ; Roche, N; Gomes, JM ;
PUBLISHED: 2016, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 456, ISSUE: 2, PAGES: 1549-1564
12957
TITLE: On the scope of oxidation of tertiary amines: Meisenheimer rearrangements versus Cope elimination in 2-(cyanoethyl)-2-azanorbornanes
AUTHORS: Carlos A D Sousa; Ivo E Sampaio Dias ; Xerardo Garcia Mera; Carlos F R A C Lima ; Jose E Rodriguez Borges ;
PUBLISHED: 2016, SOURCE: ORGANIC CHEMISTRY FRONTIERS, VOLUME: 3, ISSUE: 12, PAGES: 1624-1634
AUTHORS: Carlos A D Sousa; Ivo E Sampaio Dias ; Xerardo Garcia Mera; Carlos F R A C Lima ; Jose E Rodriguez Borges ;
PUBLISHED: 2016, SOURCE: ORGANIC CHEMISTRY FRONTIERS, VOLUME: 3, ISSUE: 12, PAGES: 1624-1634
12958
TITLE: ON THE SECOND ORDER DIFFERENTIAL EQUATION SATISFIED BY PERTURBED CHEBYSHEV POLYNOMIALS
AUTHORS: Zelia da Rocha ;
PUBLISHED: 2016, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS, VOLUME: 7, ISSUE: 1, PAGES: 53-69
AUTHORS: Zelia da Rocha ;
PUBLISHED: 2016, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS, VOLUME: 7, ISSUE: 1, PAGES: 53-69
INDEXED IN: 
WOS
WOS12959
TITLE: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: 18th IFIP WG 1.2 International Conference on Descriptional Complexity of Formal Systems, DCFS 2016 in Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings, VOLUME: 9777, PAGES: 45-59
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: 18th IFIP WG 1.2 International Conference on Descriptional Complexity of Formal Systems, DCFS 2016 in Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings, VOLUME: 9777, PAGES: 45-59
12960
TITLE: On topological lattices and their applications to module theory
AUTHORS: Jawad Abuhlail; Christian Lomp ;
PUBLISHED: 2016, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 15, ISSUE: 3, PAGES: 1650046
AUTHORS: Jawad Abuhlail; Christian Lomp ;
PUBLISHED: 2016, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 15, ISSUE: 3, PAGES: 1650046
