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: 2728
43 Team MembersFilters -> Year: 2025
361
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
362
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: 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: 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: 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: 157-167
363
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, 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, VOLUME: 1675, PAGES: 115-126
364
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
365
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: 3rd International Computer Programming Education Conference, ICPEC 2022 in Third International Computer Programming Education Conference, ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal., VOLUME: 102, PAGES: 12:1-12:12
AUTHORS: José Paulo Leal ; Ricardo Queirós ; Pedro Ferreirinha; Jakub Swacha;
PUBLISHED: 2022, SOURCE: 3rd International Computer Programming Education Conference, ICPEC 2022 in Third International Computer Programming Education Conference, ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal., VOLUME: 102, PAGES: 12:1-12:12
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP366
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
DBLP367
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
368
TITLE: A Typed Lambda Calculus with Gradual Intersection Types
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 in PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022, PAGES: 9:1-9:13
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 24th International Symposium on Principles and Practice of Declarative Programming, PPDP 2022 in PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022, PAGES: 9:1-9:13
369
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
370
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
371
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
372
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: 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: 2177-2180
AUTHORS: Gabriel Lima; 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: 2177-2180
373
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: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222, PAGES: 27:1-27:28
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222, PAGES: 27:1-27:28
INDEXED IN: Scopus DBLP
Scopus DBLP374
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
DBLP375
TITLE: Approximate NFA Universality and Related Problems Motivated by Information Theory
AUTHORS: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.01594
AUTHORS: Stavros Konstantinidis; Mitja Mastnak; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.01594
INDEXED IN: DBLP
DBLP376
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
377
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
378
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
379
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
380
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
