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
553 Team MembersFilters -> Year: 2025
18181
TITLE: Deciding KAT and Hoare Logic with Derivatives Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PAGES: 127-140
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PAGES: 127-140
18182
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PAGES: 98-113
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PAGES: 98-113
18183
TITLE: Decomplexation and complexation of alkali metal cations by a crown-ether-type podand in dichloromethane: a steered molecular dynamics study Full Text
AUTHORS: Mario Valente; Sérgio F. Sousa ; Magalhaes, AL ; cristina freire ;
PUBLISHED: 2012, SOURCE: THEORETICAL CHEMISTRY ACCOUNTS, VOLUME: 131, ISSUE: 3, PAGES: 1-7
AUTHORS: Mario Valente; Sérgio F. Sousa ; Magalhaes, AL ; cristina freire ;
PUBLISHED: 2012, SOURCE: THEORETICAL CHEMISTRY ACCOUNTS, VOLUME: 131, ISSUE: 3, PAGES: 1-7
18184
TITLE: Decomposition of Microcystis aeruginosa and Microcystin-LR by TiO2 Oxidation Using Artificial UV Light or Natural Sunlight
AUTHORS: Livia X Pinho; Joana Azevedo; Vitor M Vasconcelos ; Vitor J P Vilar ; Rui A R Boaventura ;
PUBLISHED: 2012, SOURCE: JOURNAL OF ADVANCED OXIDATION TECHNOLOGIES, VOLUME: 15, ISSUE: 1, PAGES: 98-106
AUTHORS: Livia X Pinho; Joana Azevedo; Vitor M Vasconcelos ; Vitor J P Vilar ; Rui A R Boaventura ;
PUBLISHED: 2012, SOURCE: JOURNAL OF ADVANCED OXIDATION TECHNOLOGIES, VOLUME: 15, ISSUE: 1, PAGES: 98-106
18185
TITLE: DEDISbench: A benchmark for deduplicated storage systems
AUTHORS: Paulo, J ; Reis, P; Pereira, J ; Sousa, A ;
PUBLISHED: 2012, SOURCE: Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7566 LNCS, ISSUE: PART 2, PAGES: 584-601
AUTHORS: Paulo, J ; Reis, P; Pereira, J ; Sousa, A ;
PUBLISHED: 2012, SOURCE: Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7566 LNCS, ISSUE: PART 2, PAGES: 584-601
18186
TITLE: Deep evolutionary lineages in a Western Mediterranean snake (Vipera latastei/monticola group) and high genetic structuring in Southern Iberian populations Full Text
AUTHORS: Velo Anton, G; Godinho, R ; Harris, DJ ; Santos, X ; Martinez Freiria, F ; Fahd, S; Larbes, S; Pleguezuelos, JM; Brito, JC ;
PUBLISHED: 2012, SOURCE: MOLECULAR PHYLOGENETICS AND EVOLUTION, VOLUME: 65, ISSUE: 3, PAGES: 965-973
AUTHORS: Velo Anton, G; Godinho, R ; Harris, DJ ; Santos, X ; Martinez Freiria, F ; Fahd, S; Larbes, S; Pleguezuelos, JM; Brito, JC ;
PUBLISHED: 2012, SOURCE: MOLECULAR PHYLOGENETICS AND EVOLUTION, VOLUME: 65, ISSUE: 3, PAGES: 965-973
18187
TITLE: Deeply virtual Compton scattering from gauge/gravity duality
AUTHORS: Miguel S Costa ; Marko Djuric ;
PUBLISHED: 2012, SOURCE: PHYSICAL REVIEW D, VOLUME: 86, ISSUE: 1
AUTHORS: Miguel S Costa ; Marko Djuric ;
PUBLISHED: 2012, SOURCE: PHYSICAL REVIEW D, VOLUME: 86, ISSUE: 1
18188
TITLE: Deeply virtual Compton scattering from Gauge/Gravity duality Full Text
AUTHORS: Costa, MS ; Djuric, M;
PUBLISHED: 2012, SOURCE: 6th International Conference on Quarks and Nuclear Physics, QNP 2012 in Proceedings of Science
AUTHORS: Costa, MS ; Djuric, M;
PUBLISHED: 2012, SOURCE: 6th International Conference on Quarks and Nuclear Physics, QNP 2012 in Proceedings of Science
INDEXED IN: 
Scopus
Scopus18189
TITLE: DEFORMATIONS OF MAXIMAL REPRESENTATIONS IN Sp(4, R) Full Text
AUTHORS: Steven B Bradlow; Oscar Garcia Prada; Peter B Gothen ;
PUBLISHED: 2012, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 63, ISSUE: 4, PAGES: 795-843
AUTHORS: Steven B Bradlow; Oscar Garcia Prada; Peter B Gothen ;
PUBLISHED: 2012, SOURCE: QUARTERLY JOURNAL OF MATHEMATICS, VOLUME: 63, ISSUE: 4, PAGES: 795-843
18190
TITLE: Degeneracy in the characterization of non-transiting planets from transit timing variations. Degeneracy in transit timing variation Full Text
AUTHORS: Boue, G; Oshagh, M; Montalto, M ; Santos, NC ;
PUBLISHED: 2012, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 422, ISSUE: 1
AUTHORS: Boue, G; Oshagh, M; Montalto, M ; Santos, NC ;
PUBLISHED: 2012, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 422, ISSUE: 1
18191
TITLE: Dehydration of a polyether type extraction agent and of the corresponding K+ complex: insights into liquid-liquid extraction mechanisms by quantum chemical methods Full Text
AUTHORS: Mario Valente; Sérgio F. Sousa ; Alexandre L Magalhaes ; cristina freire ;
PUBLISHED: 2012, SOURCE: JOURNAL OF MOLECULAR MODELING, VOLUME: 18, ISSUE: 11, PAGES: 4909-4915
AUTHORS: Mario Valente; Sérgio F. Sousa ; Alexandre L Magalhaes ; cristina freire ;
PUBLISHED: 2012, SOURCE: JOURNAL OF MOLECULAR MODELING, VOLUME: 18, ISSUE: 11, PAGES: 4909-4915
18192
TITLE: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 296-312
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 296-312
18193
TITLE: Delta Lenses over Inductive Types
AUTHORS: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLISHED: 2012, SOURCE: ECEASST, VOLUME: 49
AUTHORS: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLISHED: 2012, SOURCE: ECEASST, VOLUME: 49
INDEXED IN: Scopus 
DBLP
Scopus DBLP18194
TITLE: Demand-driven clustering in relational domains for predicting adverse drug events
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Berg, E; Page, D;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 2, PAGES: 1287-1294
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Berg, E; Page, D;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 2, PAGES: 1287-1294
INDEXED IN: Scopus DBLP
Scopus DBLP18195
TITLE: Denoising and Segmentation of the Second Heart Sound Using Matching Pursuit
AUTHORS: Hedayioglu, F; Jafari, MG; Mattos, SS; Plumbley, MD; Coimbra, MT ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3440-3443
AUTHORS: Hedayioglu, F; Jafari, MG; Mattos, SS; Plumbley, MD; Coimbra, MT ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3440-3443
18196
TITLE: Density and Viscosity Data for Binary Mixtures of 1-Alkyl-3-methylimidazolium Alkylsulfates plus Water Full Text
AUTHORS: Arijit Bhattacharjee ; Catarina Varanda; Mara G Freire ; Silvana Matted; Luis M N B F Santos ; Isabel M Marrucho ; Joao A P Coutinho ;
PUBLISHED: 2012, SOURCE: JOURNAL OF CHEMICAL AND ENGINEERING DATA, VOLUME: 57, ISSUE: 12, PAGES: 3473-3482
AUTHORS: Arijit Bhattacharjee ; Catarina Varanda; Mara G Freire ; Silvana Matted; Luis M N B F Santos ; Isabel M Marrucho ; Joao A P Coutinho ;
PUBLISHED: 2012, SOURCE: JOURNAL OF CHEMICAL AND ENGINEERING DATA, VOLUME: 57, ISSUE: 12, PAGES: 3473-3482
18197
TITLE: Density functional theory model study of size and structure effects on water dissociation by platinum nanoparticles Full Text
AUTHORS: Jose L C Fajin ; Albert Bruix; Maria Natalia D S Cordeiro ; Jose R B Gomes ; Francesc Illas;
PUBLISHED: 2012, SOURCE: JOURNAL OF CHEMICAL PHYSICS, VOLUME: 137, ISSUE: 3, PAGES: 034701
AUTHORS: Jose L C Fajin ; Albert Bruix; Maria Natalia D S Cordeiro ; Jose R B Gomes ; Francesc Illas;
PUBLISHED: 2012, SOURCE: JOURNAL OF CHEMICAL PHYSICS, VOLUME: 137, ISSUE: 3, PAGES: 034701
18198
TITLE: Density functional theory study of 1,2-dioxetanone decomposition in condensed phase Full Text
AUTHORS: Luís Pinto da Silva ; Joaquim C G E Esteves da Silva ;
PUBLISHED: 2012, SOURCE: JOURNAL OF COMPUTATIONAL CHEMISTRY, VOLUME: 33, ISSUE: 26, PAGES: 2118-2123
AUTHORS: Luís Pinto da Silva ; Joaquim C G E Esteves da Silva ;
PUBLISHED: 2012, SOURCE: JOURNAL OF COMPUTATIONAL CHEMISTRY, VOLUME: 33, ISSUE: 26, PAGES: 2118-2123
18199
TITLE: Depicting online interactions in learning communities
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 2012 IEEE Global Engineering Education Conference, EDUCON 2012 in Proceedings of the IEEE Global Engineering Education Conference, EDUCON 2012, Marrakech, Morocco, April 17-20, 2012, PAGES: 1-8
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 2012 IEEE Global Engineering Education Conference, EDUCON 2012 in Proceedings of the IEEE Global Engineering Education Conference, EDUCON 2012, Marrakech, Morocco, April 17-20, 2012, PAGES: 1-8
18200
TITLE: Descent morphisms and a van Kampen Theorem in categories of lax algebras Full Text
AUTHORS: Maria Manuel Clementino ; Dirk Hofmann ;
PUBLISHED: 2012, SOURCE: TOPOLOGY AND ITS APPLICATIONS, VOLUME: 159, ISSUE: 9, PAGES: 2310-2319
AUTHORS: Maria Manuel Clementino ; Dirk Hofmann ;
PUBLISHED: 2012, SOURCE: TOPOLOGY AND ITS APPLICATIONS, VOLUME: 159, ISSUE: 9, PAGES: 2310-2319
