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
181
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
INDEXED IN: WOS DBLP CrossRef: 1
182
TITLE: Medical Challenges of a Common Variable Immunodeficiency With a TNFRSF13B Gene Mutation in a Simultaneous Kidney and Pancreas Transplant Recipient
AUTHORS: Coimbra, Miguel T. ; Silvano, Jose; Martins, La Salete;
PUBLISHED: 2023, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, ISSUE: 8
INDEXED IN: WOS
183
TITLE: MetroPT-3 Dataset
AUTHORS: Narjes Davari; Bruno Veloso ; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2023
INDEXED IN: DBLP
185
TITLE: Model Selection for Time Series Forecasting An Empirical Analysis of Multiple Estimators  Full Text
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2023, SOURCE: NEURAL PROCESSING LETTERS, VOLUME: 55, ISSUE: 7, PAGES: 10073-10091
INDEXED IN: Scopus WOS DBLP CrossRef: 2
186
TITLE: Mortality prediction using medical time series on TBI patients  Full Text
AUTHORS: Fonseca, Joao; Liu, Xiuyun; Oliveira, Helder P. ; Pereira, Tania ;
PUBLISHED: 2023, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 242, PAGES: 107806
INDEXED IN: Scopus WOS DBLP CrossRef
187
TITLE: Multi-output Ensembles for Multi-step Forecasting
AUTHORS: Vítor Cerqueira; Luís Torgo ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.14563
INDEXED IN: DBLP
188
TITLE: Multimodal Classification of Anxiety Based on Physiological Signals
AUTHORS: Vaz, Mariana; Summavielle, Teresa; Sebastiao, Raquel; Ribeiro, Rita P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 11, PAGES: 6368
INDEXED IN: Scopus WOS CrossRef: 3
189
TITLE: Multitask learning approach for lung nodule segmentation and classification in CT images
AUTHORS: Luís Fernandes; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: 2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023 in IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023, Istanbul, Turkiye, December 5-8, 2023, PAGES: 3874-3880
INDEXED IN: Scopus DBLP CrossRef: 1 Unpaywall
190
TITLE: Narrative Extraction from Semantic Graphs (Short Paper)
AUTHORS: Daniil Lystopadskyi; André Santos; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113, PAGES: 9:1-9:8
INDEXED IN: Scopus DBLP
191
TITLE: New Insights in Machine Learning and Deep Neural Networks
AUTHORS: Álvaro Figueira ; Francesco Renna;
PUBLISHED: 2023
INDEXED IN: CrossRef: 1
192
TITLE: Novel integer programming models for the stable kidney exchange problem PDF  Full Text
AUTHORS: Klimentova, Xenia ; Biro, Peter; Viana, Ana ; Costa, Virginia; Pedroso, Joao Pedro ;
PUBLISHED: 2023, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 307, ISSUE: 3, PAGES: 1391-1407
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 5 Unpaywall
193
TITLE: Of Heat, Holes, and Hollow Places: The Semantics and Phonetic Value of T650  Full Text
AUTHORS: Lopes, Luis ; Macleod, Barbara; Shesena, Alejandro;
PUBLISHED: 2023, SOURCE: ESTUDIOS DE CULTURA MAYA, VOLUME: 62, PAGES: 75-114
INDEXED IN: Scopus WOS CrossRef
194
TITLE: On the average complexity of partial derivative transducers *,**,***  Full Text
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 956, PAGES: 113830
INDEXED IN: Scopus WOS DBLP CrossRef
195
TITLE: On the Impact of Synchronous Electrocardiogram Signals for Heart Sounds Segmentation  Full Text
AUTHORS: Silva, Anibal; Teixeira, Rafael; Fontes Carvalho, Ricardo; Coimbra, Miguel ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: 45th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2023 45TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, PAGES: 1-5
INDEXED IN: Scopus WOS DBLP Unpaywall
196
TITLE: On the Quality of Synthetic Generated Tabular Data  Full Text
AUTHORS: Espinosa, Erica; Figueira, Alvaro ;
PUBLISHED: 2023, SOURCE: MATHEMATICS, VOLUME: 11, ISSUE: 15, PAGES: 3278
INDEXED IN: Scopus WOS CrossRef: 4 Unpaywall
197
TITLE: Online Anomaly Explanation: A Case Study on Predictive Maintenance
AUTHORS: Ribeiro, Rita P. ; Mastelini, Saulo Martiello; Davari, Narjes; Aminian, Ehsan; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT II, VOLUME: 1753, PAGES: 383-399
INDEXED IN: Scopus WOS DBLP CrossRef: 2
198
TITLE: Online Influence Forest for Streaming Anomaly Detection
AUTHORS: Martins, Ines ; Resende, Joao S. ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: 21st International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XXI, IDA 2023, VOLUME: 13876, PAGES: 274-286
INDEXED IN: Scopus WOS DBLP CrossRef
199
TITLE: ORSUM 2023 - 6th Workshop on Online Recommender Systems and User Modeling
AUTHORS: João Vinagre ; Marie Al Ghossein; Ladislav Peska; Alípio Mário Jorge ; Albert Bifet;
PUBLISHED: 2023, SOURCE: 17th ACM Conference on Recommender Systems, RecSys 2023 in Proceedings of the 17th ACM Conference on Recommender Systems, RecSys 2023, Singapore, Singapore, September 18-22, 2023, PAGES: 1272-1273
INDEXED IN: Scopus DBLP CrossRef
200
TITLE: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTHORS: José Proença ;
PUBLISHED: 2023, SOURCE: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, VOLUME: 14485, PAGES: 194-205
INDEXED IN: DBLP

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