Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2675
43 Team MembersFilters -> Year: 2025
401
TITLE: Preliminary Study of Deep Learning Algorithms for Metaplasia Detection in Upper Gastrointestinal Endoscopy
AUTHORS: Alexandre Neto ; Sofia Ferreira; Diogo Libânio ; Mário Dinis Ribeiro ; Miguel T Coimbra ; António Cunha ;
PUBLISHED: 2022, SOURCE: 11th EAI International Conference on Wireless Mobile Communication and Healthcare, MobiHealth 2022 in Wireless Mobile Communication and Healthcare - 11th EAI International Conference, MobiHealth 2022, Virtual Event, November 30 - December 2, 2022, Proceedings, VOLUME: 484, PAGES: 34-50
AUTHORS: Alexandre Neto ; Sofia Ferreira; Diogo Libânio ; Mário Dinis Ribeiro ; Miguel T Coimbra ; António Cunha ;
PUBLISHED: 2022, SOURCE: 11th EAI International Conference on Wireless Mobile Communication and Healthcare, MobiHealth 2022 in Wireless Mobile Communication and Healthcare - 11th EAI International Conference, MobiHealth 2022, Virtual Event, November 30 - December 2, 2022, Proceedings, VOLUME: 484, PAGES: 34-50
402
TITLE: Privacy-Preserving Data Synthetisation for Secure Information Sharing
AUTHORS: Tânia Carvalho ; Nuno Moniz ; Pedro Faria; Luís Antunes ; Nitesh V Chawla;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.00484
AUTHORS: Tânia Carvalho ; Nuno Moniz ; Pedro Faria; Luís Antunes ; Nitesh V Chawla;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.00484
INDEXED IN:
DBLP

403
TITLE: Probing Commonsense Knowledge in Pre-trained Language Models with Sense-level Precision and Expanded Vocabulary
AUTHORS: Daniel Loureiro; Alípio Mário Jorge ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2210.06376
AUTHORS: Daniel Loureiro; Alípio Mário Jorge ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2210.06376
INDEXED IN:
DBLP

404
TITLE: Proceedings of Text2Story - Fifth Workshop on Narrative Extraction From Texts held in conjunction with the 44th European Conference on Information Retrieval (ECIR 2022), Stavanger, Norway, April 10, 2022
AUTHORS: Ricardo Campos ; Alípio Mário Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak;
PUBLISHED: 2022, SOURCE: Text2Story@ECIR, VOLUME: 3117
AUTHORS: Ricardo Campos ; Alípio Mário Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak;
PUBLISHED: 2022, SOURCE: Text2Story@ECIR, VOLUME: 3117
INDEXED IN:
DBLP

405
TITLE: Proceedings of the 1st Workshop on Middleware for the Edge, MIDDLEWEDGE 2022, Quebec City, Quebec, Canada, 7 November 2022
AUTHORS: Rolando Martins ; Luís Veiga; Adrien Lebre;
PUBLISHED: 2022, SOURCE: MIDDLEWEDGE@Middleware
AUTHORS: Rolando Martins ; Luís Veiga; Adrien Lebre;
PUBLISHED: 2022, SOURCE: MIDDLEWEDGE@Middleware
INDEXED IN:
DBLP

406
TITLE: Proceedings of the 5th Workshop on Online Recommender Systems and User Modeling co-located with the 16th ACM Conference on Recommender Systems, ORSUM@RecSys 2022, Seattle, WA, USA, September 23rd, 2022
AUTHORS: João Vinagre ; Marie Al Ghossein; Alípio Mário Jorge ; Albert Bifet; Ladislav Peska;
PUBLISHED: 2022, SOURCE: ORSUM@RecSys, VOLUME: 3303
AUTHORS: João Vinagre ; Marie Al Ghossein; Alípio Mário Jorge ; Albert Bifet; Ladislav Peska;
PUBLISHED: 2022, SOURCE: ORSUM@RecSys, VOLUME: 3303
INDEXED IN:
DBLP

