Faculty of Sciences (FCUP)
Faculdade de Ciências

University of Porto (UP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 27996

554 Team Members
Filters -> Year: 2025
6182
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
INDEXED IN: DBLP CrossRef: 1
6183
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
INDEXED IN: DBLP CrossRef: 2
6185
TITLE: Fostering Programming Practice through Games  Full Text
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 11, PAGES: 498
INDEXED IN: Scopus WOS DBLP CrossRef: 10
6186
TITLE: Four direct measurements of the fine-structure constant 13 billion years ago
AUTHORS: Wilczynska, MR; Webb, JK; Bainbridge, M; Barrow, JD; Bosman, SEI; Carswell, RF; Dabrowski, MP; Dumont, V; Lee, CC; Leite, AC; Leszczynska, K; Liske, J; Marosek, K; Martins, CJAP ; Milakovic, D; Molaro, P; Pasquini, L;
PUBLISHED: 2020, SOURCE: SCIENCE ADVANCES, VOLUME: 6, ISSUE: 17
INDEXED IN: Scopus WOS CrossRef: 43
6187
TITLE: Fractional variational principle of Herglotz for a new class of problems with dependence on the boundaries and a real parameter
AUTHORS: Almeida, R ; Martins, N;
PUBLISHED: 2020, SOURCE: Journal of Mathematical Physics, VOLUME: 61, ISSUE: 10
INDEXED IN: Scopus CrossRef: 4
6189
TITLE: From Discrete Complexes to Metal-Organic Layered Materials: Remarkable Hydrogen Bonding Frameworks  Full Text
AUTHORS: Queiros, C ; Silva, AMG ; de Castro, B ; Cunha Silva, L ;
PUBLISHED: 2020, SOURCE: MOLECULES, VOLUME: 25, ISSUE: 6, PAGES: 1353
INDEXED IN: Scopus WOS CrossRef: 2
6190
TITLE: From Ocean to Medicine: Pharmaceutical Applications of Metabolites from Marine Bacteria
AUTHORS: Santos, JD; Vitorino, I; Reyes, F; Vicente, F; Lage, OM ;
PUBLISHED: 2020, SOURCE: ANTIBIOTICS-BASEL, VOLUME: 9, ISSUE: 8, PAGES: 1-30
INDEXED IN: Scopus WOS CrossRef: 32
6191
TITLE: From Reinforcement Learning Towards Artificial General Intelligence
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 401-413
INDEXED IN: Scopus DBLP CrossRef: 1
6192
TITLE: From solar-like to mira stars: a unifying description of stellar pulsators in the presence of stochastic noise  Full Text
AUTHORS: Cunha, MS ; Avelino, PP ; Chaplin, WJ;
PUBLISHED: 2020, SOURCE: MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, VOLUME: 499, ISSUE: 4, PAGES: 4687-4697
INDEXED IN: Scopus WOS CrossRef: 5
6193
TITLE: From the bulge to the outer disc: monospace StarHorse monospace stellar parameters, distances, and extinctions for stars in APOGEE DR16 and other spectroscopic surveys
AUTHORS: Queiroz, ABA; Anders, F; Chiappini, C; Khalatyan, A; Santiago, BX; Steinmetz, M; Valentini, M; Miglio, A; Bossini, D ; Barbuy, B; Minchev, I; Minniti, D; Hernandez, DAG; Schultheis, M; Beaton, RL; Beers, TC; Bizyaev, D; Brownstein, JR; Cunha, K; Fernandez Trincado, JG; Frinchaboy, PM; Lane, RR; Majewski, SR; Nataf, D; Nitschelm, C; Pan, K; Roman Lopes, A; Sobeck, JS; Stringfellow, G; Zamora, O; ...More
PUBLISHED: 2020, SOURCE: ASTRONOMY & ASTROPHYSICS, VOLUME: 638
INDEXED IN: WOS CrossRef: 125
6194
TITLE: Full analytical approximation to the stochastic gravitational wave background generated by cosmic string networks
AUTHORS: Sousa, L ; Avelino, PP ; Guedes, GSF;
PUBLISHED: 2020, SOURCE: PHYSICAL REVIEW D, VOLUME: 101, ISSUE: 10
INDEXED IN: Scopus WOS CrossRef: 25
6196
TITLE: Game-Based Coding Challenges to Foster Programming Practice
AUTHORS: José Carlos Paiva ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PAGES: 18:1-18:11
INDEXED IN: Scopus DBLP
6197
TITLE: Gamification, mHealth and user adherence
AUTHORS: Carvalho, R; Machado, D; Brandao, P ;
PUBLISHED: 2020, SOURCE: 25th IEEE Symposium on Computers and Communications (ISCC) in 2020 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), VOLUME: 2020-July, PAGES: 817-822
INDEXED IN: Scopus WOS DBLP CrossRef: 4
6198
TITLE: Gaussian Mixture Model Based Probabilistic Modeling of Images for Medical Image Segmentation
AUTHORS: Farhan Riaz; Saad Rehman; Muhammad Ajmal; Rehan Hafiz; Ali Hassan; Naif Radi Aljohani; Raheel Nawaz; Rupert Young; Miguel Coimbra ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 16846-16856
INDEXED IN: Scopus WOS DBLP CrossRef: 18
6200
TITLE: GEdIL-Gamified Education Interoperability Language  Full Text
AUTHORS: Swacha, J; Paiva, JC ; Leal, JP ; Queiros, R ; Montella, R; Kosta, S;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 6, PAGES: 287
INDEXED IN: Scopus WOS DBLP CrossRef: 8

Results per Page: 20.
Page 310 of 1400. Total results: 27996.