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: 28991
556 Team MembersFilters -> Year: 2025
21521
TITLE: An integrated formal methods tool-chain and its application to verifying a file system model
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS, PAGES: 153-169
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS, PAGES: 153-169
21522
TITLE: An investigation of chromospheric activity spanning the Vaughan-Preston gap: impact on stellar ages
AUTHORS: Pace, G ; Melendez, J; Pasquini, L; Carraro, G; Danziger, J; Francois, P; Matteucci, F; Santos, NC ;
PUBLISHED: 2009, SOURCE: ASTRONOMY & ASTROPHYSICS, VOLUME: 499, ISSUE: 1
AUTHORS: Pace, G ; Melendez, J; Pasquini, L; Carraro, G; Danziger, J; Francois, P; Matteucci, F; Santos, NC ;
PUBLISHED: 2009, SOURCE: ASTRONOMY & ASTROPHYSICS, VOLUME: 499, ISSUE: 1
21523
TITLE: An investigation of the luminosity-metallicity relation for a large sample of low-metallicity emission-line galaxies
AUTHORS: Guseva, NG; Papaderos, P ; Meyer, HT; Izotov, YI; Fricke, KJ;
PUBLISHED: 2009, SOURCE: ASTRONOMY & ASTROPHYSICS, VOLUME: 505, ISSUE: 1, PAGES: 63-U98
AUTHORS: Guseva, NG; Papaderos, P ; Meyer, HT; Izotov, YI; Fricke, KJ;
PUBLISHED: 2009, SOURCE: ASTRONOMY & ASTROPHYSICS, VOLUME: 505, ISSUE: 1, PAGES: 63-U98
21524
TITLE: AN OBSERVATIONAL DETERMINATION OF THE PROTON TO ELECTRON MASS RATIO IN THE EARLY UNIVERSE
AUTHORS: Rodger I Thompson; Jill Bechtold; John H Black; Daniel Eisenstein; Xiaohui H Fan; Robert C Kennicutt; Carlos Martins ; Xavier X Prochaska; Yancey L Shirley;
PUBLISHED: 2009, SOURCE: ASTROPHYSICAL JOURNAL, VOLUME: 703, ISSUE: 2, PAGES: 1648-1662
AUTHORS: Rodger I Thompson; Jill Bechtold; John H Black; Daniel Eisenstein; Xiaohui H Fan; Robert C Kennicutt; Carlos Martins ; Xavier X Prochaska; Yancey L Shirley;
PUBLISHED: 2009, SOURCE: ASTROPHYSICAL JOURNAL, VOLUME: 703, ISSUE: 2, PAGES: 1648-1662
21525
TITLE: Analysis and Forecast of Team Formation in the Simulated Robotic Soccer Domain
AUTHORS: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 239-250
AUTHORS: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 239-250
21526
TITLE: Analysis and forecast of team formations in the simulated robotic soccer domain using Weka classification methodologies [Análise e previsão das formações das equipas no domínio do futebol robótico simulado utilizando metodologias de classificação no weka]
AUTHORS: Almeida, R; Reis, LP ; Jorge, AM ;
PUBLISHED: 2009, SOURCE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PAGES: 627-632
AUTHORS: Almeida, R; Reis, LP ; Jorge, AM ;
PUBLISHED: 2009, SOURCE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PAGES: 627-632
INDEXED IN: 
Scopus
Scopus21527
TITLE: ANALYSIS AND PREDICTION OF TRAINING TEAMS IN THE FIELD OF ROBOTIC SOCCER SIMULATION METHODOLOGIES FOR CLASSIFICATION IN WEKA
AUTHORS: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 627-632
AUTHORS: Rui Almeida; Luis Paulo Reis ; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 627-632
INDEXED IN: 
WOS
WOS21528
TITLE: Analysis of Probabilistic Flooding: How do we Choose the Right Coin?
AUTHORS: Sergio Crisostomo ; Udo Schilcher; Christian Bettstetter; Joao Barros ;
PUBLISHED: 2009, SOURCE: IEEE International Conference on Communications (ICC 2009) in 2009 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-8, PAGES: 2080-2085
AUTHORS: Sergio Crisostomo ; Udo Schilcher; Christian Bettstetter; Joao Barros ;
PUBLISHED: 2009, SOURCE: IEEE International Conference on Communications (ICC 2009) in 2009 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-8, PAGES: 2080-2085
21529
TITLE: Analysis of TPI Gene Promoter Variation in Three Sub-Saharan Africa Population Samples
AUTHORS: Manco, L ; Machado, P; Lopes, D ; Nogueira, F ; Do Rosario, VE; Alonso, PL; Varandas, L ; Trovoada, MD; Amorim, Antonio ; Arez, AP ;
PUBLISHED: 2009, SOURCE: AMERICAN JOURNAL OF HUMAN BIOLOGY, VOLUME: 21, ISSUE: 1, PAGES: 118-120
AUTHORS: Manco, L ; Machado, P; Lopes, D ; Nogueira, F ; Do Rosario, VE; Alonso, PL; Varandas, L ; Trovoada, MD; Amorim, Antonio ; Arez, AP ;
PUBLISHED: 2009, SOURCE: AMERICAN JOURNAL OF HUMAN BIOLOGY, VOLUME: 21, ISSUE: 1, PAGES: 118-120
21530
TITLE: Ancestral Origin of the ATTCT Repeat Expansion in Spinocerebellar Ataxia Type 10 (SCA10) Full Text
AUTHORS: Teresa Almeida; Isabel Alonso ; Sandra Martins ; Eliana Marisa Ramos; Luisa Azevedo ; Kinji Ohno; Amorim, Antonio ; Maria Luiza Saraiva Pereira; Laura Bannach Jardim; Tohru Matsuura; Jorge Sequeiros ; Isabel Silveira ;
PUBLISHED: 2009, SOURCE: PLOS ONE, VOLUME: 4, ISSUE: 2
AUTHORS: Teresa Almeida; Isabel Alonso ; Sandra Martins ; Eliana Marisa Ramos; Luisa Azevedo ; Kinji Ohno; Amorim, Antonio ; Maria Luiza Saraiva Pereira; Laura Bannach Jardim; Tohru Matsuura; Jorge Sequeiros ; Isabel Silveira ;
PUBLISHED: 2009, SOURCE: PLOS ONE, VOLUME: 4, ISSUE: 2
21531
TITLE: Anti-tumoral activity of imidazoquines, a new class of antimalarials derived from primaquine Full Text
AUTHORS: Iva Fernandes ; Nuno Filipe de Sousa Vale ; Victor de Freitas ; Rui Moreira ; Nuno Mateus ; Paula Gomes ;
PUBLISHED: 2009, SOURCE: BIOORGANIC & MEDICINAL CHEMISTRY LETTERS, VOLUME: 19, ISSUE: 24, PAGES: 6914-6917
AUTHORS: Iva Fernandes ; Nuno Filipe de Sousa Vale ; Victor de Freitas ; Rui Moreira ; Nuno Mateus ; Paula Gomes ;
PUBLISHED: 2009, SOURCE: BIOORGANIC & MEDICINAL CHEMISTRY LETTERS, VOLUME: 19, ISSUE: 24, PAGES: 6914-6917
21532
TITLE: ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: 13th International Conference on Implementation and Application of Automata in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 20, ISSUE: 4, PAGES: 669-684
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: 13th International Conference on Implementation and Application of Automata in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 20, ISSUE: 4, PAGES: 669-684
21533
TITLE: Antimirov and Mosses's Rewrite System Revisited Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2009, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 20, ISSUE: 4, PAGES: 669-684
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2009, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 20, ISSUE: 4, PAGES: 669-684
21534
TITLE: Antioxidant and Biological Properties of Bioactive Phenolic Compounds from Quercus suber L. Full Text
AUTHORS: Ana Fernandes ; Iva Fernandes ; Luis Cruz ; Nuno Mateus ; Miguel Cabral; Victor de Freitas ;
PUBLISHED: 2009, SOURCE: JOURNAL OF AGRICULTURAL AND FOOD CHEMISTRY, VOLUME: 57, ISSUE: 23, PAGES: 11154-11160
AUTHORS: Ana Fernandes ; Iva Fernandes ; Luis Cruz ; Nuno Mateus ; Miguel Cabral; Victor de Freitas ;
PUBLISHED: 2009, SOURCE: JOURNAL OF AGRICULTURAL AND FOOD CHEMISTRY, VOLUME: 57, ISSUE: 23, PAGES: 11154-11160
21535
TITLE: Antioxidant phenolic esters with potential anticancer activity: solution equilibria studied by Raman spectroscopy Full Text
AUTHORS: Machado, NFL ; Calheiros, R; Alexandra Gaspar ; Garrido, J ; Borges, F ; Marques, MPM ;
PUBLISHED: 2009, SOURCE: JOURNAL OF RAMAN SPECTROSCOPY, VOLUME: 40, ISSUE: 1, PAGES: 80-85
AUTHORS: Machado, NFL ; Calheiros, R; Alexandra Gaspar ; Garrido, J ; Borges, F ; Marques, MPM ;
PUBLISHED: 2009, SOURCE: JOURNAL OF RAMAN SPECTROSCOPY, VOLUME: 40, ISSUE: 1, PAGES: 80-85
21536
TITLE: Application of indicator kriging to the complementary use of bioindicators at three trophic levels Full Text
AUTHORS: Rui Figueira ; Paula C Tavares; Luis Palma ; Pedro Beja ; Cecilia Sergio ;
PUBLISHED: 2009, SOURCE: ENVIRONMENTAL POLLUTION, VOLUME: 157, ISSUE: 10, PAGES: 2689-2696
AUTHORS: Rui Figueira ; Paula C Tavares; Luis Palma ; Pedro Beja ; Cecilia Sergio ;
PUBLISHED: 2009, SOURCE: ENVIRONMENTAL POLLUTION, VOLUME: 157, ISSUE: 10, PAGES: 2689-2696
21537
TITLE: Applications of Bond-Based 3D-Chiral Quadratic Indices in QSAR Studies Related to Central Chirality Codification Full Text
AUTHORS: Juan A Castillo Garit; Yovani Marrero Ponce; Francisco Torrens; Ramon Garcia Domenech; Enrique E Rodriguez Borges ;
PUBLISHED: 2009, SOURCE: QSAR & COMBINATORIAL SCIENCE, VOLUME: 28, ISSUE: 11-12, PAGES: 1465-1477
AUTHORS: Juan A Castillo Garit; Yovani Marrero Ponce; Francisco Torrens; Ramon Garcia Domenech; Enrique E Rodriguez Borges ;
PUBLISHED: 2009, SOURCE: QSAR & COMBINATORIAL SCIENCE, VOLUME: 28, ISSUE: 11-12, PAGES: 1465-1477
21538
TITLE: Applying reinforcement learning to scheduling strategies in an actual grid environment
AUTHORS: Costa, BF; Mattoso, M; Dutra, I ;
PUBLISHED: 2009, SOURCE: International Journal of High Performance Systems Architecture, VOLUME: 2, ISSUE: 2, PAGES: 116-128
AUTHORS: Costa, BF; Mattoso, M; Dutra, I ;
PUBLISHED: 2009, SOURCE: International Journal of High Performance Systems Architecture, VOLUME: 2, ISSUE: 2, PAGES: 116-128
21539
TITLE: Are 2 Electrocardiographic Leads Enough for Multilead Wave Boundary Location and QT Measuring?
AUTHORS: Almeida, R ; Martinez, JP; Rocha, AP ; Laguna, P;
PUBLISHED: 2009, SOURCE: 36th Annual Computers in Cardiology Conference (CinC 2009) in CINC: 2009 36TH ANNUAL COMPUTERS IN CARDIOLOGY CONFERENCE, VOLUME: 36, PAGES: 593-596
AUTHORS: Almeida, R ; Martinez, JP; Rocha, AP ; Laguna, P;
PUBLISHED: 2009, SOURCE: 36th Annual Computers in Cardiology Conference (CinC 2009) in CINC: 2009 36TH ANNUAL COMPUTERS IN CARDIOLOGY CONFERENCE, VOLUME: 36, PAGES: 593-596
INDEXED IN: Scopus WOS
Scopus WOS21540
TITLE: Are bird species that vocalize at higher frequencies preadapted to inhabit noisy urban areas?
AUTHORS: Yang Hu; Goncalo C Cardoso ;
PUBLISHED: 2009, SOURCE: BEHAVIORAL ECOLOGY, VOLUME: 20, ISSUE: 6, PAGES: 1268-1273
AUTHORS: Yang Hu; Goncalo C Cardoso ;
PUBLISHED: 2009, SOURCE: BEHAVIORAL ECOLOGY, VOLUME: 20, ISSUE: 6, PAGES: 1268-1273
