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: 28006
554 Team MembersFilters -> Year: 2025
20681
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407, PAGES: 146-155
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407, PAGES: 146-155
INDEXED IN: 
DBLP
DBLP20682
TITLE: Defining programming problems as learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: World Academy of Science, Engineering and Technology, VOLUME: 58, PAGES: 188-195
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: World Academy of Science, Engineering and Technology, VOLUME: 58, PAGES: 188-195
INDEXED IN: 
Scopus 
Handle
Scopus Handle20683
TITLE: Demographic history of Canary Islands male gene-pool: replacement of native lineages by European Full Text
AUTHORS: Rosa Fregel; Veronica Gomes ; Leonor Gusmao ; Ana M Gonzalez; Vicente M Cabrera; Amorim, Antonio ; Jose M Larruga;
PUBLISHED: 2009, SOURCE: BMC EVOLUTIONARY BIOLOGY, VOLUME: 9, ISSUE: 1, PAGES: 181
AUTHORS: Rosa Fregel; Veronica Gomes ; Leonor Gusmao ; Ana M Gonzalez; Vicente M Cabrera; Amorim, Antonio ; Jose M Larruga;
PUBLISHED: 2009, SOURCE: BMC EVOLUTIONARY BIOLOGY, VOLUME: 9, ISSUE: 1, PAGES: 181
20684
TITLE: Depth as Randomness Deficiency Full Text
AUTHORS: Luis Antunes ; Armando Matos ; Andre Souto ; Paul Vitanyi;
PUBLISHED: 2009, SOURCE: 3rd Computability in Europe Conference 2007 in THEORY OF COMPUTING SYSTEMS, VOLUME: 45, ISSUE: 4, PAGES: 724-739
AUTHORS: Luis Antunes ; Armando Matos ; Andre Souto ; Paul Vitanyi;
PUBLISHED: 2009, SOURCE: 3rd Computability in Europe Conference 2007 in THEORY OF COMPUTING SYSTEMS, VOLUME: 45, ISSUE: 4, PAGES: 724-739
20685
TITLE: Design and Fabrication of Slotted Multimode Interference Devices for Chemical and Biological Sensing Full Text
AUTHORS: Mona Mayeh; Jaime Viegas; Pradeep Srinivasan; Paulo Marques ; José Luís Santos ; Eric G Johnson; Faramarz Farahi;
PUBLISHED: 2009, SOURCE: J. Sensors, VOLUME: 2009, PAGES: 470175:1-470175:11
AUTHORS: Mona Mayeh; Jaime Viegas; Pradeep Srinivasan; Paulo Marques ; José Luís Santos ; Eric G Johnson; Faramarz Farahi;
PUBLISHED: 2009, SOURCE: J. Sensors, VOLUME: 2009, PAGES: 470175:1-470175:11
20686
TITLE: Designing a user interface for repositories of learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, VOLUME: 2, PAGES: 137-140
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, VOLUME: 2, PAGES: 137-140
INDEXED IN: Scopus Handle
Scopus Handle20687
TITLE: Designing heterogeneous oxovanadium and copper acetylacetonate catalysts: Effect of covalent immobilisation in epoxidation and aziridination reactions Full Text
AUTHORS: Clara Pereira ; Krzysztof Biernacki ; Susana L H Rebelo ; Alexandre L Magalhaes ; Ana Paula Carvalho ; Joao Pires ; cristina freire ;
PUBLISHED: 2009, SOURCE: JOURNAL OF MOLECULAR CATALYSIS A-CHEMICAL, VOLUME: 312, ISSUE: 1-2, PAGES: 53-64
AUTHORS: Clara Pereira ; Krzysztof Biernacki ; Susana L H Rebelo ; Alexandre L Magalhaes ; Ana Paula Carvalho ; Joao Pires ; cristina freire ;
PUBLISHED: 2009, SOURCE: JOURNAL OF MOLECULAR CATALYSIS A-CHEMICAL, VOLUME: 312, ISSUE: 1-2, PAGES: 53-64
20688
TITLE: Detecting Errors in Foreign Trade Transactions: Dealing with Insufficient Data
AUTHORS: Luis Torgo ; Welma Pereira; Carlos Soares ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 435-446
AUTHORS: Luis Torgo ; Welma Pereira; Carlos Soares ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 435-446
20689
TITLE: Detection of microcystin contamination by the measurement of the variability of the in vivo chlorophyll fluorescence in aquatic plant Lemna gibba Full Text
AUTHORS: Saqrane, S; El Ghazali, I; Oudra, B; Bouarab, L; Dekayir, S; Mandi, L; Ouazzani, N; Vasconcelos, VM ;
PUBLISHED: 2009, SOURCE: TOXICON, VOLUME: 53, ISSUE: 1, PAGES: 9-14
AUTHORS: Saqrane, S; El Ghazali, I; Oudra, B; Bouarab, L; Dekayir, S; Mandi, L; Ouazzani, N; Vasconcelos, VM ;
PUBLISHED: 2009, SOURCE: TOXICON, VOLUME: 53, ISSUE: 1, PAGES: 9-14
20690
TITLE: Determination of eighty-one volatile organic compounds in dietary Rumex induratus leaves by GC/IT-MS, using different extractive techniques Full Text
AUTHORS: Marcos Taveira ; Paula Guedes de Pinho ; Rui F Goncalves; Paula B Andrade ; Patricia Valentao ;
PUBLISHED: 2009, SOURCE: MICROCHEMICAL JOURNAL, VOLUME: 93, ISSUE: 1, PAGES: 67-72
AUTHORS: Marcos Taveira ; Paula Guedes de Pinho ; Rui F Goncalves; Paula B Andrade ; Patricia Valentao ;
PUBLISHED: 2009, SOURCE: MICROCHEMICAL JOURNAL, VOLUME: 93, ISSUE: 1, PAGES: 67-72
20691
TITLE: Determination of nitrogen functionalities by X-ray photoelectron spectroscopy (XPS) in FBC chars Full Text
AUTHORS: Valentim, B ; Guedes, A ;
PUBLISHED: 2009, SOURCE: 19th Annual VM Goldschmidt Conference in GEOCHIMICA ET COSMOCHIMICA ACTA, VOLUME: 73, ISSUE: 13
AUTHORS: Valentim, B ; Guedes, A ;
PUBLISHED: 2009, SOURCE: 19th Annual VM Goldschmidt Conference in GEOCHIMICA ET COSMOCHIMICA ACTA, VOLUME: 73, ISSUE: 13
INDEXED IN: 
WOS
WOS20692
TITLE: Determination of the pKa value of the hydroxyl group in the alpha-hydroxycarboxylates citrate, malate and lactate by 13C NMR: implications for metal coordination in biological systems Full Text
AUTHORS: Silva, AMN ; Kong, XL; Hider, RC;
PUBLISHED: 2009, SOURCE: BIOMETALS, VOLUME: 22, ISSUE: 5, PAGES: 771-778
AUTHORS: Silva, AMN ; Kong, XL; Hider, RC;
PUBLISHED: 2009, SOURCE: BIOMETALS, VOLUME: 22, ISSUE: 5, PAGES: 771-778
20693
TITLE: Deterministic Motif Mining in Protein Databases
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2009, SOURCE: Database Technologies: Concepts, Methodologies, Tools, and Applications (4 Volumes), PAGES: 2632-2656
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2009, SOURCE: Database Technologies: Concepts, Methodologies, Tools, and Applications (4 Volumes), PAGES: 2632-2656
INDEXED IN: DBLP
DBLP20694
TITLE: Deterministic pattern mining on genetic sequences
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2009, SOURCE: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques, PAGES: 277-301
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2009, SOURCE: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques, PAGES: 277-301
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef20695
TITLE: Development and characterization of highly polymorphic microsatellite loci for the Western Spadefoot toad, Pelobates cultripes Full Text
AUTHORS: Mirjam S van de Vliet; Onno E Diekmann ; Ester T A Serrao ; Pedro Beja ;
PUBLISHED: 2009, SOURCE: CONSERVATION GENETICS, VOLUME: 10, ISSUE: 4, PAGES: 993-996
AUTHORS: Mirjam S van de Vliet; Onno E Diekmann ; Ester T A Serrao ; Pedro Beja ;
PUBLISHED: 2009, SOURCE: CONSERVATION GENETICS, VOLUME: 10, ISSUE: 4, PAGES: 993-996
20696
TITLE: Development of an asymmetric PCR-ELISA typing method for citrus tristeza virus based on the coat protein gene Full Text
AUTHORS: Nolasco, G ; Conceição Santos ; Silva, G; Fonseca, F ;
PUBLISHED: 2009, SOURCE: JOURNAL OF VIROLOGICAL METHODS, VOLUME: 155, ISSUE: 2, PAGES: 97-108
AUTHORS: Nolasco, G ; Conceição Santos ; Silva, G; Fonseca, F ;
PUBLISHED: 2009, SOURCE: JOURNAL OF VIROLOGICAL METHODS, VOLUME: 155, ISSUE: 2, PAGES: 97-108
20697
TITLE: Development of new nuclear markers and characterization of single nucleotide polymorphisms in kelp gull (Larus dominicanus) Full Text
AUTHORS: Gisele Pires D de Mendonca Dantas; Raquel Godinho ; Joao Stenghel Morgante; Nuno Ferrand ;
PUBLISHED: 2009, SOURCE: MOLECULAR ECOLOGY RESOURCES, VOLUME: 9, ISSUE: 4, PAGES: 1159-1161
AUTHORS: Gisele Pires D de Mendonca Dantas; Raquel Godinho ; Joao Stenghel Morgante; Nuno Ferrand ;
PUBLISHED: 2009, SOURCE: MOLECULAR ECOLOGY RESOURCES, VOLUME: 9, ISSUE: 4, PAGES: 1159-1161
20698
TITLE: Development of Novel Mesoporous Carbon Materials for the Catalytic Ozonation of Organic Pollutants Full Text
AUTHORS: Orge, CA ; Sousa, JPS; Goncalves, F; cristina freire ; Orfao, JJM ; Pereira, MFR ;
PUBLISHED: 2009, SOURCE: CATALYSIS LETTERS, VOLUME: 132, ISSUE: 1-2, PAGES: 1-9
AUTHORS: Orge, CA ; Sousa, JPS; Goncalves, F; cristina freire ; Orfao, JJM ; Pereira, MFR ;
PUBLISHED: 2009, SOURCE: CATALYSIS LETTERS, VOLUME: 132, ISSUE: 1-2, PAGES: 1-9
20699
TITLE: Development of novel multiferroic composites based on BaTiO3 and hexagonal ferrites
AUTHORS: Karpinsky, DV; Selezneva, EK; Bdikin, K; Figueiras, F ; Kamentsev, KE; Fetisov, YK; Pullar, RC; Krebbs, J; Alford, NM; Kholkin, AL;
PUBLISHED: 2009, SOURCE: Material Systems and Processes for Three-Dimensional Micro- and Nanoscale Fabrication and Lithography in Materials Research Society Symposium Proceedings, VOLUME: 1179, PAGES: 13-18
AUTHORS: Karpinsky, DV; Selezneva, EK; Bdikin, K; Figueiras, F ; Kamentsev, KE; Fetisov, YK; Pullar, RC; Krebbs, J; Alford, NM; Kholkin, AL;
PUBLISHED: 2009, SOURCE: Material Systems and Processes for Three-Dimensional Micro- and Nanoscale Fabrication and Lithography in Materials Research Society Symposium Proceedings, VOLUME: 1179, PAGES: 13-18
INDEXED IN: Scopus
Scopus20700
TITLE: Development of novel multiferroic composites based on BaTiO3 and hexagonal ferrites
AUTHORS: Karpinsky, DV ; Selezneva, EK; Bdikin, IK ; Figueiras, F ; Kamentsev, KE; Fetisov, YK; Pullar, RC ; Kretbs, J; Alford, NM; Kholkin, AL ;
PUBLISHED: 2009, SOURCE: Engineered Multiferroics-Magnetoelectric Interactions, Sensors, and Devices in Materials Research Society Symposium Proceedings, VOLUME: 1161, PAGES: 7-12
AUTHORS: Karpinsky, DV ; Selezneva, EK; Bdikin, IK ; Figueiras, F ; Kamentsev, KE; Fetisov, YK; Pullar, RC ; Kretbs, J; Alford, NM; Kholkin, AL ;
PUBLISHED: 2009, SOURCE: Engineered Multiferroics-Magnetoelectric Interactions, Sensors, and Devices in Materials Research Society Symposium Proceedings, VOLUME: 1161, PAGES: 7-12
