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: 2850
46 Team MembersFilters -> Year: 2026
481
TITLE: A formal treatment of the role of verified compilers in secure computation
AUTHORS: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125, PAGES: 100736
AUTHORS: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125, PAGES: 100736
482
TITLE: A Generalization Study of Automatic Pericardial Segmentation in Computed Tomography Images
AUTHORS: Rubén Baeza; Carolina Santos; Fábio Nunes; Jennifer Mancio ; Ricardo Fontes Carvalho ; Miguel T Coimbra ; Francesco Renna ; João Pedrosa ;
PUBLISHED: 2022, SOURCE: MobiHealth, VOLUME: 484 LNICST, PAGES: 157-167
AUTHORS: Rubén Baeza; Carolina Santos; Fábio Nunes; Jennifer Mancio ; Ricardo Fontes Carvalho ; Miguel T Coimbra ; Francesco Renna ; João Pedrosa ;
PUBLISHED: 2022, SOURCE: MobiHealth, VOLUME: 484 LNICST, PAGES: 157-167
483
TITLE: A Matching Algorithm to Assess Web Interfaces
AUTHORS: Leal, Jose Paulo ; Primo, Marco ;
PUBLISHED: 2022, SOURCE: 2nd International Conference Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2022, PT I, VOL. 1675, VOLUME: 1675, PAGES: 115-126
AUTHORS: Leal, Jose Paulo ; Primo, Marco ;
PUBLISHED: 2022, SOURCE: 2nd International Conference Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2022, PT I, VOL. 1675, VOLUME: 1675, PAGES: 115-126
484
TITLE: A Random Forest-based Classifier for <i>MYCN</i> Status Prediction in Neuroblastoma using CT Images Full Text
AUTHORS: Pereira, T ; Silva, F ; Claro, P; Carvalho, DC; Dias, SC; Torrao, H; Oliveira, HP ;
PUBLISHED: 2022, SOURCE: 2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, VOLUME: 2022-July, PAGES: 3854-3857
AUTHORS: Pereira, T ; Silva, F ; Claro, P; Carvalho, DC; Dias, SC; Torrao, H; Oliveira, HP ;
PUBLISHED: 2022, SOURCE: 2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, VOLUME: 2022-July, PAGES: 3854-3857
485
TITLE: A Roadmap to Convert Educational Web Applications into LTI Tools
AUTHORS: José Paulo Leal ; Ricardo Queirós ; Pedro Ferreirinha; Jakub Swacha;
PUBLISHED: 2022, SOURCE: ICPEC, VOLUME: 102, PAGES: 12:1-12:12
AUTHORS: José Paulo Leal ; Ricardo Queirós ; Pedro Ferreirinha; Jakub Swacha;
PUBLISHED: 2022, SOURCE: ICPEC, VOLUME: 102, PAGES: 12:1-12:12
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP486
TITLE: A Survey on Spatio-temporal Data Analytics Systems
AUTHORS: Md. Mahbub Alam; Luís Torgo ; Albert Bifet;
PUBLISHED: 2022, SOURCE: ACM Comput. Surv., VOLUME: 54, ISSUE: 10s, PAGES: 219:1-219:38
AUTHORS: Md. Mahbub Alam; Luís Torgo ; Albert Bifet;
PUBLISHED: 2022, SOURCE: ACM Comput. Surv., VOLUME: 54, ISSUE: 10s, PAGES: 219:1-219:38
INDEXED IN: DBLP
DBLP487
TITLE: A systematic evaluation of deep learning methods for the prediction of drug synergy in cancer
AUTHORS: Delora Baptista; Pedro G Ferreira ; Miguel Rocha ;
PUBLISHED: 2022
AUTHORS: Delora Baptista; Pedro G Ferreira ; Miguel Rocha ;
PUBLISHED: 2022
488
TITLE: A Typed Lambda Calculus with Gradual Intersection Types Full Text
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2022, SOURCE: PPDP, PAGES: 9:1-9:13
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2022, SOURCE: PPDP, PAGES: 9:1-9:13
489
TITLE: A WebApp for Reliability Detection in Social Media
AUTHORS: Filipe David; Nuno Guimarães ; Álvaro Figueira ;
PUBLISHED: 2022, SOURCE: 2022 International Conference on ENTERprise Information Systems, CENTERIS 2022 - International Conference on Project MANagement, ProjMAN 2022 and International Conference on Health and Social Care Information Systems and Technologies, HCist 2022 in CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., VOLUME: 219, PAGES: 228-235
AUTHORS: Filipe David; Nuno Guimarães ; Álvaro Figueira ;
PUBLISHED: 2022, SOURCE: 2022 International Conference on ENTERprise Information Systems, CENTERIS 2022 - International Conference on Project MANagement, ProjMAN 2022 and International Conference on Health and Social Care Information Systems and Technologies, HCist 2022 in CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., VOLUME: 219, PAGES: 228-235
490
TITLE: An Edge-Based Computer Vision Approach for Determination of Sulfonamides in Water
AUTHORS: Rocha, Ines; Azevedo, Fabio; Carvalho, Pedro H.; Peixoto, Patricia S.; Segundo, Marcela A. ; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256, PAGES: 415-429
AUTHORS: Rocha, Ines; Azevedo, Fabio; Carvalho, Pedro H.; Peixoto, Patricia S.; Segundo, Marcela A. ; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256, PAGES: 415-429
491
TITLE: An NLP Approach to Understand the Top Ranked Higher Education Institutions' Social Media Communication Strategy
AUTHORS: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLISHED: 2022, SOURCE: 18th International Conference on Web Information Systems and Technologies, WEBIST 2022 in Web Information Systems and Technologies - 18th International Conference, WEBIST 2022, Valletta, Malta, October 25-27, 2022, Revised Selected Papers, VOLUME: 494, PAGES: 166-185
AUTHORS: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLISHED: 2022, SOURCE: 18th International Conference on Web Information Systems and Technologies, WEBIST 2022 in Web Information Systems and Technologies - 18th International Conference, WEBIST 2022, Valletta, Malta, October 25-27, 2022, Revised Selected Papers, VOLUME: 494, PAGES: 166-185
492
TITLE: Analysis of classification tradeoff in deep learning for gastric cancer detection
AUTHORS: Gabriel Lima; Miguel T Coimbra ; Mário Dinis Ribeiro; Diogo Libânio; Francesco Renna ;
PUBLISHED: 2022, SOURCE: EMBC, VOLUME: 2022-July, PAGES: 2177-2180
AUTHORS: Gabriel Lima; Miguel T Coimbra ; Mário Dinis Ribeiro; Diogo Libânio; Francesco Renna ;
PUBLISHED: 2022, SOURCE: EMBC, VOLUME: 2022-July, PAGES: 2177-2180
493
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: ECOOP, VOLUME: 222, PAGES: 27:1-27:28
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: ECOOP, VOLUME: 222, PAGES: 27:1-27:28
INDEXED IN: Scopus DBLP
Scopus DBLP494
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2, PAGES: 19:1-19:4
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2, PAGES: 19:1-19:4
INDEXED IN: DBLP
DBLP495
TITLE: Approximate NFA Universality Motivated by Information Theory
AUTHORS: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2022, SOURCE: 24th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, VOLUME: 13439, PAGES: 142-154
AUTHORS: Konstantinidis, Stavros; Mastnak, Mitja; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2022, SOURCE: 24th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, VOLUME: 13439, PAGES: 142-154
496
TITLE: Artificial Intelligence for Upper Gastrointestinal Endoscopy: A Roadmap from Technology Development to Clinical Practice Full Text
AUTHORS: Renna, Francesco ; Martins, Miguel ; Neto, Alexandre ; Cunha, Antonio ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ;
PUBLISHED: 2022, SOURCE: DIAGNOSTICS, VOLUME: 12, ISSUE: 5, PAGES: 1278
AUTHORS: Renna, Francesco ; Martins, Miguel ; Neto, Alexandre ; Cunha, Antonio ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ;
PUBLISHED: 2022, SOURCE: DIAGNOSTICS, VOLUME: 12, ISSUE: 5, PAGES: 1278
497
TITLE: Automated Assessment in Computer Science Education: A State-of-the-Art Review Full Text
AUTHORS: Paiva, Jose Carlos ; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON COMPUTING EDUCATION, VOLUME: 22, ISSUE: 3, PAGES: 34:1-34:40
AUTHORS: Paiva, Jose Carlos ; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON COMPUTING EDUCATION, VOLUME: 22, ISSUE: 3, PAGES: 34:1-34:40
498
TITLE: Automating microsatellite screening and primer design from multi-individual libraries using Micro-Primers Full Text
AUTHORS: Alves, F; Martins, FMS; Miguel Areias ; Antonio Muñoz Mérida ;
PUBLISHED: 2022, SOURCE: SCIENTIFIC REPORTS, VOLUME: 12, ISSUE: 1
AUTHORS: Alves, F; Martins, FMS; Miguel Areias ; Antonio Muñoz Mérida ;
PUBLISHED: 2022, SOURCE: SCIENTIFIC REPORTS, VOLUME: 12, ISSUE: 1
499
TITLE: AutoSW: A new automated sliding window-based change point detection method for sensor data
AUTHORS: Nejad, EB; 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: 235-241
AUTHORS: Nejad, EB; 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: 235-241
500
TITLE: Bank Statements to Network Features: Extracting Features Out of Time Series Using Visibility Graph
AUTHORS: Shaji, Nirbhaya; Gama, Joao ; Ribeiro, Rita P. ; Gomes, Pedro;
PUBLISHED: 2022, SOURCE: 20th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XX, IDA 2022, VOLUME: 13205, PAGES: 278-289
AUTHORS: Shaji, Nirbhaya; Gama, Joao ; Ribeiro, Rita P. ; Gomes, Pedro;
PUBLISHED: 2022, SOURCE: 20th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XX, IDA 2022, VOLUME: 13205, PAGES: 278-289