407
TITLE: Quantitative Weak Linearisation
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 78-95
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 78-95
408
TITLE: Quantum transfer learning for breast cancer detection
AUTHORS: Azevedo, V; Silva, C ; Dutra, I ;
PUBLISHED: 2022, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 4, ISSUE: 1
AUTHORS: Azevedo, V; Silva, C ; Dutra, I ;
PUBLISHED: 2022, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 4, ISSUE: 1
409
TITLE: Report on the 5th International Workshop on Narrative Extraction from Texts (Text2Story 2022) at ECIR 2022
AUTHORS: Ricardo Campos ; Alípio M Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak; João Paulo Cordeiro; Conceição Rocha ; Hugo Sousa; Behrooz Mansouri;
PUBLISHED: 2022, SOURCE: SIGIR Forum, VOLUME: 56, ISSUE: 1, PAGES: 10:1-10:10
AUTHORS: Ricardo Campos ; Alípio M Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak; João Paulo Cordeiro; Conceição Rocha ; Hugo Sousa; Behrooz Mansouri;
PUBLISHED: 2022, SOURCE: SIGIR Forum, VOLUME: 56, ISSUE: 1, PAGES: 10:1-10:10
INDEXED IN:
DBLP

410
TITLE: Report on women in logic 2020 & 2021
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
INDEXED IN:
DBLP

411
TITLE: Robustness Analysis of Deep Learning-Based Lung Cancer Classification Using Explainable Methods
AUTHORS: Malafaia, Mafalda; Silva, Francisco ; Neves, Ines; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 112731-112741
AUTHORS: Malafaia, Mafalda; Silva, Francisco ; Neves, Ines; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 112731-112741
412
TITLE: Scalable transcriptomics analysis with Dask: applications in data science and machine learning Full Text
AUTHORS: Moreno, Marta; Vilaca, Ricardo ; Ferreira, Pedro G. ;
PUBLISHED: 2022, SOURCE: BMC BIOINFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 514
AUTHORS: Moreno, Marta; Vilaca, Ricardo ; Ferreira, Pedro G. ;
PUBLISHED: 2022, SOURCE: BMC BIOINFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 514
413
TITLE: Semi-Supervised Approach for EGFR Mutation Prediction on CT Images Full Text
AUTHORS: Pinheiro, Claudia; Silva, Francisco ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 22, PAGES: 4225
AUTHORS: Pinheiro, Claudia; Silva, Francisco ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 22, PAGES: 4225
414
TITLE: Sensor data modeling with Bayesian networks
AUTHORS: Silva, C ; Rodrigues, A; Jorge, A; Dutra, I ;
PUBLISHED: 2022, SOURCE: 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022 in Proceedings of the 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022, PAGES: 261-267
AUTHORS: Silva, C ; Rodrigues, A; Jorge, A; Dutra, I ;
PUBLISHED: 2022, SOURCE: 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022 in Proceedings of the 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022, PAGES: 261-267
415
TITLE: Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2022, SOURCE: Sci. Comput. Program., VOLUME: 218, PAGES: 102803
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2022, SOURCE: Sci. Comput. Program., VOLUME: 218, PAGES: 102803
INDEXED IN:
DBLP

416
TITLE: ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
AUTHORS: Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, VOLUME: 13701, PAGES: 460-478
AUTHORS: Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, VOLUME: 13701, PAGES: 460-478
INDEXED IN:
Scopus
DBLP


417
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
418
TITLE: Supervised and semi-supervised training of deep convolutional neural networks for gastric landmark detection
AUTHORS: Inês Lopes; Augusto Silva; Miguel T Coimbra ; Mário Dinis Ribeiro; Diogo Libânio; Francesco Renna ;
PUBLISHED: 2022, SOURCE: 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2022, Glasgow, Scotland, United Kingdom, July 11-15, 2022, VOLUME: 2022-July, PAGES: 2025-2028
AUTHORS: Inês Lopes; Augusto Silva; Miguel T Coimbra ; Mário Dinis Ribeiro; Diogo Libânio; Francesco Renna ;
PUBLISHED: 2022, SOURCE: 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2022, Glasgow, Scotland, United Kingdom, July 11-15, 2022, VOLUME: 2022-July, PAGES: 2025-2028
419
TITLE: Survey on Synthetic Data Generation, Evaluation Methods and GANs Full Text
AUTHORS: Figueira, Alvaro ; Vaz, Bruno;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 15, PAGES: 2733
AUTHORS: Figueira, Alvaro ; Vaz, Bruno;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 15, PAGES: 2733
420
TITLE: Synthesizing 3D Lung CT scans with Generative Adversarial Networks Full Text
AUTHORS: Ferreira, A; Pereira, T ; Silva, F ; Vilares, AT; Silva, MC; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2022, SOURCE: 2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, VOLUME: 2022-July, PAGES: 2033-2036
AUTHORS: Ferreira, A; Pereira, T ; Silva, F ; Vilares, AT; Silva, MC; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2022, SOURCE: 2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, VOLUME: 2022-July, PAGES: 2033-2036