Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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: 2637

43 Team Members
Filters -> Year: 2024
601
TITLE: Evaluation of Machine Learning Algorithms for Automated Management of Wireless Links
AUTHORS: Frias, F; Marcal, ARS ; Prior, R ; Moreira, W; Oliveira Jr, Antonio; ;
PUBLISHED: 2020, SOURCE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12489 LNCS, PAGES: 9-16
INDEXED IN: Scopus CrossRef
602
TITLE: Evaluation of Machine Learning Algorithms for Automated Management of Wireless Links
AUTHORS: Francisca Frias; André R S Marçal; Rui Prior ; Waldir Moreira; Antonio Oliveira Jr.;
PUBLISHED: 2020, SOURCE: Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part I, VOLUME: 12489, PAGES: 9-16
INDEXED IN: DBLP
603
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PAGES: 3-23
INDEXED IN: Scopus WOS DBLP CrossRef: 1
604
TITLE: Failure Detection of an Air Production Unit in Operational Context
AUTHORS: Mariana Barros; Bruno Veloso ; Pedro Mota Pereira; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2020, SOURCE: 2nd International Workshop on IoT Streams for Data-Driven Predictive Maintenance, IoT Streams 2020, and 1st International Workshop on IoT, Edge, and Mobile for Embedded Machine Learning, ITEM 2020, co-located with ECML/PKDD 2020 in IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning - Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Revised Selected Papers, VOLUME: 1325, PAGES: 61-74
INDEXED IN: Scopus DBLP CrossRef: 3
605
TITLE: FGPE AuthorKit - A Tool for Authoring Gamified Programming Educational Content
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: 25th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020 in Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020., PAGES: 564
INDEXED IN: Scopus DBLP CrossRef: 2
606
TITLE: FOCAS: Penalising friendly citations to improve author ranking. penalising friendly citations to improve author ranking
AUTHORS: Jorge Silva ; David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1852-1860
INDEXED IN: Scopus WOS DBLP CrossRef: 1
607
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
608
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
609
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
610
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
611
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
612
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
613
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
614
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
615
TITLE: Gender Differential Transcriptome in Gastric and Thyroid Cancers  Full Text
AUTHORS: Abel Sousa; Marta Ferreira; Carla Oliveira; Pedro G Ferreira ;
PUBLISHED: 2020, SOURCE: FRONTIERS IN GENETICS, VOLUME: 11
INDEXED IN: Scopus WOS CrossRef: 8
617
TITLE: Heuristics for packing semifluids  Full Text
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2020, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 282, ISSUE: 3, PAGES: 823-834
INDEXED IN: Scopus WOS DBLP CrossRef: 1
618
TITLE: High-Density Parking for Automated Vehicles: A Complete Evaluation of Coordination Mechanisms
AUTHORS: Azevedo, J; D'orey, PM ; Ferreira, M ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 43944-43955
INDEXED IN: Scopus WOS DBLP CrossRef: 8
619
TITLE: Identifying journalistically relevant social media texts using human and automatic methodologies
AUTHORS: Guimaraes, N ; Miranda, F; Figueira, A ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING, VOLUME: 11, ISSUE: 1, PAGES: 72-83
INDEXED IN: Scopus WOS DBLP CrossRef: 4
620
TITLE: Identifying relationships between imaging phenotypes and lung cancer-related mutation status: EGFR and KRAS  Full Text
AUTHORS: Gil Pinheiro ; Tania Pereira ; Catarina Dias; Claudia Freitas; Venceslau Hespanhol ; Jose Luis Costa; Antonio Cunha ; Helder P Oliveira ;
PUBLISHED: 2020, SOURCE: SCIENTIFIC REPORTS, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 41

Results per Page: 20.
Page 31 of 132. Total results: 2637.